Approximate Angle Trisection and N-Section

Avni Pllana

Click here to download the PDF document of this paper

 

It is well-known that a line can be easily divided into any given number of equal parts, using ruler and compass. However, if we try to do the same with an arbitrary angle, the situation is quite different. For example it has been proven by P. L. Wantzel (1836)[1] using group theory developed by Galois[2], that it is impossible to trisect every angle using only ruler and compass. However, the search for approximate solutions to this problem turned to be very popular.

In this paper will be shown how we can approximately divide a given angle by a constructible number using a ruler and a compass. It is a trivial task to divide by , , and for any other we have

where .

Let us begin with , and let the given angle be shown in Fig.1.

In Fig.1 the following relations hold

and

Next we will show that . Let . From Fig.1 follows

and finally

If we expand the right-hand side of (1) in Taylor series in terms of , we get

From (2) we can conclude that .

In Fig.2 is shown the relative error for and .

Let us now discuss the general case, Fig.3.

Suppose that , and , where , so we have

Then with obvious notation we may represent by the line point on the line segment in Fig.3 . So we have

Let , then

From (3) we see that if , then , and likewise if , then as expected. For such that , it is , from (3) follows

so . In this case bisects and . Hence for , and the construction is exact.

It is convenient to expand (3) in Taylor series in terms of for , aided by the fact that it must be exact for . We find

where the first few are

It is interesting that have all their roots in the interval .

If we write error , and relative error

then for from (4) and (5) we get

Then for and , numerical search using (3) and (5) gives maximum occurring at approximately, with (slightly over 3.5%), and (6) gives , close to the correct value, suggesting that we have convergence in (4) for and , see Fig.4 and Fig.5.

 

We can achieve more accuracy at the cost of increased constructing effort, see Fig.6.

In Fig.6 the following relations hold

According to Fig.6 there are two cases:

If , then

else if , then

The relative error is shown in Fig.7 and Fig.8.

 

 

[1] Pierre Laurent Wantzel. http://www-history.mcs.st-and.ac.uk/Biographies/Wantzel.html

[2] Evariste Galois. http://www-history.mcs.st-and.ac.uk/Biographies/Galois.html

 

See also:

Avni Pllana "Approximate Angle Trisection" http://www.geocities.com/approx_trisect/

Avni Pllana "Angle Trisection using Limacon of Pascal" http://www.geocities.com/trisect_limacon

Avni Pllana "Approximate Construction of Heptagon and Nonagon" http://www.geocities.com/london_blue_catharin/

1
Hosted by www.Geocities.ws