A proof related to geometric mean. Can anyone solve this problem??


*

*If a square is inscribed into a right triangle in such a way that one side of the square lies on the hypotenuse, then this side is the geometric mean between the two remaining segments of the hypotenuse.


The definition of the geometric mean in my text book is this.


*

*The geometric mean between two segments $a$ and $c$ is the third segment $c$ such that $a:c=c:b.$


I drew this figure.
So I tried to show that the angle ACE is right. Then, there is theorem that says $CD$ is geometric mean of $AD$ and $DE$ in $\triangle ACE.$ Then, I will get $CD^2 = AD*DE$ and $FE^2 = DE*EA'.$ If I multiply this two, then I get $DE^4 = AD*EA'*DE^2 \Rightarrow DE^2=AD*EA'$ because $CD=FE=DE.$ But I cannot show that $\angle ACE=90^{\circ}.$ Can anyone help me with this or give other proof?? thanks.

Taking the side of the square as $s$, note that $s\cot A=AD$ and $s\cot A'=A'E$ and $\cot A\cdot \cot A'=\cot A\tan A=1$. Thus, $AD\cdot A'E=s\cot A\cdot s\cot A'=s^2$, which proves the proposition. 
You can also do this without invoking trigonometric functions, since all we basically used here was similarity.
