Maths Olympiad Prep

Library / /574 of 740

, 2018

Geometry Difficulty 5.2 AIME, harder Prove it United States

Problem:

An isosceles right triangle ABCABC has area 11. Points DD, EE, FF are chosen on BCBC, CACA, ABAB respectively such that DEFDEF is also an isosceles right triangle. Find the smallest possible area of DEFDEF.

Proposed by: Yuan Yao

Solution

Solution:

Without loss of generality, suppose that ABAB is the hypotenuse.

If FF is the right angle, then FF must be the midpoint of ABAB. To prove this, let XX and YY be the feet from FF to BCBC and ACAC. Since XFY=DFE=90\angle XFY = \angle DFE = 90^{\circ}, we have XFD=YFE\angle XFD = \angle YFE so
XF=DFcosXFD=EFcosYFE=YF XF = DF \cos \angle XFD = EF \cos \angle YFE = YF
Hence FF is equidistant from ACAC and BCBC so it is the midpoint of ABAB. Then the minimum area is achieved by minimizing DFDF; this occurs when DFDF is perpendicular to BCBC. The triangle DEFDEF then becomes the medial triangle of ABCABC, so its area is 14\frac{1}{4}.

If FF is not the right angle, without loss of generality, let the right angle be DD. Place this triangle in the complex plane such that CC is the origin, B=2B = \sqrt{2}, and A=2iA = \sqrt{2}i.

Now since DD is on the real axis and EE is on the imaginary axis, D=xD = x and E=yiE = yi, and we can obtain FF by a 9090 degree counterclockwise rotation of DD around EE: this evaluates to F=y+(x+y)iF = y + (x + y)i. For FF to be on ABAB, the only constraint is to have y+(x+y)=2x=22yy + (x + y) = \sqrt{2} \Longrightarrow x = \sqrt{2} - 2y.

To minimize the area, we minimize
DE22=x2+y22=(22y)2+y22=5y242y+22 \frac{DE^2}{2} = \frac{x^2 + y^2}{2} = \frac{(\sqrt{2} - 2y)^2 + y^2}{2} = \frac{5y^2 - 4\sqrt{2}y + 2}{2}
which has a minimum of 15\frac{1}{5} at y=225y = \frac{2\sqrt{2}}{5}. Since this is between 00 and 2\sqrt{2}, this is indeed a valid configuration.

Finally, we take the smallest area of 15\frac{1}{5}.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.