Proof of the Theorem: Similarity of Equiangular Triangles

Statement and Context of the Theorem of Equiangular Triangles

The fundamental theorem regarding equiangular triangles states that when two triangles possess equal corresponding angles, they are inherently similar. Similarity in geometric terms implies that the triangles have the same shape, which is mathematically confirmed by checking the ratio of their corresponding sides. If the angles are equal, then the lengths of the sides opposite those angles must be proportional to each other. This theorem is a cornerstone of Euclidean geometry, facilitating the solving of complex architectural, engineering, and mathematical problems involving scale and perspective.

Geometric Setup: Given and Required to Prove (RTP)

In the provided geometric proof, we define two triangles: △ABC\triangle ABC and △DEF\triangle DEF.

We are given the condition that these triangles are equiangular. This is expressed through the following equalities of their internal angles:

  1. A^=D^\hat{A} = \hat{D}
  2. B^=E^\hat{B} = \hat{E}
  3. C^=F^\hat{C} = \hat{F}

Based on these conditions, the Required to Prove (RTP) is the proportionality of the sides of the triangles, specifically expressed as the following ratio equality: ABDE=ACDF=BCEF\frac{AB}{DE} = \frac{AC}{DF} = \frac{BC}{EF}

The Construction Phase

To begin the analytical proof, an auxiliary construction must be performed on the larger triangle, △ABC\triangle ABC. We mark off specific points to create a smaller, comparable triangle within it.

We mark point XX on the line segment ABAB and point YY on the line segment ACAC such that the following conditions are met by construction:

  1. The length of segment AXAX is equal to the length of segment DEDE (AX=DEAX = DE).
  2. The length of segment AYAY is equal to the length of segment DFDF (AY=DFAY = DF).

After marking these points, we construct the line segment XYXY by joining points XX and YY. This creates an internal triangle △AXY\triangle AXY.

Proving Congruency Between Triangles AXY and DEF

Using the components established in the construction phase and the given information, we compare △AXY\triangle AXY and △DEF\triangle DEF to establish congruence.

The proof follows the Side-Angle-Side (SAS) postulate:

  1. AX=DEAX = DE (established by construction)
  2. AY=DFAY = DF (established by construction)
  3. A^=D^\hat{A} = \hat{D} (given in the initial problem statement)

Because two sides and the included angle of △AXY\triangle AXY are equal to the corresponding two sides and the included angle of △DEF\triangle DEF, we conclude that △AXY≡△DEF\triangle AXY \equiv \triangle DEF (congruent by SAS).

Establishing Parallelism Through Corresponding Angles

From the congruence of △AXY\triangle AXY and △DEF\triangle DEF, it logically follows that the corresponding angles within those triangles are equal. Specifically, the angle AXY^\hat{AXY} must be equal to the angle E^\hat{E}.

However, the problem statement provided that E^=B^\hat{E} = \hat{B}. By the transitive property of equality, since AXY^=E^\hat{AXY} = \hat{E} and E^=B^\hat{E} = \hat{B}, it must be true that AXY^=B^\hat{AXY} = \hat{B}.

In the context of the diagram, the angles AXY^\hat{AXY} and B^\hat{B} are corresponding angles created by a transversal line (ABAB) intersecting the lines XYXY and BCBC. Since these corresponding angles are equal, the lines themselves must be parallel. Thus, we have established that XY∥BCXY \parallel BC.

Final Proof of Side Proportionality

Having established that XY∥BCXY \parallel BC, we apply the Geometric Theorem which states that a line drawn parallel to one side of a triangle divides the other two sides proportionally. In △ABC\triangle ABC, this allows us to state: ABAX=ACAY\frac{AB}{AX} = \frac{AC}{AY}

We then reference our initial construction where we defined AX=DEAX = DE and AY=DFAY = DF. By substituting these known values into the ratio, we arrive at: ABDE=ACDF\frac{AB}{DE} = \frac{AC}{DF}

To complete the proof for all three sides of the triangles, the same process is repeated. By marking off equal lengths on the segments BABA and BCBC instead of ABAB and ACAC, it can similarly be shown that: ABDE=BCEF\frac{AB}{DE} = \frac{BC}{EF}

Through the combination of these derived ratios, the final synthesized conclusion is reached, proving that for equiangular triangles: ABDE=ACDF=BCEF\frac{AB}{DE} = \frac{AC}{DF} = \frac{BC}{EF}

This confirms that the triangles △ABC\triangle ABC and △DEF\triangle DEF are similar.