ABC is a triangle with AB = AC. D is any point on the side BC. E and F are points on the side AB and

Q: Wait, why is $AEDF$ a parallelogram? Does that help?

Yes, it is the key! By definition, $DE \parallel AF$ (since $DE \parallel AC$) and $DF \parallel AE$ (since $DF \parallel AB$). A quadrilateral with two pairs of parallel opposite sides is a parallelogram. This implies $DF = AE$ and $DE = AF$. However, the real magic happens when we look at the smaller triangles $\triangle DEB$ and $\triangle DFC$.

Q: Why are $\triangle DEB$ and $\triangle DFC$ isosceles?

Great observation. In $\triangle ABC$, since $AB = AC$, we know $\angle B = \angle C$. Because $DF \parallel AB$, $\angle FDC = \angle B$ (corresponding angles). Thus, $\angle FDC = \angle C$, making $\triangle DFC$ isosceles with $DF = CF$. Similarly, $DE \parallel AC$ implies $\angle EDB = \angle C = \angle B$, making $\triangle DEB$ isosceles with $DE = BE$.

Q: Does the position of point $D$ on $BC$ change the result?

Not at all! The beauty of this theorem is that it holds true regardless of where $D$ is placed on the segment $BC$. As $D$ moves, the lengths of the individual segments change, but their sum remains invariant, always equal to the sum of the two equal sides of the isosceles triangle.

Question

$ABC$ is a triangle with $AB = AC$. $D$ is any point on the side $BC$. $E$ and $F$ are points on the side $AB$ and $AC$, respectively, such that $DE$ is parallel to $AC$, and $DF$ is parallel to $AB$. Prove that $DF + FA + AE + ED = AB + AC$.

Sigma Percentile · Accepted Answer

### The Hidden Symmetry of the Isosceles Triangle

Geometry often feels like a puzzle where the pieces are scattered, waiting for us to find the right connection. Today, we are looking at a beautiful property of the isosceles triangle.

Imagine you have an isosceles triangle $	riangle ABC$ where $AB = AC$. You pick any point $D$ on the base $BC$.

From this point, you draw two lines: one parallel to $AC$ meeting $AB$ at $E$, and another parallel to $AB$ meeting $AC$ at $F$. We want to prove that the sum of the segments $DF + FA + AE + ED$ is exactly $AB + AC$.

### Phase 1: The Power of Parallel Lines

Let us start by looking at the angles. Since $	riangle ABC$ is isosceles with $AB = AC$, we know that the base angles are equal: $\angle B = \angle C$.

Now, consider the line $DF$ which is parallel to $AB$. When we look at the transversal $BC$, the angle $\angle FDC$ and the angle $\angle B$ are corresponding angles. Therefore, $\angle FDC = \angle B$.

Since we already know $\angle B = \angle C$, it follows that $\angle FDC = \angle C$. In $	riangle DFC$, we have two equal angles, which means the sides opposite to them must be equal. Thus, $DF = CF$.

### Phase 2: The Second Mirror Image

We can apply the exact same logic to the other side of the triangle. We are given that $DE \parallel AC$.

Again, using $BC$ as a transversal, we find that $\angle EDB$ corresponds to $\angle C$. Since $\angle C = \angle B$, we conclude that $\angle EDB = \angle B$.

Now, look at $	riangle DEB$. It has two equal angles, making it an isosceles triangle as well. This tells us that $DE = BE$.

### Phase 3: The Final Summation

Now, let us look at the expression we need to evaluate: $LHS = DF + FA + AE + ED$. We have already proven that $DF = CF$ and $ED = BE$.

Let us substitute these into our expression:

$$LHS = CF + FA + AE + BE$$

Look closely at the sides of the triangle. The segment $CF$ plus the segment $FA$ is simply the entire side $AC$. Similarly, the segment $AE$ plus the segment $BE$ is the entire side $AB$.

Therefore, our expression simplifies to:

$$LHS = (CF + FA) + (AE + BE) = AC + AB$$

And there it is! The sum of the segments $DF + FA + AE + ED$ is exactly **$AB + AC$**.

### The Takeaway

This problem is a wonderful reminder that in geometry, parallel lines are not just lines; they are bridges that transfer properties from one part of a figure to another.

By recognizing that the parallel lines created smaller isosceles triangles, we were able to transform a complex sum into a simple addition of the triangle's sides. Keep looking for these symmetries—they are the secret language of mathematics.

Visualized Solution

Visualizing the Problem Setup

Property of Isosceles Triangle $A B C$

Using Parallel Lines $D F ∥ A B$

Establishing $D F = C F$

Using Parallel Lines $D E ∥ A C$

Establishing $D E = B E$

Setting up the Sum Expression

Substituting the Equal Segments

Final Simplification to $A B + A C$

Key Takeaway and Summary

The Sigma Insight: Properties of Triangles

The Hidden Symmetry of the Isosceles Triangle

Phase 1

Phase 2

Phase 3

The Takeaway

Similar Questions

$A B C$ is a triangle. $D$ is the middle point of $B C$ . If $A D$ is perpendicular to $A C$ , then prove that $cos A cos C = \frac{2 ( c ^{2} - a ^{2} )}{3 a c}$ .

$A B C$ is a triangle with $∠ B$ greater than $∠ C$ . $D$ and $E$ are points on $B C$ such that $A D$ is perpendicular to $B C$ and $A E$ is the bisector of angle $A$ . Complete the relation $∠ D A E = \frac{1}{2} [(\dots) - ∠ C]$

With usual notation, if in a triangle $A B C$ ; $\frac{b + c}{11} = \frac{c + a}{12} = \frac{a + b}{13}$ , then prove that $\frac{c o s A}{7} = \frac{c o s B}{19} = \frac{c o s C}{25}$ .

If $Δ$ is the area of a triangle with side lengths $a, b, c$ , then show that $Δ \leq \frac{1}{4} (a + b + c) ab c$ . Also show that the equality occurs in the above inequality if and only if $a = b = c$ .

$A B C$ is a triangle, $P$ is a point on $A B$ , and $Q$ is point on $A C$ such that $∠ A QP = ∠ A B C$ . Complete the relation $\frac{area of Δ A P Q}{area of Δ A B C} = \frac{( \dots )}{A C ^{2}}$

In $Δ A B C$ , internal angle bisector of $∠ A$ meets side $B C$ in $D$ . $D E ⊥ A D$ meets $A C$ in $E$ and $A B$ in $F$ . Then

If in a $Δ A B C$ $a cos^{2} (\frac{C}{2}) + c cos^{2} (\frac{A}{2}) = \frac{3 b}{2}$ , then the sides $a, b$ and $c$

If in a triangle $A B C$ , $cos A cos B + sin A sin B sin C = 1$ , Show that $a : b : c = 1 : 1 : 2$ .

Visualized Solution

Visualizing the Problem Setup

Property of Isosceles Triangle .math-text-wrapper .katex { font-size: 1.05em !important; } .math-text-wrapper .katex-display { margin: 1rem 0 !important; } ABC

Using Parallel Lines .math-text-wrapper .katex { font-size: 1.05em !important; } .math-text-wrapper .katex-display { margin: 1rem 0 !important; } DF∥AB

Establishing .math-text-wrapper .katex { font-size: 1.05em !important; } .math-text-wrapper .katex-display { margin: 1rem 0 !important; } DF=CF

Using Parallel Lines .math-text-wrapper .katex { font-size: 1.05em !important; } .math-text-wrapper .katex-display { margin: 1rem 0 !important; } DE∥AC

Establishing .math-text-wrapper .katex { font-size: 1.05em !important; } .math-text-wrapper .katex-display { margin: 1rem 0 !important; } DE=BE