2010 USAMO Problems/Problem 4
Solution
We know that angle , as the other two angles in triangle
add to
. Assume that only AB, BC, BI, and CI are integers. Using the Law of Cosines on triangle BIC,
. Observing that
and that
, we have
Since the right side of the equation is a rational number, the left side (i.e. ) must also be rational. Obviously since
is irrational, this claim is false and we have a contradiction. Therefore, it is impossible for
to all be integers, which invalidates the original claim that all six lengths are integers, and we are done.