Square in a Right Triangle: What is this about?
A Mathematical Droodle
Explanation
Copyright © 1996-2008 Alexander Bogomolny
The applet suggests the following statement:
| |
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 angle 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.
|
We make two observations:
Since CKFL is a square, the diagonal CF is the bisector of angle C.
Since CD is the altitude to the hypotenuse, triangles ABC, BCD and ACD are similar.
Further, the sides of the square are parallel to the legs of DABC. It follows that, say,
or
From which
But, in DABC, CF is the bisector of angle C, so that F divides AB in the ratio of the legs:
Now since triangles ABC and BCD are similar,
Using transitivity on (1-3), we obtain the proportion
which tells us that DK is the bisector of angle D. Triangle ACD is treated similarly. The argument is reversible.
(This proof is available as a fill-it-in outline.)
References
- V. V. Prasolov, Problems in Planimetry, v 1, Nauka, Moscow, 1986, in Russian
Copyright © 1996-2008 Alexander Bogomolny
|