Opposite Corners Bisectors Theory in Fundamental Science on General Problem Bisectors

by

© Ph. D. & Dr. Sc. Lev Gelimson

Academic Institute for Creating Fundamental Sciences (Munich, Germany)

Mathematical Journal

of the "Collegium" All World Academy of Sciences

Munich (Germany)

11 (2011), 47

The least square method (LSM) [1] by Legendre and Gauss only usually applies to contradictory (e.g. overdetermined) problems. Overmathematics [2-4] and fundamental science of solving general problems [5] have discovered many principal shortcomings [2-6] of this method, by methods of finite elements, points, etc. Additionally consider its simplest approach which is typical. Minimizing the sum of the squared differences of the alone preselected coordinates (e.g., ordinates in a two-dimensional problem) of the graph of the desired approximation function and of everyone among the given functions depends on this preselection, ignores the remaining coordinates, and provides no coordinate system rotation invariance and hence no objective sense of the result.

In fundamental science on general problem bisectors [5], opposite corners bisectors theory (OCBT) is valid by coordinate system rotation invariance. Show the essence of this theory in the simplest but most typical case providing linear solving with giving the unique best quasisolution [2-5] to a finite overdetermined quantiset [2-5] of n (n > 2; n ∈ N⁺ = {1, 2, ...}) linear equations

_q(j)(a_jx + b_jy = c_j) (j = 1, 2, ... , n) (E_j)

with their own quantities q(j) and 2 unknown variables x and y in a plane with the same coordinates x , y by any given real numbers q(j) > 0, a_j , b_j , and c_j . Suppose that these n straight lines build a polygon P₁P₂...P_n with n corners (vertices) P₁ , P₂ , ... , P_n (and, naturally, n sides, or edges) either in the clockwise order or in the anticlockwise order which can be provided via preliminarily renumbering (reindexing) the equations. If necessary and possible, find and use such renumbering (reindexing) of these n corners that polygon P₁P₂...P_n is convex. If it is impossible, then provide the minimum number of nonconvex corners (vertices) (i.e., with convexity violation) and hence the maximum number of convex corners (vertices) (i.e., without convexity violation). Let P_i be the intersection of straight lines E_i and E_i+1 with their own quantities q(i) and q(i+1) which has its own quantity

p(i) = q(i)q(i+1).

Because of the clear possible periodicity of the indices i = 1, 2, ... , n with period n , consider

P_j+kn = P_j ,

q(i+kn) = q(i) ,

p(i+kn) = p(i)

for any integer k . Then the quantiset [2-5] of n polygon corners (vertices) is

_p(1)P₁ , _p(2)P₂ , ... , _p(n)P_n .

The quantiset [2-5] of n polygon corners bisectors is

_p(1)B₁ , _p(2)B₂ , ... , _p(n)B_n .

Nota bene: A bisector of an angle (and of the corresponding angle sides) divides it into two equal parts and is the set of all the points equidistant from the both angle sides [1]. For two intersecting straight lines, there are two mutually perpendicular bisector straight lines. If for a polygon, there is an inscribed circumference, then the desired unique best quasisolution is simply the inscribed circumference center which is the intersection of the bisectors of all the internal corners of this polygon which in this case is always convex. This all holds for any triangle whose case is, therefore, trivial.

Hence further consider case n > 3 only when for a polygon, there is no inscribed circumference.

The main idea, essence, and algorithm of opposite corners bisectors theory (OCBT) are as follows:

1) if number n is even, i.e. there is such a positive integer m > 1 that n = 2m , then for any j = 1, 2, ... , m , consider each disordered pair P_j and P_j+m of corners (vertices) of this polygon as its opposite corners (vertices). There are m disordered pairs

(P₁ , P_m+1) , (P₂ , P_m+2) , ... , (P_m , P_2m)

of the opposite corners (vertices) of polygon P₁P₂...P_2m . Follow substeps 1.1, 1.2, 1.3, and 1.4:

1.1) for each disordered pair P_j and P_j+m of the opposite corners of this polygon, determine the set of all the polygon area (including its interior and boundary) points equidistant from the two internal (intersecting the polygon area) bisectors of these opposite corners. If these bisectors are parallel, then their equidistant line is the unique straight line which is parallel to those both bisectors of the opposite corners of this polygon and divides the distance between those both bisectors into two equal parts. If those bisectors are intersecting, then there are two mutually perpendicular bisector straight lines so that each of their points is equidistant from the those two bisectors of these opposite corners. Now determine the intersection of the equidistant line(s) with the polygon area. We also obtain the quantiset [2-5] of all the m bisectors of the opposite corners of this polygon

_q(1)q(m+1)B₁ , _q(2)q(m+2)B₂ , ... , _q(m)q(2m)B_m .

If polygon P₁P₂...P_2m is convex, then all the polygon area points equidistant from those two bisectors of these opposite corners build a segment whose ends belong to some sides of polygon P₁P₂...P_2m ;

1.2) for each two disordered pairs

(P_j , P_j+m) , (P_k , P_k+m)

(where any k = 1, 2, ... , m does not coincide with j)

of the polygon opposite corners, determine the intersection of the both sets of all the polygon area points equidistant from the both pairs of those two bisectors of opposite corners of polygon P₁P₂...P_2m , respectively (see substep 1.1). If polygon P₁P₂...P_2m is convex, then this intersection typically consists of the unique point which is the intersection of the both corresponding equidistant segments whose ends belong to some sides of polygon P₁P₂...P_2m ;

1.3) build the quantiset which is the quantiunion [2-4] of the intersections (corresponding to all the different disordered pairs of disordered pairs of the polygon opposite corners, see substep 1.2) the both sets of all the polygon area points equidistant from the both pairs of those two bisectors of opposite corners of polygon P₁P₂...P_2m , respectively. The own quantity of each of these intersections is the product of the own quantities of the both bisectors (of the opposite corners of this polygon) building this intersection. Using namely a quantiset and a quantiunion with a quantity of each element is also necessary (because those different intersections can contain coinciding elements) to precisely consider the quantity (multiplicity in the simplest case) of such an element. Namely, by each coincidence, simply add the own quantities of the coinciding intersections;

1.4) pointwise consider the above quantiset (see substep 1.3). If it contains at all s (s ∈ N⁺ = {1, 2, ...}) intersections R_i which are points with their own quantities r(i) and coordinates

_r(1)R₁(x₁ , y₁), _r(2)R₂(x₂ , y₂), ... , _r(s)R_s(x_s , y_s),

then determine their center (of gravity, mass, etc)

x = Σ_i=1^s r(i)x_i / Σ_i=1^s r(i) ,

y = Σ_i=1^s r(i)y_i / Σ_i=1^s r(i)

and consider this point (x , y) to be the unique best quasisolution [2-5] to a finite overdetermined set of n linear equations (E_i).

Nota bene: If all the intersections of the bisectors of the opposite corners of the polygon with n = 2m corners (vertices) (and n = 2m sides) are different, then there are precisely m pairs of the opposite corners (and their bisectors) and hence

s = m(m-1)/2

such intersections. Otherwise, we have

s < m(m-1)/2

and by each coincidence, simply add the own quantities of the coinciding intersections.

2) if number n is odd, i.e. there is such a positive integer m > 1 that n = 2m + 1, then for any i = 1, 2, ... , 2m + 1 , consider both each disordered pair (with adding m to the index in the expression for the 2nd element of such a pair)

(P_i , P_i+m)

and each disordered pair (with adding m + 1 to the index in the expression for the 2nd element of such a pair)

(P_i , P_i+m+1)

of corners (vertices) of this polygon as its quasiopposite corners (vertices). There are 2m + 1 disordered pairs

(P₁ , P_m+1) , (P₂ , P_m+2) , ... , (P_2m+1 , P_m)

of the opposite corners (vertices) of polygon P₁P₂...P_2m+1 .

Nota bene: We obtained the above 2m + 1 disordered pairs via using pair type (P_i , P_i+m) (with adding m to the in the expression for the 2nd element of such a pair) only for every i = 1, 2, ... , 2m + 1 . Pair type (P_i , P_i+m+1) (with adding m + 1 to the index in the expression for the 2nd element of such a pair) brings nothing new because for any i = 1, 2, ... , 2m + 1 , such a disordered pair can be represented due to the index periodicity as follows:

(P_i , P_i+m+1) = (P_i+m+1 , P_i) = (P_i+m+1 , P_i+2m+1)

(with adding m to the index in the expression for the 2nd element of such a pair) naturally already given by the previous pair type (P_i , P_i+m+1) with i + m + 1 instead of i .

Now follow substeps 2.1, 2.2, 2.3, and 2.4 which are similar to substeps 1.1, 1.2, 1.3, and 1.4.

Nota bene: If all the intersections of the bisectors of the quasiopposite corners of the polygon with n = 2m + 1 corners (vertices) (and n = 2m + 1 sides) are different, then there are precisely n = 2m + 1 pairs of the quasiopposite corners (and their bisectors) and hence

s = n(n-1)/2 = m(2m + 1)

such intersections. Otherwise, we have

s < n(n-1)/2 = m(2m + 1)

and by each coincidence, simply add the own quantities of the coinciding intersections.

It is useful to develop an explicit formula to obtain the equation of the bisector whose initial point P_j is the jth corner (vertex) of the polygon and has coordinates

(x_j , y_j)

whereas an intermediate point P'_j of the bisector has coordinates

(x'_j , y'_j).

The equation of straight line P_jP'_j is

(x - x_j)/(x'_j - x_j) = (y - y_j)/(y'_j - y_j),

(y'_j - y_j)x + (x_j - x'_j)y = x_j(y'_j - y_j) + y_j(x_j - x'_j).

Nota bene: To obtain the eqiations of the both mutually perpendicular bisector straight lines for any pair of intersecting straight lines

Fx + Gy + H = 0

and

Px + Qy + R = 0

in a plane with coordinates x , y , there are simple well-known formulae [1]

(Fx + Gy + H)/(F² + G²)^1/2 = ±(Px + Qy + R)/(P² + Q²)^1/2 .

Compare applying opposite corners bisectors theory (OCBT) in fundamental science of solving general problems [5] vs. opposite sides bisectors theory (OSBT), adjacent corners bisectors theory (ACBT), adjacent sides bisectors theory (ASBT) with one step only, distance quadrat theory (DQT), the least square method (LSM), least normed square method (LNSM), unierror equalizing method (EEM), and direct solution method (DSM) [2-4] to test equation set

29x + 21y = 50,

50x - 17y = 33,

x + 2y = 7,

2x - 3y = 0,

with the unit own quantities of the equations, see Figures 1, 2:

Figure 1

Figure 2

The LSM gives x ≈ 1.0023, y ≈ 1.0075 practically ignoring the last two equations with smaller factors (unlike DQT, the EEM, DSM, and even LNSM).

Opposite corners bisectors theory (OCBT) providing simple explicit quasisolutions to even contradictory problems is very efficient by solving many urgent problems.

Acknowledgements to Anatolij Gelimson for our constructive discussions on coordinate system transformation invariances and his very useful remarks.

References

[1] Encyclopaedia of Mathematics. Ed. M. Hazewinkel. Volumes 1 to 10. Kluwer Academic Publ., Dordrecht, 1988-1994

[2] Lev Gelimson. Elastic Mathematics. General Strength Theory. The ”Collegium” International Academy of Sciences Publishers, Munich, 2004

[3] Lev Gelimson. Providing Helicopter Fatigue Strength: Flight Conditions. In: Structural Integrity of Advanced Aircraft and Life Extension for Current Fleets – Lessons Learned in 50 Years After the Comet Accidents, Proceedings of the 23rd ICAF Symposium, Dalle Donne, C. (Ed.), 2005, Hamburg, Vol. II, 405-416

[4] Lev Gelimson. Overmathematics: Fundamental Principles, Theories, Methods, and Laws of Science. The ”Collegium” All World Academy of Sciences Publishers, Munich, 2010

[5] Lev Gelimson. General Problem Fundamental Sciences System. The ”Collegium” All World Academy of Sciences Publishers, Munich, 2011

[6] Lev Gelimson. Corrections and Generalizations of the Least Square Method. In: Review of Aeronautical Fatigue Investigations in Germany during the Period May 2007 to April 2009, Ed. Dr. Claudio Dalle Donne, Pascal Vermeer, CTO/IW/MS-2009-076 Technical Report, International Committee on Aeronautical Fatigue, ICAF 2009, EADS Innovation Works Germany, 2009, 59-60