### This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at https://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.

 What if applet does not run?

Explanation 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.

### This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at https://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.

 What if applet does not run?

We make two observations:

1. Since CKFL is a square, the diagonal CF is the bisector of angle C.

2. 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,

 BK / BF = BC / AB,

or
 BC / BK = AB / BF.

From which

 (1) CK / BK = AF / BF.

But, in DABC, CF is the bisector of angle C, so that F divides AB in the ratio of the legs:

 (2) AF / BF = AC / BC.

Now since triangles ABC and BCD are similar,

 (3) AC / BC = CD / BD.

Using transitivity on (1-3), we obtain the proportion

 CK / BK = CD / BD,

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

1. V. V. Prasolov, Problems in Planimetry, v 1, Nauka, Moscow, 1986, in Russian 