Dynamic Geometry Software. Step-by-Step construction, Manipulation, and animation
Draw squares ABDE and BCFG on sides AB and BC of a triangle ABC. Then the midpoint M of EF is independent of B and the triangle AMC is an isosceles right triangle.
Continue reading at:
gogeometry.com/geometry/bottema_theorem_triangle_square.htm