Kitap 13
7
Therefore the whole angle AED is equal to the whole angle CDE.
7
But the angle CDE is, by hypothesis, equal to the angles at A, C; therefore the angle AED is also equal to the angles at A, C.
7
For the same reason the angle ABC is also equal to the angles at A, C, D.
7
Therefore the pentagon ABCDE is equiangular. Q. E. D.
PROPOSITION 8.
8
If in an equilateral and equiangular pentagon straight lines subtend two angles taken in order, they cut one another in extreme and mean ratio, and their greater segments are equal to the side of the pentagon.
8
For in the equilateral and equiangular pentagon ABCDE let the straight lines AC, BE, cutting one another at the point H, subtend two angles taken in order, the angles at A, B; I say that each of them has been cut in extreme and mean ratio at the point H, and their greater segments are equal to the side of the pentagon.
8
For let the circle ABCDE be circumscribed about the pentagon ABCDE. [IV. 14]
8
Then, since the two straight lines EA, AB are equal to the two AB, BC, and they contain equal angles, therefore the base BE is equal to the base AC, the triangle ABE is equal to the triangle ABC, and the remaining angles will be equal to the remaining angles respectively, namely those which the equal sides subtend. [I. 4]
8
Therefore the angle BAC is equal to the angle ABE; therefore the angle AHE is double of the angle BAH. [I. 32]
8
But the angle EAC is also double of the angle BAC, inasmuch as the circumference EDC is also double of the circumference CB; [III. 28, VI. 33] therefore the angle HAE is equal to the angle AHE; hence the straight line HE is also equal to EA, that is, to AB. [I. 6]
8
And, since the straight line BA is equal to AE, the angle ABE is also equal to the angle AEB. [I. 5]
8
But the angle ABE was proved equal to the angle BAH; therefore the angle BEA is also equal to the angle BAH.