In DABC angle C is right; F lies on the hypotenuse AB, and K and L on the legs BC and AC such that CKFL is a square. Let CD be the altitude to AB. Then DK and DL are angles bisectors in triangles BCD and ACD.
The converse is also true. If CD is the altitude and DK and DL angle bisectors as before, then CKFL is a square.
In DABC angle C is right; F lies on the hypotenuse AB, and K and L on the legs BC and AC such that CKFL is a square. Let CD be the altitude to AB. Then DK and DL are angles bisectors in triangles BCD and ACD.
The converse is also true. If CD is the altitude and DK and DL angle bisectors as before, then CKFL is a square.
(In the applet below, click on the underlined omitted expressions. See what happens.)
