Hubbry Logo
Exterior angle theoremExterior angle theoremMain
Open search
Exterior angle theorem
Community hub
Exterior angle theorem
logo
7 pages, 0 posts
0 subscribers
Be the first to start a discussion here.
Be the first to start a discussion here.
Exterior angle theorem
Exterior angle theorem
Exterior angle theorem
View on Wikipedia
from Wikipedia

The exterior angle theorem is Proposition 1.16 in Euclid's Elements, which states that the measure of an exterior angle of a triangle is greater than either of the measures of the remote interior angles. This is a fundamental result in absolute geometry because its proof does not depend upon the parallel postulate.

In several high school treatments of geometry, the term "exterior angle theorem" has been applied to a different result,[1] namely the portion of Proposition 1.32 which states that the measure of an exterior angle of a triangle is equal to the sum of the measures of the remote interior angles. This result, which depends upon Euclid's parallel postulate will be referred to as the "High school exterior angle theorem" (HSEAT) to distinguish it from Euclid's exterior angle theorem.

Some authors refer to the "High school exterior angle theorem" as the strong form of the exterior angle theorem and "Euclid's exterior angle theorem" as the weak form.[2]

Exterior angles

[edit]

A triangle has three corners, called vertices. The sides of a triangle (line segments) that come together at a vertex form two angles (four angles if you consider the sides of the triangle to be lines instead of line segments).[3] Only one of these angles contains the third side of the triangle in its interior, and this angle is called an interior angle of the triangle.[4] In the picture below, the angles ∠ABC, ∠BCA and ∠CAB are the three interior angles of the triangle. An exterior angle is formed by extending one of the sides of the triangle; the angle between the extended side and the other side is the exterior angle. In the picture, angle ∠ACD is an exterior angle.

Euclid's exterior angle theorem

[edit]

The proof of Proposition 1.16 given by Euclid is often cited as one place where Euclid gives a flawed proof.[5][6][7]

Euclid proves the exterior angle theorem by:

  • construct the midpoint E of segment AC,
  • draw the ray BE,
  • construct the point F on ray BE so that E is (also) the midpoint of B and F,
  • draw the segment FC.

By congruent triangles we can conclude that ∠ BAC = ∠ ECF and ∠ ECF is smaller than ∠ ECD, ∠ ECD = ∠ ACD therefore ∠ BAC is smaller than ∠ ACD and the same can be done for the angle ∠ CBA by bisecting BC.

The flaw lies in the assumption that a point (F, above) lies "inside" angle (∠ ACD). No reason is given for this assertion, but the accompanying diagram makes it look like a true statement. When a complete set of axioms for Euclidean geometry is used (see Foundations of geometry) this assertion of Euclid can be proved.[8]

Invalidity in spherical geometry

[edit]
Small triangles may behave in a nearly Euclidean manner, but the exterior angles at the base of the large triangle are 90°, a contradiction to the Euclid's exterior angle theorem.

The exterior angle theorem is not valid in spherical geometry nor in the related elliptical geometry. Consider a spherical triangle one of whose vertices is the North Pole and the other two lie on the equator. The sides of the triangle emanating from the North Pole (great circles of the sphere) both meet the equator at right angles, so this triangle has an exterior angle that is equal to a remote interior angle. The other interior angle (at the North Pole) can be made larger than 90°, further emphasizing the failure of this statement. However, since the Euclid's exterior angle theorem is a theorem in absolute geometry it is automatically valid in hyperbolic geometry.

High school exterior angle theorem

[edit]

The high school exterior angle theorem (HSEAT) says that the size of an exterior angle at a vertex of a triangle equals the sum of the sizes of the interior angles at the other two vertices of the triangle (remote interior angles). So, in the picture, the size of angle ACD equals the size of angle ABC plus the size of angle CAB.

The HSEAT is logically equivalent to the Euclidean statement that the sum of angles of a triangle is 180°. If it is known that the sum of the measures of the angles in a triangle is 180°, then the HSEAT is proved as follows:

On the other hand, if the HSEAT is taken as a true statement then:

Illustration of proof of the HSEAT

Proving that the sum of the measures of the angles of a triangle is 180°.

The Euclidean proof of the HSEAT (and simultaneously the result on the sum of the angles of a triangle) starts by constructing the line parallel to side AB passing through point C and then using the properties of corresponding angles and alternate interior angles of parallel lines to get the conclusion as in the illustration.[9]

The HSEAT can be extremely useful when trying to calculate the measures of unknown angles in a triangle.

Notes

[edit]

References

[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia

Exterior angle theorem

View on Grokipedia
from Grokipedia
The Exterior Angle Theorem is a fundamental result in Euclidean geometry that describes the relationship between the angles of a triangle. Specifically, it states that the measure of an exterior angle formed by extending one side of a triangle is equal to the sum of the measures of the two non-adjacent (remote) interior angles of the triangle. This theorem holds true for any triangle and provides a key tool for calculating unknown angles without directly measuring them. Originating in , the appears in Euclid's Elements (circa 300 BCE), where it is presented as a to the sum , affirming that the interior s of a total 180 degrees. In Euclid's formulation, an exterior is supplementary to the adjacent interior , and its equality to the sum of the remote interiors follows from parallel line properties and alternate interior s. While a weaker version—that the exterior is greater than each remote interior —applies in neutral geometry (without the parallel postulate), the full equality characterizes exclusively. The theorem's significance extends to practical applications in fields like and , where it aids in designing stable structures by ensuring angle relationships in triangular frameworks, as well as in for determining directions using triangular sightings. It also underpins proofs of related results, such as polygon exterior angle sums and inequalities in triangles, making it a cornerstone for further geometric explorations.

Basic Definitions

Interior Angles in Polygons

An interior of a is the formed inside the by two adjacent sides meeting at a vertex. In , the sum of the interior angles of an n-sided is given by the formula (n−2)×180∘(n-2) \times 180^\circ. This result can be derived by triangulating the , dividing it into n−2n-2 non-overlapping triangles, each contributing a sum of 180∘180^\circ to the total interior angle measure. For example, a triangle (n=3n=3) has interior angles summing to 180∘180^\circ, while a quadrilateral (n=4n=4) has angles summing to 360∘360^\circ. These sums influence the overall shape of the polygon, with regular polygons featuring equal interior angles that determine their symmetry and regularity. Polygons are classified as convex if all interior angles measure less than 180∘180^\circ, ensuring no sides bend inward; otherwise, they are concave, with at least one interior angle exceeding 180∘180^\circ. Exterior angles, formed by extending a side beyond a vertex, are supplementary to the corresponding interior angles.

Exterior Angles and Their Formation

An exterior of a is defined as the formed between one side of the and the extension of an adjacent side, positioned adjacent to an interior at a vertex. This exterior is supplementary to the corresponding interior , meaning their measures sum to 180 degrees, as they form a linear pair on a straight line. To form an exterior angle, one extends a side of the outward beyond a vertex, then measures the between this extension and the adjacent side of the . At each vertex, two exterior angles are possible—one on each side of the extended line—but the conventional choice is the outward-facing for convex polygons, which lies outside the polygon's boundary. This construction ensures the exterior angle captures the "turn" at the vertex when traversing the polygon's perimeter. A key property of exterior angles in any is that their sum equals 360 degrees, regardless of the number of sides. This arises because traversing the entire perimeter of the involves a complete 360-degree , with each exterior representing the incremental turn at a vertex; thus, the total turning must complete one full circle. For illustration, consider a ABC with sides extended at vertex C: extending side BC beyond C forms an exterior between the extension and side AC, adjacent to interior C and measuring 180 degrees minus the measure of C. This setup highlights the exterior 's position without altering the 's interior structure.

Euclid's Exterior Angle Inequality

Statement and Historical Context

The exterior angle theorem, in its original form as an inequality, states that in any , if one of the sides is produced, the exterior angle formed is greater than either of the two remote interior angles. This proposition appears as Book I, Proposition 16 in Euclid's Elements. In modern notation, for a △ABC\triangle ABC with side BCBC extended to point DD, the exterior angle ∠ACD\angle ACD satisfies ∠ACD>∠BAC\angle ACD > \angle BAC and ∠ACD>∠ABC\angle ACD > \angle ABC. This theorem originated in Euclid's Elements, a foundational treatise on geometry composed around 300 BCE in Alexandria. 's work represents a systematic compilation of geometric knowledge from earlier Greek mathematicians, including influences from (c. 408–355 BCE), who contributed to methods of exhaustion and proportion theory, though Book I focuses on basic plane geometry derived from pre-Euclidean sources like those of . Proposition 16 forms part of the initial propositions in Book I, which establish properties of triangles without invoking the parallel postulate, thus belonging to —a body of results valid in both Euclidean and non-Euclidean planes. The theorem plays a crucial role in establishing foundational inequalities for triangles within Euclid's framework. It directly supports subsequent propositions, such as Proposition 18 (that the greater side subtends the greater angle) and the for sides (Propositions 19 and 20), by providing essential angle comparisons that underpin relations between sides and angles. This inequality laid groundwork for later developments in geometric proofs, emphasizing the strict ordering of angles in a triangle and contributing to the axiomatic structure that influenced for over two millennia.

Original Proof and Modern Analysis

In Euclid's Elements, Book I, Proposition 16 establishes the exterior angle inequality through a geometric involving and congruence. Consider triangle ABC with side BC extended to point D, forming exterior angle ACD. To demonstrate that ∠ACD > ∠BAC, bisect AC at E and draw BE, extending it to F such that BE = EF, then draw FC. This creates congruent triangles ABE and CFE (by SAS, since AE = CE, BE = EF, and included vertical angles at E equal), so ∠BAE = ∠ECF and AB = CF. Since FC lies within ∠ACD (with ∠FCD > 0), it follows that ∠ECF < ∠ACD, hence ∠BAC < ∠ACD. A symmetric —bisecting BC at G, drawing AG extended to H such that AG = GH, and drawing HC—demonstrates ∠ACD > ∠ABC using analogous congruence of triangles ABG and CHG, with ∠ABG = ∠HCG < ∠HCD = ∠ACD. This proof relies on the side-angle-side (SAS) congruence criterion (established earlier in Euclid's Elements, Book I, Proposition 4) and careful extension of lines to ensure comparable triangles, emphasizing inequality through comparative angle measures rather than direct summation. From a modern perspective, Euclid's construction contains a subtle gap: it assumes without explicit justification that the auxiliary point F (from the extension beyond the bisection point E) lies in a position that places the ray FC inside the exterior angle, ensuring the inequality direction. This assumption, while intuitively valid, requires additional rigor in contemporary axiomatic systems, such as verifying betweenness or crossbar properties via or Tarski's geometry to confirm point placement. The proof has been formalized and gap-filled using proof assistants like HOL Light and Coq, confirming its correctness under refined axioms. The inequality holds in absolute (or neutral) geometry, encompassing both Euclidean and hyperbolic planes, as it depends only on congruence and order axioms without invoking the parallel postulate; however, it fails in elliptic geometry, where angle sums exceed 180° and exterior angles may not exceed remote interiors. A key insight of the proof is its demonstration of the exterior angle's greater magnitude independently of the interior angle sum theorem (Euclid I.32), prioritizing strict inequality to build foundational results in triangle geometry. For illustration, consider a scalene triangle ABC with interior angles ∠A = 40°, ∠B = 30°, and ∠C = 110°. Extending side BC beyond C to D forms exterior ACD measuring 70° (as adjacent to ∠C on a straight line). Here, 70° > 40° (remote ∠A) and 70° > 30° (remote ∠B), satisfying the inequality; alternatively, extending AB beyond B yields an exterior of 150° > 40° and > 110°.

The Exterior Equality

Statement for Triangles

In a , the measure of an exterior equals the sum of the measures of its two remote interior angles. For example, consider △ABC\triangle ABC where side BCBC is extended beyond CC to point DD, forming the exterior ∠ACD\angle ACD; then ∠ACD=∠BAC+∠ABC\angle ACD = \angle BAC + \angle ABC. This equality is logically equivalent to the interior sum , which states that the measures of the three interior angles of a total 180∘180^\circ. The exterior and its adjacent interior form a linear pair, so their measures sum to 180∘180^\circ; thus, the exterior measure is 180∘180^\circ minus the adjacent interior measure, which equals the sum of the two remote interior angles given the total interior sum. The theorem applies specifically to triangles in Euclidean geometry and requires the parallel postulate for the equality to hold. This differs from Euclid's exterior angle inequality, which asserts only that the exterior angle exceeds each remote interior angle individually. To visualize, picture △ABC\triangle ABC with vertices labeled AA, BB, and CC, where side BCBC extends to DD. Mark interior angles ∠A≈40∘\angle A \approx 40^\circ, ∠B≈60∘\angle B \approx 60^\circ, ∠C≈80∘\angle C \approx 80^\circ, and the exterior ∠ACD≈100∘\angle ACD \approx 100^\circ, confirming 100∘=40∘+60∘100^\circ = 40^\circ + 60^\circ.

Proof Using Auxiliary Lines

To prove the exterior angle equality theorem for a triangle, consider triangle ABC with side BC extended beyond C to point D, forming the exterior angle ∠ACD at vertex C. This theorem states that the measure of ∠ACD equals the sum of the measures of the two remote interior angles ∠BAC and ∠ABC. The proof proceeds by first establishing that the interior angles of triangle ABC sum to 180° using an auxiliary line parallel to BC, then deriving the exterior angle equality from the linear pair formed by the exterior and adjacent interior angles. Draw line m through vertex A parallel to side BC. Since m is parallel to BC, consider lines AB and AC as transversals to these parallel lines. With AB as transversal, the alternate interior angles theorem implies that the angle formed between AB and m at A (denoted ∠EAB, where E lies on m) equals ∠ABC, as these angles lie on opposite sides of the transversal between the parallels. Similarly, with AC as transversal, the alternate interior angles theorem implies that the angle formed between AC and m at A (denoted ∠EAC, where E is the same point or aligned accordingly) equals ∠ACB. These equalities follow from the corresponding angles postulate for parallel lines cut by a transversal. The angles ∠EAB, ∠BAC, and ∠EAC at point A lie adjacent along the straight line m, forming a linear pair that sums to 180°. Substituting the equalities gives ∠ABC + ∠BAC + ∠ACB = 180°. Since ∠ACD and ∠ACB form a linear pair along the straight line BCD (summing to 180°), it follows that ∠ACD = 180° - ∠ACB. Replacing 180° with the interior angle sum yields ∠ACD = ∠BAC + ∠ABC. This equates the exterior angle to the sum of the remote interior angles using properties of and transversals. This proof depends on the Euclidean parallel postulate, which guarantees the existence and uniqueness of the auxiliary line m and the relationships with transversals; without it, the equalities and supplementary sums may not hold, as seen in non-Euclidean geometries.

Extensions and Applications

To Convex Polygons

The extension of the exterior theorem to convex polygons generalizes the concept beyond , where the focus shifts from equality at a single vertex to the collective properties of all exterior angles. For any convex polygon with nn sides, one exterior is formed at each vertex by extending a side, and these exterior angles represent the turning angles required to traverse the polygon's boundary. Unlike the case, where an exterior equals the sum of the two non-adjacent interior angles, the equality does not apply directly to individual vertices in polygons with more sides; however, the sum of one exterior at each vertex is always 360∘360^\circ, regardless of the polygon's specific shape or irregularity, provided it remains convex. This sum relates directly to the interior angles, as each exterior angle is supplementary to its corresponding interior angle, measuring 180∘180^\circ minus the interior angle at that vertex. Consequently, the total sum of the interior angles can be derived as (n−2)×180∘(n-2) \times 180^\circ, leading to calculations of average interior angles by subtracting the exterior angle (360∘/n360^\circ / n) from 180∘180^\circ. This relationship facilitates understanding the distribution of angles in convex polygons, enabling assessments of or deviation from regularity. For example, in a convex quadrilateral (n=4n=4), the individual exterior angles do not each equal the sum of non-adjacent interior angles as in a , but their total of 360∘360^\circ still holds, allowing analysis of how irregular interiors—such as in a versus a —affect overall angular balance without altering the exterior sum. In regular convex polygons, this simplifies further: each exterior angle measures exactly 360∘/n360^\circ / n, which connects to the interior angle formula of ((n−2)×180∘)/n((n-2) \times 180^\circ) / n, providing a direct link for constructing symmetric shapes like pentagons or hexagons.

In Non-Euclidean Geometries

The exterior angle theorems of , particularly the inequality stating that an exterior angle is greater than each remote interior angle and the equality stating that it equals their sum, rely fundamentally on the parallel postulate. In non-Euclidean geometries, where this postulate fails, these relationships modify or break down, reflecting the altered properties of angle sums in triangles. , which encompasses both Euclidean and hyperbolic geometries without assuming the parallel postulate, preserves the exterior angle inequality but not the equality. In , the exterior angle inequality holds as in neutral geometry: an exterior angle exceeds each of its remote interior angles. However, the equality theorem fails dramatically; instead, the exterior angle exceeds the sum of the remote interior angles. This arises because the sum of the interior angles in any is less than 180∘180^\circ, so if the interior angle adjacent to the exterior is α\alpha, the exterior angle measures 180∘−α180^\circ - \alpha, while the sum of the remote interiors is less than 180∘−α180^\circ - \alpha. For instance, in a with interior angles of approximately 50∘50^\circ, 60∘60^\circ, and 60∘60^\circ (summing to less than 180∘180^\circ), extending one side yields an exterior angle greater than the sum of the two remote 60∘60^\circ angles. In spherical and elliptic geometries, both theorems fail due to the absence of parallel lines and the fact that triangle angle sums exceed 180∘180^\circ. Here, the exterior angle is less than the sum of the remote interiors, as the larger overall angle sum implies the remotes total more than 180∘−α180^\circ - \alpha for adjacent interior α\alpha. Moreover, the inequality does not strictly hold; the exterior can equal or even fall short of a remote interior in certain cases. A classic counterexample is an equilateral spherical triangle with 90∘90^\circ interior angles (possible on a sphere via great circles from the to points on the ), where extending a side produces an exterior of 90∘90^\circ, equal to each remote interior rather than greater, and far less than their 180∘180^\circ sum. Elliptic geometry, which projects spherical geometry onto a plane by identifying antipodal points, exhibits similar deviations, with no leading to systematically larger interior angles and thus smaller exteriors relative to remote sums. These modifications were explored in the development of non-Euclidean geometries, beginning with attempts to prove Euclid's . In the , Gerolamo Saccheri investigated hypotheses of acute and obtuse angles in quadrilaterals, deriving properties inconsistent with Euclidean assumptions without realizing their consistency in ; his work inadvertently tested foundational theorems like those on exterior angles. Full recognition came in the through , , and , who systematically examined angle relationships in geometries without parallels, confirming the exterior angle theorems' dependence on the Euclidean .

Practical Applications

The exterior angle theorem finds practical utility in triangle solving within fields like and , where it enables the determination of missing interior angles from a measurable exterior angle. For instance, surveyors apply the theorem to calculate land plot boundaries by extending sides of triangular parcels and using exterior measurements to infer interior angles without direct access to all vertices, facilitating accurate area computations. In architecture, the theorem aids in designing structural elements such as roof trusses, where an exterior angle at the eave can be used to verify or compute the interior pitch angles of triangular roof sections, ensuring stability and material efficiency. In educational settings, the exterior angle theorem plays a central role in high curricula, serving as a foundational tool for deriving the interior angle sum of and solving problems with incomplete diagrams. Students typically encounter example problems involving a with one exterior given alongside partial interior measures, requiring application of the to find unknowns, which reinforces and angle relationships. This approach aligns with standards such as those in New York State's Next Generation Mathematics Learning Standards, where the is used to prove and apply properties of in congruence and similarity units. Advanced applications extend the theorem's principles to and . In , particularly for GPS systems on Earth's surface, the theorem applies in local Euclidean approximations for triangular path calculations, though spherical adjustments are necessary due to non-Euclidean limitations where the theorem does not hold directly. In , the concept underpins rendering by informing turn angles at vertices, allowing algorithms to compute exterior turns for smooth 3D model traversal and paths. Additionally, the theorem relates to alternate interior angles in transversal scenarios, such as road design, where parallel lane markings intersected by a crossroad use similar angle equalities to ensure safe geometries.

References

  1. https://do-server1.sfs.uwm.edu/upload/N84Q317792/pdf/N95Q172/geometry__sol__study-guide-triangles.pdf
  2. https://new.math.uiuc.edu/public403/greekgeometry/intro.html
  3. https://homepages.gac.edu/~hvidsten/geom-text/web-chapters/neutral.pdf
  4. https://irc.rice.edu/?movies=exterior-angle-theorem-and-triangle-sum-theorem-task-cards-pdf
  5. https://sites.math.washington.edu/~king/coursedir/m444a03/notes/10-03-Inequalities-Triangles.html
  6. https://www.math.dartmouth.edu/~matc/math5.geometry/unit5/unit5.html
  7. https://www.cs.jhu.edu/~misha/Spring16/02.pdf
  8. https://mathresearch.utsa.edu/wiki/index.php?title=Definition_of_Polygons
  9. https://mathresearch.utsa.edu/wiki/index.php?title=Lines_%26_Angles
  10. https://mathresearch.utsa.edu/wiki/index.php?title=Properties_of_Polygons_%28Sides%2C_Angles_and_Diagonals%29
  11. https://www.hufsd.edu/assets/pdfs/academics/geometry_text/chapter07.pdf
  12. https://www.math.uh.edu/~irina/MATH1312/1312Notes/1312S25_notes.pdf
  13. http://www.geom.uiuc.edu/~dwiggins/conj09.html
  14. http://aleph0.clarku.edu/~djoyce/elements/bookI/propI16.html
  15. https://www.maths.tcd.ie/~dwilkins/Courses/MAU23302/EuclidStudyNotes/StudyNote_EuclidElementsBk01Prop16.pdf
  16. https://mathshistory.st-andrews.ac.uk/Biographies/Euclid/
  17. https://new.math.uiuc.edu/public402/euclidsgeometry/elements.html
  18. https://arxiv.org/pdf/1710.00787
  19. https://www.math.cmu.edu/~cargue/arml/archive/19-20/geometry-jv-01-12-20.pdf
  20. https://online.math.uh.edu/MiddleSchool/Modules/Module_4_Geometry_Spatial/Content/AxiomaticSystems_Final.pdf
  21. https://new.math.uiuc.edu/public402/euclidsgeometry/parallel.html
  22. https://mathworld.wolfram.com/ExteriorAngleTheorem.html
  23. https://www.khanacademy.org/math/geometry/hs-geo-congruence/hs-geo-congruence-theorems/v/proof-sum-of-measures-of-angles-in-a-triangle-are-180
  24. https://www.cut-the-knot.org/triangle/pythpar/AnglesInTriangle.shtml
  25. https://faculty.bard.edu/bloch/math107_notes.pdf
  26. https://www.ms.uky.edu/~lee/ma241fa15/class.pdf
  27. https://sites.math.rutgers.edu/~ctw/msgeom.pdf
  28. https://cyber.montclair.edu/HomePages/22F7M/500010/Interior_Angles_And_Exterior_Angles.pdf
  29. https://www.maths.gla.ac.uk/wws/cabripages/hyperbolic/hsegments.html
  30. https://www.ms.uky.edu/~droyster/courses/spring02/classnotes/chapter04.pdf
  31. https://circles.math.ucla.edu/circles/lib/data/Handout-4484-4377.pdf
  32. https://www.math.uci.edu/~ndonalds/math161/hyper.pdf
  33. https://pi.math.cornell.edu/~mec/Winter2009/Mihai/section4.html
  34. http://math.ups.edu/~bryans/Current/Journal_Spring_2002/300_EBarrat_2002.htm
  35. https://moe.stuy.edu/Resources/V94N5V/0S9016/ExteriorAngleTheoremWorksheet.pdf
  36. https://old.ntinow.edu/browse/kc3lv6/4S9090/WorksheetTriangleSumAndExteriorAngleTheorem.pdf
  37. https://conference.auis.edu/Fulldisplay/60SdH7/139385/triangles_and_angle_sums.pdf
  38. https://www.nysed.gov/sites/default/files/programs/standards-instruction/nys-math-standards-geometry-crosswalk.pdf
  39. https://www.jmap.org/htmlstandard/G.CO.C.10.htm
  40. https://info.porterchester.edu/same-side-exterior-angles-definition
  41. https://www.varsitytutors.com/hotmath/hotmath_help/topics/alternate-exterior-angles-theorem
Add your contribution
Related Hubs
User Avatar
No comments yet.