First, a result needed below will be presented. Consider the following figure.

E *

A *

* * * B D C

ABC is a given triangle and AD is the bisector of its angle at A. EC is constructed parallel to AD and intersects the line through AB at E.

It is to be shown that BD is to DC as BA is to AC (the Angle Bisector Theorem).

BD is to DC as BA is to AE. The angles BAD, DAC, AEC, and ACE are all equal which makes triangle AEC isoceles. Thus AC=AE, and the result is proved.

Now consider the right triangle with hypotenuse c and sides a and b. Using the Angle Bisector Theorem just proved above, the squares of the lengths of the bisectors of the angles that are not the right angle, when multiplied together, yield

But it is easily shown that 2*(c-a)*(c-b)=(a+b-c)^2.

Hence the product of the lengths of the bisectors of the angles that are not the right angle is given by

c * (a + b - c) * sqrt(2).

This quantity is irrational whenever the right triangle has integer (or rational) sides.Since no integer is irrational, but the product of integers is always an integer, we must conclude that at least one of the bisectors of the angle that is not the right angle is not an integer. As David Shin has pointed out, the bisector of the right angle is never an integer. Thus the assertion of the problem has been established.

The 28,96,100 right triangle has an angle bisector of length 35, by the way.