G.585 angles equilateral pentagon — Heath

XIII.7

If three angles of an equilateral pentagon, taken either in order or not in order, be equal, the pentagon will be equiangular.

For in the equilateral pentagon < A B C D E > let, first, three angles taken in order, those at A, B, C, be equal to one another; I say that the pentagon < A B C D E > is equiangular.

A B F E C D

For let / A C /, / B E /, / F D / be joined.

Now, since the two sides / C B /, / B A / are equal to the two sides / B A /, / A E / respectively, and the angle < C B A ) is equal to the angle < B A E ),
therefore the base / A C / is equal to the base / B E /, the triangle < A B C > is equal to the triangle < A B E >, and the remaining angles will be equal to the remaining angles, namely those which the equal sides subtend, [G.24] that is, the angle < B C A ) to the angle < B E A ), and the angle < A B E ) to the angle < C A B );
[G.27]hence the side / A F / is also equal to the side / B F /.
But the whole / A C / was also proved equal to the whole / B E /;
therefore the remainder / F C / is also equal to the remainder / F E /.
But / C D / is also equal to / D E /. Therefore the two sides / F C /, / C D / are equal to the two sides / F E /, / E D /; and the base / F D / is common to them;
[G.29]therefore the angle < F C D ) is equal to the angle < F E D ).
But the angle < B C A ) was also proved equal to the angle < A E B );
therefore the whole angle < B C D ) is also equal to the whole angle < A E D ).
But, by hypothesis, the angle < B C D ) is equal to the angles at A, B;
therefore the angle < A E D ) is also equal to the angles at A, B.
Similarly we can prove that the angle < C D E ) is also equal to the angles at A, B, C; therefore the pentagon < A B C D E > is equiangular.

Next, let the given equal angles not be angles taken in order, but let the angles at the points A, C, D be equal; I say that in this case too the pentagon < A B C D E > is equiangular.

For let / B D / be joined.

Then, since the two sides / B A /, / A E / are equal to the two sides / B C /, / C D /, and they contain equal angles,
therefore the base / B E / is equal to the base / B D /, the triangle < A B E > is equal to the triangle < B C D >, and the remaining angles will be equal to the remaining angles, namely those which the equal sides subtend; [G.24] therefore the angle < A E B ) is equal to the angle < C D B ).
But the angle < B E D ) is also equal to the angle < B D E ), since the side / B E / is also equal to the side / B D /. [G.25]
Therefore the whole angle < A E D ) is equal to the whole angle < C D E ).
But the angle < C D E ) is, by hypothesis, equal to the angles at A, C;
therefore the angle < A E D ) is also equal to the angles at A, C.
For the same reason the angle < A B C ) is also equal to the angles at A, C, D. Therefore the pentagon < A B C D E > is equiangular.
Q. E. D.

Dependency Graph

digraph { bgcolor="transparent"; node [shape=box, style="rounded,filled", fontname="Helvetica", fontsize=11, color="#d6d3cd", fontcolor="#ffffff"]; edge [color="#8c857b", fontcolor="#8c857b", arrowsize=0.75]; rankdir="TB"; "G.1" [label="G.1", tooltip="G.1 (I.def.1): A point A is that which has no part.", fillcolor="#224422", URL="../G.1/index.html", target="_top"]; "G.2" [label="G.2", tooltip="G.2 (I.def.2): A line [ A B ] is a projection of a relationship of two points A, B.", fillcolor="#224422", URL="../G.2/index.html", target="_top"]; "G.3" [label="G.3", tooltip="G.3 (I.def.3): The extremities of a segment / A B / are points A, B.", fillcolor="#224422", URL="../G.3/index.html", target="_top"]; "G.4" [label="G.4", tooltip="G.4 (I.def.4): A segment / A B / is a portion of a line [ A B ] between two points A, B on the line.", fillcolor="#224422", URL="../G.4/index.html", target="_top"]; "G.5" [label="G.5", tooltip="G.5 (I.def.5): A surface is that which has length and breadth only.", fillcolor="#224422", URL="../G.5/index.html", target="_top"]; "G.6" [label="G.6", tooltip="G.6 (I.def.6): The extremities of a surface are lines or arcs.", fillcolor="#224422", URL="../G.6/index.html", target="_top"]; "G.7" [label="G.7", tooltip="G.7 (I.def.7): A plane surface lies evenly with the lines on itself.", fillcolor="#224422", URL="../G.7/index.html", target="_top"]; "G.8" [label="G.8", tooltip="G.8 (I.def.13): A boundary is the extremity of anything.", fillcolor="#224422", URL="../G.8/index.html", target="_top"]; "G.9" [label="G.9", tooltip="G.9 (I.def.14): A figure is that which is contained by any boundary or boundaries.", fillcolor="#224422", URL="../G.9/index.html", target="_top"]; "G.10" [label="G.10", tooltip="G.10 (I.def.15): A circle ( A B ) is a plane figure contained by one arc defined by a center A and a point B establishing its defining radius / A B /, such that all segments / A B /, / A C /, / A D...", fillcolor="#224422", URL="../G.10/index.html", target="_top"]; "G.11" [label="G.11", tooltip="G.11 (I.def.16): The point A within the circle ( A B ) from which all segments / A B /, / A C / to the arc are equal is called the center of the circle.", fillcolor="#224422", URL="../G.11/index.html", target="_top"]; "G.12" [label="G.12", tooltip="G.12 (I.def.19): Rectilineal figures are contained by segments: trilateral by three, quadrilateral by four, and multilateral by more than four.", fillcolor="#224422", URL="../G.12/index.html", target="_top"]; "G.13" [label="G.13", tooltip="G.13 (I.def.20): Of trilateral figures, an equilateral triangle < A B C > has three equal sides, an isosceles triangle < D E F > has two equal sides, and a scalene triangle < G H K > has three uneq...", fillcolor="#224422", URL="../G.13/index.html", target="_top"]; "G.14" [label="G.14", tooltip="G.14 (I.post.1): Construct a segment / A B / between any two points A, B.", fillcolor="#444422", URL="../G.14/index.html", target="_top"]; "G.15" [label="G.15", tooltip="G.15 (I.post.3): Construct a circle ( A B ) with center A and defining radius point B.", fillcolor="#444422", URL="../G.15/index.html", target="_top"]; "G.16" [label="G.16", tooltip="G.16 (I.cn.1): Things equal to the same thing are equal to one another.", fillcolor="#442222", URL="../G.16/index.html", target="_top"]; "G.17" [label="G.17", tooltip="G.17 (I.1): Construct an equilateral triangle on a given segment.", fillcolor="#222244", URL="../G.17/index.html", target="_top"]; "G.18" [label="G.18", tooltip="G.18 (I.post.2): Extend a segment / A B / continuously along a line [ A B ] to / B C /.", fillcolor="#444422", URL="../G.18/index.html", target="_top"]; "G.19" [label="G.19", tooltip="G.19 (I.cn.3): If equals are subtracted from equals, the remainders are equal.", fillcolor="#442222", URL="../G.19/index.html", target="_top"]; "G.20" [label="G.20", tooltip="G.20 (I.2): Construct at a given point a segment equal to a given segment.", fillcolor="#222244", URL="../G.20/index.html", target="_top"]; "G.21" [label="G.21", tooltip="G.21 (I.3): Cut off from the greater of two unequal segments a segment equal to the less.", fillcolor="#222244", URL="../G.21/index.html", target="_top"]; "G.22" [label="G.22", tooltip="G.22 (I.def.8): A plane angle is the inclination to one another of two lines or arcs in a plane that meet and do not lie on the same line.", fillcolor="#224422", URL="../G.22/index.html", target="_top"]; "G.23" [label="G.23", tooltip="G.23 (I.cn.4): Things / A B /, / D E / that coincide with one another are equal to one another.", fillcolor="#442222", URL="../G.23/index.html", target="_top"]; "G.24" [label="G.24", tooltip="G.24 (I.4): Triangles with two sides and the included angle equal are congruent (SAS).", fillcolor="#222244", URL="../G.24/index.html", target="_top"]; "G.25" [label="G.25", tooltip="G.25 (I.5): In an isosceles triangle, the angles at the base are equal, and if the equal sides are extended, the angles under the base are equal.", fillcolor="#222244", URL="../G.25/index.html", target="_top"]; "G.26" [label="G.26", tooltip="G.26 (I.cn.5): The whole is greater than the part.", fillcolor="#442222", URL="../G.26/index.html", target="_top"]; "G.27" [label="G.27", tooltip="G.27 (I.6): If two angles of a triangle are equal, the sides subtending the equal angles are also equal.", fillcolor="#222244", URL="../G.27/index.html", target="_top"]; "G.28" [label="G.28", tooltip="G.28 (I.7): On the same segment and on the same side, there cannot be constructed two distinct triangles with both pairs of conterminous sides equal.", fillcolor="#222244", URL="../G.28/index.html", target="_top"]; "G.29" [label="G.29", tooltip="G.29 (I.8): Triangles with all three corresponding sides equal have their corresponding angles equal (SSS).", fillcolor="#222244", URL="../G.29/index.html", target="_top"]; "G.585" [label="G.585", tooltip="G.585 (XIII.7): If three angles of an equilateral pentagon, taken either in order or not in order, be equal, the pentagon is equiangular.", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", URL="index.html", target="_top"]; "G.2" -> "G.1"; "G.3" -> "G.1"; "G.4" -> "G.1"; "G.10" -> "G.1"; "G.11" -> "G.1"; "G.14" -> "G.1"; "G.15" -> "G.1"; "G.17" -> "G.1"; "G.20" -> "G.1"; "G.21" -> "G.1"; "G.24" -> "G.1"; "G.25" -> "G.1"; "G.28" -> "G.1"; "G.29" -> "G.1"; "G.3" -> "G.2"; "G.4" -> "G.2"; "G.6" -> "G.2"; "G.7" -> "G.2"; "G.18" -> "G.2"; "G.22" -> "G.2"; "G.4" -> "G.3"; "G.6" -> "G.3"; "G.8" -> "G.3"; "G.20" -> "G.3"; "G.28" -> "G.3"; "G.29" -> "G.3"; "G.7" -> "G.4"; "G.10" -> "G.4"; "G.11" -> "G.4"; "G.12" -> "G.4"; "G.14" -> "G.4"; "G.17" -> "G.4"; "G.18" -> "G.4"; "G.20" -> "G.4"; "G.21" -> "G.4"; "G.22" -> "G.4"; "G.24" -> "G.4"; "G.25" -> "G.4"; "G.28" -> "G.4"; "G.29" -> "G.4"; "G.6" -> "G.5"; "G.7" -> "G.5"; "G.10" -> "G.6"; "G.10" -> "G.7"; "G.22" -> "G.7"; "G.9" -> "G.8"; "G.10" -> "G.9"; "G.12" -> "G.9"; "G.11" -> "G.10"; "G.15" -> "G.10"; "G.17" -> "G.10"; "G.20" -> "G.10"; "G.21" -> "G.10"; "G.15" -> "G.11"; "G.17" -> "G.11"; "G.20" -> "G.11"; "G.21" -> "G.11"; "G.13" -> "G.12"; "G.17" -> "G.12"; "G.20" -> "G.12"; "G.24" -> "G.12"; "G.25" -> "G.12"; "G.27" -> "G.12"; "G.28" -> "G.12"; "G.29" -> "G.12"; "G.17" -> "G.13"; "G.25" -> "G.13"; "G.585" -> "G.13"; "G.17" -> "G.14"; "G.20" -> "G.14"; "G.25" -> "G.14"; "G.27" -> "G.14"; "G.28" -> "G.14"; "G.585" -> "G.14"; "G.17" -> "G.15"; "G.20" -> "G.15"; "G.21" -> "G.15"; "G.17" -> "G.16"; "G.20" -> "G.16"; "G.21" -> "G.16"; "G.20" -> "G.17"; "G.20" -> "G.18"; "G.25" -> "G.18"; "G.20" -> "G.19"; "G.25" -> "G.19"; "G.21" -> "G.20"; "G.25" -> "G.21"; "G.27" -> "G.21"; "G.24" -> "G.22"; "G.25" -> "G.22"; "G.27" -> "G.22"; "G.28" -> "G.22"; "G.29" -> "G.22"; "G.585" -> "G.22"; "G.24" -> "G.23"; "G.29" -> "G.23"; "G.25" -> "G.24"; "G.27" -> "G.24"; "G.585" -> "G.24"; "G.28" -> "G.25"; "G.585" -> "G.25"; "G.27" -> "G.26"; "G.28" -> "G.26"; "G.585" -> "G.27"; "G.29" -> "G.28"; "G.585" -> "G.29"; }

Required for

G.600, G.601