PROPOSITION 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 ABCDE let, first, three angles taken in order, those at A, B, C, be equal to one another; I say that the pentagon ABCDE is equiangular.

A B F E C D

For let AC, BE, FD be joined.

Now, since the two sides CB, BA are equal to the two sides BA, AE respectively, and the angle CBA is equal to the angle BAE,
therefore the base AC is equal to the base BE, the triangle ABC is equal to the triangle ABE, and the remaining angles will be equal to the remaining angles, namely those which the equal sides subtend, [I. 4] that is, the angle BCA to the angle BEA, and the angle ABE to the angle CAB;
[I. 6]hence the side AF is also equal to the side BF.
But the whole AC was also proved equal to the whole BE;
therefore the remainder FC is also equal to the remainder FE.
But CD is also equal to DE. Therefore the two sides FC, CD are equal to the two sides FE, ED; and the base FD is common to them;
[I. 8]therefore the angle FCD is equal to the angle FED.
But the angle BCA was also proved equal to the angle AEB;
therefore the whole angle BCD is also equal to the whole angle AED.
But, by hypothesis, the angle BCD is equal to the angles at A, B;
therefore the angle AED is also equal to the angles at A, B.
Similarly we can prove that the angle CDE is also equal to the angles at A, B, C; therefore the pentagon ABCDE 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 ABCDE is equiangular.

For let BD be joined.

Then, since the two sides BA, AE are equal to the two sides BC, CD, and they contain equal angles,
therefore the base BE is equal to the base BD, the triangle ABE is equal to the triangle BCD, and the remaining angles will be equal to the remaining angles, namely those which the equal sides subtend; [I. 4] therefore the angle AEB is equal to the angle CDB.
But the angle BED is also equal to the angle BDE, since the side BE is also equal to the side BD. [I. 5]
Therefore the whole angle AED is equal to the whole angle CDE.
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.
For the same reason the angle ABC is also equal to the angles at A, C, D. Therefore the pentagon ABCDE 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"; "I.def.1" [label="I.def.1", fillcolor="#224422", tooltip="I.def.1: A point is that which has no part.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-1", target="_top"]; "I.def.2" [label="I.def.2", fillcolor="#224422", tooltip="I.def.2: A line is breadthless length.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-2", target="_top"]; "I.def.3" [label="I.def.3", fillcolor="#224422", tooltip="I.def.3: The extremities of a line are points.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-3", target="_top"]; "I.def.4" [label="I.def.4", fillcolor="#224422", tooltip="I.def.4: A straight line is a line which lies evenly with the points on itself.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-4", target="_top"]; "I.def.5" [label="I.def.5", fillcolor="#224422", tooltip="I.def.5: A surface is that which has length and breadth only.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-5", target="_top"]; "I.def.6" [label="I.def.6", fillcolor="#224422", tooltip="I.def.6: The extremities of a surface are lines.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-6", target="_top"]; "I.def.7" [label="I.def.7", fillcolor="#224422", tooltip="I.def.7: A plane surface is a surface which lies evenly with the straight lines on itself.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-7", target="_top"]; "I.def.8" [label="I.def.8", fillcolor="#224422", tooltip="I.def.8: A plane angle is the inclination to one another of two lines in a plane which meet one another and do not lie in a straight line.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-8", target="_top"]; "I.def.13" [label="I.def.13", fillcolor="#224422", tooltip="I.def.13: A boundary is that which is an extremity of anything.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-13", target="_top"]; "I.def.14" [label="I.def.14", fillcolor="#224422", tooltip="I.def.14: A figure is that which is contained by any boundary or boundaries.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-14", target="_top"]; "I.def.15" [label="I.def.15", fillcolor="#224422", tooltip="I.def.15: A circle is a plane figure contained by one line such that all the straight lines falling upon it from one point among those lying within the figure are equal to one another.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-15", target="_top"]; "I.def.16" [label="I.def.16", fillcolor="#224422", tooltip="I.def.16: And the point is called the centre of the circle.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-16", target="_top"]; "I.def.19" [label="I.def.19", fillcolor="#224422", tooltip="I.def.19: Rectilineal figures are those which are contained by straight lines, trilateral figures being those contained by three, quadrilateral those contained by four, and multilateral…", URL="../../../../volume_I/book_i/definitions/index.html#i-def-19", target="_top"]; "I.def.20" [label="I.def.20", fillcolor="#224422", tooltip="I.def.20: Of trilateral figures, an equilateral triangle is that which has its three sides equal, an isosceles triangle that which has two of its sides alone equal, and a scalene triangle…", URL="../../../../volume_I/book_i/definitions/index.html#i-def-20", target="_top"]; "I.post.1" [label="I.post.1", fillcolor="#444422", tooltip="I.post.1: To draw a straight line from any point to any point.", URL="../../../../volume_I/book_i/postulates/index.html#i-post-1", target="_top"]; "I.post.2" [label="I.post.2", fillcolor="#444422", tooltip="I.post.2: To produce a finite straight line continuously in a straight line.", URL="../../../../volume_I/book_i/postulates/index.html#i-post-2", target="_top"]; "I.post.3" [label="I.post.3", fillcolor="#444422", tooltip="I.post.3: To describe a circle with any centre and distance.", URL="../../../../volume_I/book_i/postulates/index.html#i-post-3", target="_top"]; "I.cn.1" [label="I.cn.1", fillcolor="#442222", tooltip="I.cn.1: Things which are equal to the same thing are also equal to one another.", URL="../../../../volume_I/book_i/common_notions/index.html#i-cn-1", target="_top"]; "I.cn.3" [label="I.cn.3", fillcolor="#442222", tooltip="I.cn.3: If equals be subtracted from equals, the remainders are equal.", URL="../../../../volume_I/book_i/common_notions/index.html#i-cn-3", target="_top"]; "I.cn.4" [label="I.cn.4", fillcolor="#442222", tooltip="I.cn.4: Things which coincide with one another are equal to one another.", URL="../../../../volume_I/book_i/common_notions/index.html#i-cn-4", target="_top"]; "I.1" [label="I.1", fillcolor="#222244", tooltip="I.1: On a given finite straight line to construct an equilateral triangle.", URL="../../../../volume_I/book_i/propositions/01/index.html", target="_top"]; "I.2" [label="I.2", fillcolor="#222244", tooltip="I.2: To place at a given point (as an extremity) a straight line equal to a given straight line.", URL="../../../../volume_I/book_i/propositions/02/index.html", target="_top"]; "I.3" [label="I.3", fillcolor="#222244", tooltip="I.3: Given two unequal straight lines, to cut off from the greater a straight line equal to the less.", URL="../../../../volume_I/book_i/propositions/03/index.html", target="_top"]; "I.4" [label="I.4", fillcolor="#222244", tooltip="I.4: If two triangles have the two sides equal to two sides respectively, and have the angles contained by the equal straight lines equal, they will also have the base equal to the…", URL="../../../../volume_I/book_i/propositions/04/index.html", target="_top"]; "I.5" [label="I.5", fillcolor="#222244", tooltip="I.5: In isosceles triangles the angles at the base are equal to one another, and, if the equal straight lines be produced further, the angles under the base will be equal to one…", URL="../../../../volume_I/book_i/propositions/05/index.html", target="_top"]; "I.6" [label="I.6", fillcolor="#222244", tooltip="I.6: If in a triangle two angles be equal to one another, the sides which subtend the equal angles will also be equal to one another.", URL="../../../../volume_I/book_i/propositions/06/index.html", target="_top"]; "I.7" [label="I.7", fillcolor="#222244", tooltip="I.7: Given two straight lines constructed on a straight line (from its extremities) and meeting in a point, there cannot be constructed on the same straight line (from its…", URL="../../../../volume_I/book_i/propositions/07/index.html", target="_top"]; "I.8" [label="I.8", fillcolor="#222244", tooltip="I.8: If two triangles have the two sides equal to two sides respectively, and have also the base equal to the base, they will also have the angles equal which are contained by the…", URL="../../../../volume_I/book_i/propositions/08/index.html", target="_top"]; "XIII.7" [label="XIII.7", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="XIII.7: If three angles of an equilateral pentagon, taken either in order or not in order, be equal, the pentagon will be equiangular.", URL="index.html", target="_top"]; "I.def.3" -> "I.def.1"; "I.def.4" -> "I.def.1"; "I.def.15" -> "I.def.1"; "I.def.16" -> "I.def.1"; "I.post.1" -> "I.def.1"; "I.2" -> "I.def.1"; "I.7" -> "I.def.1"; "I.def.3" -> "I.def.2"; "I.def.4" -> "I.def.2"; "I.def.6" -> "I.def.2"; "I.def.8" -> "I.def.2"; "I.def.4" -> "I.def.3"; "I.def.13" -> "I.def.3"; "I.2" -> "I.def.3"; "I.7" -> "I.def.3"; "I.def.7" -> "I.def.4"; "I.def.8" -> "I.def.4"; "I.def.15" -> "I.def.4"; "I.def.19" -> "I.def.4"; "I.post.1" -> "I.def.4"; "I.post.2" -> "I.def.4"; "I.1" -> "I.def.4"; "I.2" -> "I.def.4"; "I.3" -> "I.def.4"; "I.4" -> "I.def.4"; "I.5" -> "I.def.4"; "I.7" -> "I.def.4"; "I.8" -> "I.def.4"; "I.def.6" -> "I.def.5"; "I.def.7" -> "I.def.5"; "I.def.15" -> "I.def.6"; "I.def.8" -> "I.def.7"; "I.def.15" -> "I.def.7"; "I.4" -> "I.def.8"; "I.5" -> "I.def.8"; "I.6" -> "I.def.8"; "I.8" -> "I.def.8"; "XIII.7" -> "I.def.8"; "I.def.14" -> "I.def.13"; "I.def.15" -> "I.def.14"; "I.4" -> "I.def.14"; "I.6" -> "I.def.14"; "I.def.16" -> "I.def.15"; "I.post.3" -> "I.def.15"; "I.1" -> "I.def.15"; "I.3" -> "I.def.15"; "I.post.3" -> "I.def.16"; "I.def.20" -> "I.def.19"; "I.4" -> "I.def.19"; "I.6" -> "I.def.19"; "I.8" -> "I.def.19"; "I.1" -> "I.def.20"; "I.5" -> "I.def.20"; "XIII.7" -> "I.def.20"; "I.1" -> "I.post.1"; "I.2" -> "I.post.1"; "I.5" -> "I.post.1"; "I.7" -> "I.post.1"; "I.2" -> "I.post.2"; "I.5" -> "I.post.2"; "I.1" -> "I.post.3"; "I.2" -> "I.post.3"; "I.3" -> "I.post.3"; "I.1" -> "I.cn.1"; "I.2" -> "I.cn.1"; "I.3" -> "I.cn.1"; "I.2" -> "I.cn.3"; "I.4" -> "I.cn.4"; "I.2" -> "I.1"; "I.3" -> "I.2"; "I.5" -> "I.3"; "I.5" -> "I.4"; "XIII.7" -> "I.4"; "I.7" -> "I.5"; "XIII.7" -> "I.5"; "XIII.7" -> "I.6"; "I.8" -> "I.7"; "XIII.7" -> "I.8"; }

Required for

XIII.17, XIII.18


See Commentary on Proposition XIII.7.