Problem:
An isosceles right triangle has area . Points , , are chosen on , , respectively such that is also an isosceles right triangle. Find the smallest possible area of .
Proposed by: Yuan Yao
Problem:
An isosceles right triangle has area . Points , , are chosen on , , respectively such that is also an isosceles right triangle. Find the smallest possible area of .
Proposed by: Yuan Yao
Solution:
Without loss of generality, suppose that is the hypotenuse.
If is the right angle, then must be the midpoint of . To prove this, let and be the feet from to and . Since , we have so
Hence is equidistant from and so it is the midpoint of . Then the minimum area is achieved by minimizing ; this occurs when is perpendicular to . The triangle then becomes the medial triangle of , so its area is .
If is not the right angle, without loss of generality, let the right angle be . Place this triangle in the complex plane such that is the origin, , and .
Now since is on the real axis and is on the imaginary axis, and , and we can obtain by a degree counterclockwise rotation of around : this evaluates to . For to be on , the only constraint is to have .
To minimize the area, we minimize
which has a minimum of at . Since this is between and , this is indeed a valid configuration.
Finally, we take the smallest area of .