Unveil the mystery of <<Trisecting Angle>> problem

 

 Wang Changyuan

 

Summary : As it is known to all, the <<Trisecting Angle>> problem has long been a mystery. Yet, for any given angle E(360 ° E>0 °), the trisection angle of angle E is already decided. This thesis introduces a <<Three free points natural convergence method>> 1, which is a method to trisect any angle E using <<Ruler and Compasses Construction>> according to the <<Construction Public Law>>.

 

Key Words:  trisect angle; three free points natural convergence method; ruler and compasses construction.

 

This thesis consists of two parts: 1, Graphic Construction; 2, Calculation and Demonstration

 

 

                                   1. Graphic Construction

 

   Give a random angle E. Specify Angle E' s position in the plane rectangular coordination system.  

a . Suppose: Angle E' s vertex angle is Point O. The vertex of one side is Point X and the vertex of another side is Point y'. Namely: XOy'= E. (According to chart 1) .

 

                

b. Prolong Side XO with a ruler; take Point O as the midpoint; the prolonged side is in the opposite direction to Point X.  Suppose: the direction of Point O to Point X is the positive direction and the prolonged side is along the negative direction.  Take Side OX as the axis X of the plane rectangular coordination system. Take Point O as the center point and r as the radius and draw a circle. The arc and axis X intersect at Point A in the positive direction and at Point A' in the negative direction.

c. Take Point A and A' respectively as the center points and take R as the radius( R> r), draw circles. There are two intersection points on the arcs of the two circles. Take the intersection point above axis X as Point F; the intersection point below axis X as Point F'. Draw a straight line passing Point F and F' and as a result, the line definitely passes Point O( the diagonals of rhombus are orthogonal). That is: FF' AA'.  Take the direction of the Line FF' above Point O as the positive direction and below as the negative. Make one point on the positive direction of Line FF' as Point Y, which make: OY=OX. Thus, the new plane rectangular coordination system YOX is established.

d. Now divide Angle E' s position in the YOX( plane rectangular coordination system) into three areas. 1. 90° E>0 °; 2. 180° E>90 °; 3. 360° E>180 °. (According to chart 2) .

 

                   

 

e. Take r as the radius (r is the random given value) in the following graphic construction. The detailed  construction is omitted.

f. Suppose 90 ° E>0 ° in the following construction. Take Point Q(i), a free point on axis X, as the circle center point and use a pair of compasses to draw a circle; the arc intersects the straight line L2. Take Point Q'( i), a free point on Straight line Oy' as the circle center point to draw a circle; the arc intersects the straight line L1. Normally, each has two intersection points. (When E=90 ° there' s only one intersection point). Name the two intersection points on the straight line L2 as Point R(i) and Point r(i), make |BR(i)|>|Br(i)|, Point r(i) is a point on Line segment BR(i). In a similar way, the two intersection points on the straight line L1 are Point R'( i) and Point r'( i), make| AR'( i)|>| Ar'( i)|; Point r'( i) is a point on Line segment AR'( i). But the method that this thesis introduces only uses Point R( i) on the straight line L2 and Point R'( i) on the straight line L1 and Point r( i) and Point r'( i) are ignored. (According to chart 3). (Mainly in the construction 1.1.5-1.1.8 below). The detailed construction is omitted.

 

                 

g. In the constructions below, a random Angle E is given and E=e1+e2+e3.

1.1.1 While 90 ° E>0 °: Take Point O as the center point to draw a circle; the arc intersects with axis X at Point A and intersects the straight line Oy' at Point B.

1.1.2 Take Point A and Point B as the circle center points to draw circles; the two arcs intersect at Point Z. (There is another intersection Point O, which is neglected). Connect Point O and Z, then Line segment OZ is the angular bisector of Angle E..

1.1.3  Draw straight line L1 that passes Point A and Z and straight line L2 that passes Point B and Z, respectively. Point Z is the intersection point of the straight lines L1 and L2. In the quadrilateral OAZB, because OA=AZ=BZ=OB=r, so OAZB is a parallelogram (rhombus); OA//L2,OB//L1. (according to chart 4) .

                                              

1.1.4 Make Point z' the intersection point of the straight lines OZ and Arc AB. The distribution of the three free points( P( i). P'( i), Q( i). Q'( i), R( i). R'( i)) are:  a , Point P( i) and Point P'( i) are free points respectively on Arc Az' and Arc Bz'( in which P(1) and P'(1) are any points respectively on Arc Az' and Arc Bz'), b, Point Q( i) and Point Q'( i) are free points respectively on axis X and straight line Oy'; c, Point R( i) and R'( i) are free points respectively on straight line L2 and straight line L1. (i=1,2,3 …).

1.1.5 Take Point P( i), a free point on Arc Az' as the center to draw a circle( in which the initial point P(1) is a random point on arc Az'), the arc intersects with axis X at Point Q( i)( The other intersection Point O on axis X is ignored). Take Point Q(i) as the center point to draw a circle; the arc intersects with straight line L2 at Point R(i) (The other intersection Point r(i) is ignored).  Connect Points O and R( i) and the straight line OR( i) and Arc Az' intersect at Point P( i+1).

1.1.6 Take P(i+1) as the center point to draw a circle.

a. While lim| P( i+1) P( i)| 0( P( i+1) takes the place of P( i) in process 1.1.5. ), repeat process1.1.5.

b. While lim| P( i+1) P( i)|=0, lim| Q( i+1) Q( i)|=0, lim| R( i+1) R( i)|=0, then P( i+1) coincides with P( i) ,P(i+1)=P(i).then Q( i+1) coincides with Q( i),Q(i+1)=Q(i).then R( i+1) coincides with R( i),R(i+1)=R(i). the P( i) is a fixed point on the straight line OR( i+1), make XOR( i)= e1.

 

1.1.7 Take a free point, Point P'( i) on Arc Bz' as the center point to draw a circle;( in which the initial point P'(1) is a random point on arc Bz'), the arc intersects with the straight line Oy' at Point Q'( i)( The other intersection Point O on Arc Oy' is ignored). Take Q'( i) as the center point to draw a circle, the arc intersects with the straight line L1 at Point R'( i)( The other intersection Point r'( i) is ignored). Connect Point O and R'( i); Straight line OR'( i) and Arc Bz' intersect at Point P'( i+1).

1.1.8 Take Point P'( i+1) as the center point to draw a circle.

a. While lim| P'-( i+1) P'( i)| 0( Point P'( i+1) replaces Point P'( i) in process 1.1.7. ), repeat process1.1.7.

b. While lim| P'( i+1) P'( i)|=0, lim| Q'( i+1) Q'( i)|=0, lim| R'( i+1) R'( i)|=0, then P'( i+1) coincides with P'( i) ,P'(i+1)=P'(i).then Q'( i+1) coincides with Q'( i),Q'(i+1)=Q'(i).then R'( i+1) coincides with R'( i),R'(i+1)=R'(i). the P'( i) is a fixed point on the straight line OR'( i+1), make y' OR'( i)= e3, R( i) OR'( i)= e2. (According to chart 5).  

 

             

 

1.1.9 (a) Prove the relationship of Angle e1, e2 and e3.  Because: Triangle OR(i)Q(i) is divided into two isosceles, triangles OP(i)Q(i) and P(i)Q(i)R(i) by the straight line P(i)Q(i), in which |OP(i)|= |P(i)Q(i)|=|Q(i)R(i)|=r; so: e1= OQ( i) P( i).  Because: Q( i) P( i) R( i)=2* e1( One exterior angle of a triangle equals to the sum of the other two adjacent interior angles) and in Triangle P( i) Q( i) R( i), Q( i) P( i) R( i)= Q( i) R( i) P( i), so:  Q( i) R( i) P( i)=2* e1; Q( i) R( i) P( i)= Q( i) R( i) O. Respectively draw the perpendicular line passing Point B and R(i) to axis X; the foot of the perpendicular lines are respectively Point C and Point D in the Right Triangle OBC and Q(i)R(i)D. Because: |OB|=|Q(i)R(i)|=r , |BC|=|R(i)D|(the distances between the two parallel lines are equal).; so: Right Triangle OBC Right Triangle Q( i) R( i) D, R( i) Q( i) D= BOC= E. Bacause: R( i) Q( i) D= R( i) Q( i) X= E. R( i) Q( i) X= OR( i) Q( i)+ e1=3* e1, so E=3* e1, e1= E/3. (according to chart 6 ).  

 

                  

   

       In  the same way, R'( i) Q'( i) y'= E=3* e3, e3= E/3.  Because: E=e1+e2+e3, so: e2=E-e1-e3=E/3, then e1=e2=e3=E/3.

(b) As Point P(1) is a random point on Arc Az', will there be: P( i)-> Q( i)-> R( i)-> P( i+1)-> Q( i+1)-> R( i+1)-> ……, yet P(i+1) and P(i) will never coincide?  The answer is negative.  While 90 °>= E>0 °, use the graphical construction according to the<< three free points natural convergence method>> mentioned above, in finite construction steps, Point P( i+1) and P( i) will naturally coincide, e(i) converges E/3. This is an inevitable rule .

1.2.1 While 180 ° E>90 °, draw the angular bisector Oy'' of Angle E, make XOy''= y'' Oy'= E/2 , 90 °>= XOy''>0 °. Trisect the Angle XOy'', make XOy''= q1+ q2+ q3 and q1= q2= q3.  Make: e1= q1+ q2, one side of Angle e1 coincides with axis X, the other side intersects the arc, which takes Point O as the circle center point, at Point P'( i). Take Arc AP'( i) as a fixed value in order to trisect Angle E by the corresponding arcs of e1, e2 and e3 on the arc with Point O as the circle center point. So, while 180 °>= E>90 °, just bisect Angle E and trisect the first subangle to( q1.q2.q3), take the arc q1+ q2 as a fixed value, Angle E can be trisected on the arc that takes the Point O as circle center point. Connect the intersection point on the trisected arc with the Point O, then the Angle E can be trisected.   

1.3.1 While 360 ° E>180 ° , firstly quarter the Angle E, make XOy'''= E/4 , 90 °>= XOy'''>0 °. Trisect the Angle XOy''', make XOy'''= q1+ q2+ q3 and q1= q2= q3. Cut on the arc with Point O as the circle center point by the arc corresponding to q1+q2, then the arc that corresponds to the Angle E can be divided into six equal arcs. Take every two arcs as an e(i), then: the six arcs can be divided into e1, e2 and e3. So, when 360 °>= E>180 °, just quarter the Angle E and trisect the first quarter of the Angle E into q1, q2 and q3. Take the arc that corresponds with q1+q2 as a fixed value, then Angle E can be divided into six equal arcs by the arc with Point O as the circle center point. Take Point A, the intersection point of axis X and the arc as the initial point, connect the intersection point of every two equal arcs with Point O, then: the angle E can be trisected into (e1, e2 and e3).

 

                                      

                                    2   Calculation

       The calculation chapter of this thesis is composed of two parts.

1. Give an example for calculation.  Trisect the angle E, E=0.123456789 ° .

2. List below the e( i, j) trisection computation result while E=0.1 ° . 0.2°. ……. 89.9° .90 °.    (  i=1,2,3, ……j=1,2,3,4 )。

      In the extraction computation:

  a.     In a common equation ; aX^2+bX+c=0, because: X1={-b+sqr(b^2-4*a*c)}/(2*a),  X2={-b-sqr(b^2-4*a*c)}/(2*a), 

      only X1 is extracted in the calculation and the root of X2 is ignored.

  b.     In (Xr-Xq)^2+(Yr-Yq)^2=r^2, only (Xr-Xq)=sqr(r^2-(Yr-Yq)^2) is calculated and (Xr-Xq)=-sqr(r^2-(Yr-Yq)^2) is ignored.

  c.   In (Xq-Xp)^2+(Yq-Yp)^2=r^2,  only (Xq-Xp)=sqr(r^2-(Yq-Yp)^2) is calculated and (Xq-Xp)=-sqr(r^2-(Yq-Yp)^2) is ignored.

(Because 90° E>0°, take the intersection Point R'( i) on straight line L1 and the intersection Point R( i) on straight line L2, the intersection Point r'( i) and r( i) respectively on straight line L1 and L2 are ignored and the intersection point with the Point O is also ignored). There will be no repeated explanation below anymore.

2.1.1  Give a random Angle E(90°E0°).  Firstly, specify Angle E’s position in the rectangular coordination system (According to chart 7). Their respective coordination points and linear equations are A( r ,0 ) , z’( Xz’ , Yz’) , B( Xb , Yb ),L2=Yb and linear equation is z'((1+sqr(1+k^2))/sqr((1+sqr(1+k^2))^2+ k^2)*r , k*r/sqr((1+sqr(1+k^2))^2+k^2). B( r/sqr(1+k^2),k*r/sqr(1+k^2)). L2=k*r/sqr(1+k^2). k=tgE .y'=k*x. . L1=k*(X-r). ……。

                 

2.1.2 Because the initial  point P(1) and P’(1) are random points on Arc Az’ and Bz’, in order to prove that Angle e( i ) finally converges the fixed value E/3, suppose P(1) and P’(1) are respectively the vertex points of Arc Az’ and Bz’.

Make: a, P1=A ( r , 0 ), then the calculated subangle of Angle E is e(i,1); 

b, P1=z’( Xz’ ,Yz’), then the calculated subangle of Angle E is e(i,2).  

c, P’1=z’( Xz’ ,Yz’), then the calculated subangle of Angle E is e(i,3).

d, P’1=B( Xb ,Yb), then the calculated subangle of Angle E is e(i,4). (i=1,2,3,…….).  

                 (According to chart 8).

 

                 

 

2.1.3 Make: Angle E=0.123456789°, radius r=9876543210, then straight slope k=tg( 0.123456789°)=0.00215473078668851.  

A( 9876543210 , 0 ) .    B(9876520282.35261,21281242.3177386),    z'( 9876537478.08649 , 10640627.3342238 ).

  L1=0.00215473078668851*(X-9876543210)L2=21281242.3177386.  y'=0.00215473078668851*X , 

While P(1)=A(9876543210,0);

Calculate Point Q(1). (Xq-Xa)^2+(Yq-Ya)^2=r^2

Xa=9876543210 

Ya=0

Yq=0

 => Q(1)(19753086420 , 0).

Calculate  Point R(1).     (Xr-Xq)^2+(Yr-Yq)^2=r^2

Xq=19753086420

Yr=k*r/sqr(1+k^2)

Yq=0

=>R(1)(29629606702.3526 ,21281242.3177386)

 e(1,1)=arctg(21281242.3177386/29629606702.3526)=0.0411522559235602.

Connect Point O and R(1), then the linear equation of OR(1) is Y(1,1)=tg( 0.0411522559235602°)*X

Calculate Point P(2). X^2+Y^2=r^2

Y11=tg(0.0411522559235602°)*X

=> P(2)(9876540662.48362,7093751.09871519).

Calculate Point Q(2). (Xq-Xp)^2+(Yq-Yp)^2=r^2

Yq=0

Yp=7093751.09871519

Xp=9876540662.48362

 => Q(2)(19753081324.9672 , 0)

Calculate Point R(2). (Xr-Xq)^2+(Yr-Yq)^2=r^2

Yq=0

Yr=k*r/sqr(1+k^2)

Xq=19753081324.9672

=>R(2)(29629601607.3199 ,21281242.3177386)

 e(2,1)=arctg(21281242.3177386/29629601607.3199)=0.0411522629999976

Connect Point O and R(2), then the linear equation of OR(2) is Y(2,1)=tg( 0.0411522629999976°)*X.

Calculate Point P(3). X^2+Y^2=r^2

Y21=tg(0.0411522629999976°)*X 

 => P(3)(9876540662.48275 ,7093752.3185384)

Calculate Point Q(3) . (Xq-Xp)^2+(Yq-Yp)^2=r^2

Yq=0

Yp=7093752.3185384

Xp=9876540662.48275

  => Q(3)(19753081324.9655 , 0)

Calculate Point R(3). (Xr-Xq)^2+(Yr-Yq)^2=r^2

Yq=0

Xq=19753081324.9655 

Yr=k*r/sqr(1+k^2)

=>R(3)(29629601607.3181 , 21281242.3177386)

 e(3,1)=arctg(21281242.3177386/29629601607.3181)=0.041152263.

Connect Point O and R(3), then the linear equation of OR(3) is Y(3,1)=tg( 0.041152263°)*X.

While a random Angle E=0.123456789° is given, take initial Point P(1) at  A(9876543210,0)after three recurrent calculations,     Subangle e(3,1) naturally converges at E/3.  e(3,1)=E/3=0.041152263° .

 

 While P(1)=z'( 9876537478.08649 , 10640627.3342238 );

Calculate Point Q(1).     (Xq-Xp)^2+(Yq-Yp)^2=r^2

Yq=0

Xp=9876537478.08649  

Yp=10640627.3342238

 => Q(1)(19753074956.173 , 0)

Calculate Point R(1) .    (Xr-Xq)^2+(Yr-Yq)^2=r^2

Xq=19753074956.173

Yq=0

Yr=k*r/sqr(1+K^2)

=>R(1)(29629595238.5256 ,21281242.3177386)

 e(1,2)=arctg(21281242.3177386/29629595238.5256)=0.0411522718455523

Connect Point O and R(1), then the linear equation of OR(1) is Y(1,2)=tg( 0.041152271845523°)*X

Calculate Point P(2). X^2+Y^2=r^2

Y12=tg(0.041152271845523°)*X

=>P(2)(9876540662.48165,7093753.84331879)

Calculate Point   Q(2).(Xq-Xp)^2+(Yq-Yp)^2=r^2

Xp=9876540662.48165

Yp=7093753.84331879     

Yq=0

 => Q(2)(19753081324.9633 , 0).

Calculate Point R(2).    (Xr-Xq)^2+(Yr-Yq)^2=r^2

Xq=19753081324.9633

Yq=0  

Yr=k*r/sqr(1+k^2)

=>R(2)(29629601607.3159 ,21281242.3177386)

  e(2,2)=arctg(21281242.3177386/29629601607.3159)=0.041152263000003

Connect Point O and R(2), then the linear equation of OR(2) is Y(2,2)=tg( 0.041152263000003°)*X.

Calculate Point P(3).  X^2+Y^2=r^2

Y22=tg(0.041152263000003°)*X

=>P(3)(9876540662.48275,7093752.31853934)

Calculate Point Q(3).  (Xq-Xp)^2+(Yq-Yp)^2=r^2

Xp=9876540662.48275

Yp=7093752.31853934

Yq=0 

 => Q(3)(19753081324.9655 , 0)

Calculate Point R(3).   (Xr-Xq)^2+(Yr-Yq)^2=r^2

Xq=19753081324.9655

Yq=0 

Yr=k*r/sqr(1+k^2)

=>R(3)(29629601607.3181,21281242.3177386)

 e(3,2)=arctg(21281242.3177386/29629601607.3181)=0.041152263

Connect Point O and R(3), then the linear equation of OR(3) is Y(3,2)=tg( 0.041152263°)*X.

While a random Angle E=0.123456789° is given, take initial Point P(1) at z'(9876537478.08649

,10640627.3342238)after three recurrent calculations, Subangle e(3,2) naturally converges at E/3.  e(3,2)=E/3=0.041152263°

 

 While P’(1)=z'( 9876537478.08649 , 10640627.3342238 );

Calculate Point Q’(1). (Xq-Xp)^2+(Yq-Yp)^2=r^2

Xp=9876537478.08649

Yp=10640627.3342238 

Yq=k*Xq  

=>Q’(1)(19753029100.9048 ,45262459.9340736)

Calculate Point R’(1) . (Xr-Xq)^2+(Yr-Yq)^2=r^2

Xq=19753029100.9048

Yq=45262459.9340736

Yr=k*(Xr-r)

=> R’(1)(29629572310.9048, 42562459.9340736)

 e(1,3)=arctg(42562459.9340736/29629572310.9048)=0.08230451744477

Connect Point O and R’(1), then the linear equation of OR’(1) is Y(1,3)=tg( 0.08230451744477°)*X

Calculate Point P’(2).    X^2+Y^2=r^2

Y13=tg(0.08230451744477°)*X  

=>P’(2)(9876533019.9345,14187499.4528289)

Calculate Point Q’(2).  (Xq-Xp)^2+(Yq-Yp)^2=r^2

Xp=9876533019.9345

Yp=14187499.45282