Euclid Book 13 Proposition 7a
Statement
If three angles of an equilateral pentagon, taken in order, are equal, then the pentagon is equiangular.
Computational Explanation
GeometricScene[{{A.,B.,C.,D.,E.},{}},{GeometricAssertion[{Polygon[{A.,B.,C.,D.,E.}]},"Convex","Equilateral"],PlanarAngle[{B.,A.,E.}]PlanarAngle[{A.,E.,D.}]PlanarAngle[{E.,D.,C.}]},{GeometricAssertion[{Polygon[{A.,B.,C.,D.,E.}]},"Equiangular"]}]
GeometricAssertion[{Polygon[{A.,B.,C.,D.,E.}]},Equiangular] |
 |
Explanations
For in the equilateral pentagon let, first, three angles taken in order, those at ,,, be equal to one another; I say that the pentagon is equiangular.
For let, , be joined.
Now, since the two sides, are equal to the two sides , respectively, and the angle is equal to the angle , therefore the base is equal to the base , the triangle is equal to the triangle , and the remaining angles will be equal to the remaining angles, namely those which the equal sides subtend, that is, the angle to the angle , and the angle to the angle ; hence the side is also equal to the side .
But the whole was also proved equal to the whole ; therefore the remainder is also equal to the remainder .ut is also equal to . Therefore the two sides , are equal to the two sides , ; and the base is common to them; therefore the angle is equal to the angle .
But the angle was also proved equal to the angle ; therefore the whole angle is also equal to the whole angle .
But, by hypothesis, the angle is equal to the angles at ,; therefore the angle is also equal to the angles at ,. Similarly we can prove that the angle is also equal to the angles at ,,; therefore the pentagon is equiangular.
ABC
DE
A
B
C
ABC
DE
For let
AC
BE
FD
Now, since the two sides
CB
BA
BA
AE
CBA
BAE
AC
BE
ABC
ABE
BCA
BEA
ABE
CAB
AF
BF
But the whole
AC
BE
FC
FE
B
CD
DE
FC
CD
FE
ED
FD
FCD
FED
But the angle
BCA
AEB
BCD
AED
But, by hypothesis, the angle
BCD
A
B
AED
A
B
CDE
A
B
C
ABC
DE