MR-685 / 5. problem

In the isosceles right triangle ABC, the bisector of the acute angle B is constructed, which intersects the leg AC at the point M. Squares are constructed over the lengths AM and MC, as over the sides. Prove that the area of one square is twice the area of another.

AxAy=x2y2

Based on angle bisector theorem:

x:b=y:a

ax=by

xy=ba

xy2=ba2

x2y2=b2a2

AxAy=x2y2=b2a2

a2=b2+b2

a2=2b2

AxAy=x2y2=b2a2=1·b22·b2

AxAy=12