ARITHMETICA LOGARITHMICA

Previous page
(Chapter Twenty Eight)
Contents Next page
(Chapter Thirty)

Chapter Twenty Nine

Concerning the [Regular] Heptagon, Nonagon, Pentadecagon, and Polygons with 24 and 30 Sides.


For the above figures will be added on and these following, not inconveniently: but with some of these there may be a certain one with a little more work, we will be including these sides to the extent of showing them the most; for from those which are being propounded here, it will be possible also for the rest to be completed, by those who will have wished to investigate that [aspect] precisely.

If from four lines in continuing proportion, with the [sum of the] biggest and the smallest being equal to [the sum of] double the larger mean and the smaller mean: the larger sides of a triangle being equal, with the base being equal to the larger mean, and each angle to the base will be the triple of the remaining one1. And the base will be the side of the heptagon inscribed in the circle with the triangle2.

Let ANFBCPQ be a regular heptagon inscribed in the circle3; and let AB, BC, BD, DE, or HO be continued proportionals: The sum of AB and HO will be equal to the sum of the lines AO, HD, BD; that is the double of the larger mean BC, and of the smaller mean BD. For the triangles BAC, BCD are equiangular ; therefore BC and CD are equal; likewise AF, AD, and FC are equal: and if making the angles GAD, GDA equal [choose G to insure this], the triangles AGD, FBC will have equal sides; and HO, DE are equal.

Setting4 AB, 1. BC will be 1 (1): BD, 1 (2):
DE, 1 (3); And 1 + 1 (3) will be equal to 2 (1) + 1 (2).




If the radius of the circumscribed circle XC is being set to 1:
BC will be the side of the heptagon, 867767478235;
CF the chord subtending two sides will be 1563662964936;
AB the chord subtending three sides will be 1949855824364 .

If from four lines with continuing proportions, [the sum of] the maximum and the minimum is equal to three times the larger mean: with the largest sides of the triangle being equal, the base equal to the larger mean, and both the base angles are four times the other angle: and the base will be the side of a regular nonagon inscribed in a circle with the triangle.

Let APCBR be the nonagon, and let AB,BC,BD,DE be continuing proportionals. [The sum of] AC and HO will be equal to the [sum of] the lines AO, HG, GC: that is the triplicate of the line BC5. For the angles BAC, BCD are equal and therefore BC, CD are equal. And if RM be drawn parallel to FC, the angles FCG, CGM will be equal; from which also [angles] GMC and GCM are equal; [triangles] APM, ARF, RBC are equal as they stand on the periphery. And drawing the line AM, the triangles AMG, AMP are equal angled and with equal sides. And the triangles AQP, ANG, FBC have equal sides: and the lines AO, HG, CB; likewise HO, DE are equal.
Setting6 AB, 1; BC, 1.(1). BD, 2. (2); DE, 1(3). 3 (2) and 1 + 1(3) will be equal.




The side7 of the [regular] Pentadecagon inscribed in the circle with radius 1, the side [is found from root of the three numbers] 7/4 - scriptl.5/16 - scriptl. bin 15/8 - scriptl. 45/64, which is equal to the chord subtended by an angle of 24degrees, 41582338164.
The side of the 24-gon is scriptl. bin 2. - scriptl. bin. 2 + scriptl. 3. Or, scriptl. bin. 1/2 +scriptl.1/2 - scriptl.bin.3/2 - scriptl. 9/8. Or the root of the three numbers [scriptl. trin.] 2 - scriptl.1/2 - scriptl.3/2. Which is equal to the length of the chord subtended by the angle15degrees, 26105238444 .
The side of the 30-gon is scriptl. bin 5/8 - scriptl. bin. 45/64 - scriptl. 5/16 - 1/4 . Or, scriptl. trin. 9/4 - scriptl.5/16 - scriptl.bin.15/8 + scriptl. 45/64. Which is equal to the length of the chord subtended by the angle12< degrees>, 2090569265353.


In these figures, as with those above, the sides could be found, if the radius of the circumscribed circle had been given, or the side of any polygon (from these which are included in this chapter or the previous one) inscribed in the same circle as that, of which the side is sought, that with a single example should suffice to show the most.
Let the side of the octagon be given as 6: the side of the pentadecagon is required, inscribed in the same circle as the given octagon.



Notes on Chapter 29

1AB/BC = BC/BD = BD/DE = 1/tau. The larger mean BC = tauAB, and the smaller mean
BD = tau2AB; while AB is the largest side, and DE = tau3AB is the smallest side.

2The isosceles triangle Briggs has in mind has base BC, equal base angles of 771/7degrees, and an apex angle of 255/7degrees.

3Having noted that bigdeltaABC is isosceles. bigdeltaAOG is constructed similar to bigdeltaABC with AO= ABtau, and bigdeltaDGH is congruent to this triangle, but inverted. The triangle bigdeltaGHO is congruent to bigdeltaBDE, and bigdeltaCBD is congruent to bigdeltaAOG and bigdeltaDGH. The proof of all of this can be left as an exercise, but it can be seen that these smaller triangles have sides parallel to particular sides or diagonals of the figure.

4It can be seen from the diagram that AB can be dissected up into lengths of sides of these lesser triangles; thus :-
AB = AO + DH + BD - OH = tauAB + tauAB + tau2 - tau3AB. Hence, 1 + tau3 = 2tau + tau2.
we will solve the cubic x3 - x2 - 2x + 1 = 0, where x = tau.
[Note the notation in use at the time to describe the powers of a variable, which is not itself written down: thus the cubic would be written as 1(3) - 1(2) - 2(1) +1 to be equal to zero].
The reduced cubic, by making the substitution z = x + 1/3, is :
z3 - 7/3z + 7/27 = 0. The standard substitution, due originally to Viète, for the general reduced cubic: z3 + pz + q= 0, sets z = w - p/(3w), to give the 6th power equation:

(w3)2 - (w3)q - p3/27 = 0, for which w3 = {q plusminus sqrt(q2 + 4 p3 /27)}/2.
With Briggs' equation, p = -7/3, q = - 7/27, and w3 = 7/54{ - 1 plusminus isqrt27}.
Note: it is a feature of solving cubic equations by this method, that in the situation where all the roots are real, complex numbers form part of the analysis. [See, e.g. Birkhoff and Maclane, A survey of Modern Algebra, 4th Ed., pp. 118 - 120].
Hence, w = (sqrt7/3)eiphi/3, (Ö7/3)ei(phi/3plusminus2p/3), where tan(phi) = - sqrt27.
Hence, z = w + 7/9w; and the roots are :
z1 = (2sqrt7/3)cos(phi/3), and x1 = 1.8019377..;
z2 = (2sqrt7/3)cos(phi/3 + 2pi/3), and x2 = -1.5803129..,
z3 = (2sqrt7/3)cos(phi/3 - 2pi/3), and x3 = 0.4450418..
As the final root is the only one that satisfies both the requirements of being positive and less than one, it is the required ratio tau.
Courant and Robbins, in their classic book: What is Mathematics, (OUP 4th ed., 1981), p.138, give a small discussion on the regular heptagon, and also derive a cubic equation (rather more easily with the help of complex numbers); which they do not solve, but demonstrate that it has no rational roots, and so the sides are not rational and the heptagon cannot be constructed with a straight edge.

It seems more likely than not that Briggs made use of his iterative method for solving polynomial equations, as set out in the Trigonometria Britannica, Chapters III, IV, V, which is now called Newton's Method.

5In the construction, the point N is located to make the angles AGN = BAG; the triangles FBC and ANG are congruent, as the triangles BDE and HNO are also.

6 In modern terms, for the first set of proportions, we have
AB/BC = BC/CD = CD/DE = 1/tau,
and initially set AB = 1, then BC = tau, BD = BC2 = tau2, DE = BD2/BC = tau3.
Briggs' equation then becomes: AO + HO = 1 + tau3; while 3BC = 3tau.
Hence: 1 + tau3 = 3tau.
we will solve the cubic x3 - 3x + 1 = 0, where x = tau.
The cubic is already in the correct form so x = z. The standard substitution used above,
with p = -3, and q = -1, sets
z = w + 1/w, to give the 6th power equation:

(w3)2 + (w3) +1 = 0, for which w3 = {-1 plusminus isqrt(3)}/2 = eiphi.
Hence, w = eiphi/3, ei(phi/3plusminus2p/3), where tan(phi) = -sqrt3, and phi = 120 degrees.
Hence, z = w + 1/w; and the roots are :
z1 = 2cos(40 degrees), and x1 = 1.5320889..;
z2 = 2cos(160 degrees), and x2 = -1.8793852..;
z3 = 2cos(-80 degrees), and x3 = 0.34729935..
Again, the positive root less than one is taken for tau, which agrees with Briggs' version.

7The detailed working of these results, and similar ones in succeeding chapters, have not been included in these brief notes.


Previous page
(Chapter Twenty Eight)
Contents Next page
(Chapter Thirty)

© Ian Bruce May 2002