Animated Solution for Mathematics - Straight Lines: Let $ABC$ be a triangle with $AB=AC$. If $D$ is the midpoint of $BC$, $E$ is the foot of the perpendicular drawn from $D$ to $AC$ and $F$ the mid-point of $DE$, prove that $AF$ is perpendicular to $BE$.

A Journey into Geometry

My dear student, welcome to a problem that might look like a simple geometry puzzle, but is actually a masterclass in the power of coordinate geometry. We are tasked with proving that $AF\perp BE$ in an isosceles triangle.

While you could spend hours hunting for similar triangles or cyclic quadrilaterals, we are going to take a more direct, powerful path. We are going to map this triangle onto the Cartesian plane.

The Symmetry of the Setup

Imagine standing on the base $BC$ of our triangle. Because $AB=AC$, the triangle is perfectly symmetric. This symmetry is a gift!

By placing the midpoint $D$ at the origin $(0,0)$, we align the triangle with the x and y axes. This makes $B$ sit at $(-a,0)$ and $C$ at $(a,0)$. The vertex $A$, sitting on the y-axis, becomes $(0,h)$.

Suddenly, the abstract geometry is grounded in numbers. We have defined our world.

The Hunt for Point $E$

Our next objective is to find $E$, the foot of the perpendicular from $D$ to $AC$. To do this, we first need the equation of the line $AC$.

Using the two-point form, we derive the equation:

Now, we use the standard formula for the foot of the perpendicular from the origin to a line $Ax+By+C=0$, which is:

Substituting our values, we find the coordinates of $E$ to be:

It looks intimidating, but hold your nerve! This is just algebra, and algebra is your servant.

The Midpoint $F$

The problem defines $F$ as the midpoint of $DE$. Since $D$ is $(0,0)$, this is the easiest step of the entire journey.

We simply take the coordinates of $E$ and divide them by two. We get:

We are now armed with the coordinates of all the points we need.

The Climax

We need to prove $AF\perp BE$. The condition for perpendicularity is that the product of the slopes must be $-1$.

Let $m_1$ be the slope of $AF$ and $m_2$ be the slope of $BE$. Calculating $m_1$ using $A(0,h)$ and $F$, we get:

Calculating $m_2$ using $B(-a,0)$ and $E$, we get:

Now, for the moment of truth: multiply them.

Everything cancels out! The numerator of one matches the denominator of the other, and vice versa. We are left with exactly $-1$.

The proof is complete. You see, my friend, when you approach a problem with a systematic mindset, even the most daunting geometric proofs collapse into simple, beautiful arithmetic. Keep practicing this, and you will find that no problem is too difficult to conquer.