Bevis

Använd att trianglarna är likformiga. Dessa två: Den med röd katet och den med blå katet.
Den röda katetens längd = $\mathrm{BC}-\mathrm{x}$
Den blå katetens längd = $\mathrm{AC}-\mathrm{x}$

$\frac{kort katet}{lång katet} = \frac{\mathrm{x}}{\mathrm{AC}-\mathrm{x}} = \frac{\mathrm{BC}-\mathrm{x}}{\mathrm{x}}$        Nu jobbar du med denna ekvation så  x  blir ensamt i VL