Given an isosceles right-triangle $\triangle ABC$ with 3 squares on the hypotenuse, find the area of the largest square.

contest-matheuclidean-geometrygeometrytrianglestrigonometry

As the title suggests, the question is to solve for the area of the largest square in the following figure given the area of 2 smaller ones. This is a pretty fun problem and I want to see if there are any more ways to solve it, such as with trigonometry. As always, I'll post my own approach as an answer below!
ni

Best Answer

The large square's area is always the sum of the other two squares' areas.

enter image description here

Say $\triangle ABC$ is our isosceles right triangle, with right angle at $A$. $D$ and $E$ are on hypotenuse $BC$, and $\angle DAE$ measures $45^\circ$. Reflect $C$ across line $AD$ to find point $F$ — that is, $\angle CAD = \angle DAF$ and $AC=AF$. Then

$$ 90^\circ = \angle CAB = \angle CAD + \angle DAE + \angle EAB = \angle CAD + \angle EAB + 45^\circ $$ $$ 45^\circ = \angle CAD + \angle EAB $$ $$ 45^\circ = \angle DAE = \angle DAF + \angle FAE $$

Since by construction $\angle CAD = \angle DAF$, this gives $\angle EAB = \angle FAE$. We then have (SAS) two congruent triangle pairs, $\triangle ACD \cong \triangle AFD$ and $\triangle ABE \cong \triangle AFE$.

The congruences give $\angle DFA = \angle DCA = 45^\circ$ and $\angle AFE = \angle ABE = 45^\circ$, so $\angle DFE = \angle DFA + \angle AFE = 90^\circ$, and $\triangle DEF$ is a right triangle. By the Pythagorean theorem, $DF^2+EF^2=DE^2$. By the congruent triangles again, $CD=DF$ and $BE=EF$. Finally,

$$ CD^2+BE^2=DE^2 $$