Може и без това уравнение
$\angle$ $ACB=\alpha$, $\angle$ $BEC=90^\circ$, $\angle$ $BNC=90^\circ$
Лесно се доказва, че $S^2_{BEC}=$ $S_{ABC}.S_{HBC}$.
В [tex]\triangle[/tex] $ADC$ $tg\alpha=\frac{AD}{CD}$
В [tex]\triangle[/tex] $HDB$ $tg\alpha=\frac{BD}{HD}$
Приравняваме и получаваме $BD.CD=AD.HD$, но $ED^2=BD.CD=>ED^2=AD.HD$ Умножаваме двете страни по $\frac{BC^2}{4}$ и получаваме,че
$S^2_{BEC}=$ $S_{ABC}.S_{HBC}$.
Оттук следва, че $EC^2.EB^2=BN.2.BC.HD (*)$
В [tex]\triangle[/tex] $HDB$ $tg\alpha=\frac{BD}{HD}$
В [tex]\triangle[/tex] $NBC$ $tg\alpha=\frac{BN}{NC}$ и приравнявайки двете равенства, получаваме $HD=\frac{BD}{BN}$ заместваме в $(*)$
$EC^2.EB^2=2.BC.BD (**)$
Сега да разгледаме $\triangle$ $EBD$.
$EB^2=ED^2+BD^2$, но от $\triangle$ $BEC$ имаме, че $ED^2=BD.CD=>EB^2=BD(CD+BD)=BD.BC=EB^2$
Последното заместваме в $(**)$ и получаваме $EC^2.EB^2=2.EB^2=>EC^2=2=>EC=\sqrt{2}$