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.
Based on angle bisector theorem: