Lemma 1. If isosceles triangles
and
have right angles at
, then
and
are perpendicular and congruent. See Figure 1.
Lemma 2. If
and
are the centers of squares that lie on sides
of
, built towards
the exterior of
, and if
is the midpoint of the third side, then
is isosceles
and has a right angle at
. See Figure 2.