Maths Olympiad Prep

Library / /11 of 15

Geometry Difficulty 5.4 AIME, harder Prove it Philippines

Problem:

Let ABC\triangle ABC be a right triangle with right angle at BB. Let the points DD, EE, and FF be on ABAB, BCBC, and CACA, respectively, such that DEF\triangle DEF is an equilateral triangle and EC=FCEC = FC. If DB=53DB = 5\sqrt{3}, BE=3BE = 3, and sinACB=43/7\sin \angle ACB = 4\sqrt{3}/7, find the perimeter of ADF\triangle ADF.

Solution

Solution:

By Pythagorean Theorem, DE=(53)2+32=84=EFDE = \sqrt{(5\sqrt{3})^{2} + 3^{2}} = \sqrt{84} = EF.

From sinACB=43/7\sin \angle ACB = 4\sqrt{3}/7, we have cosACB=1/7\cos \angle ACB = 1/7.

Let EC=FC=xEC = FC = x, then by Cosine Law on side EFEF of ECF\triangle ECF, we have
EF2=x2+x22x2cosACB. EF^{2} = x^{2} + x^{2} - 2x^{2} \cos \angle ACB.
Solving for x2x^{2}, we have
x2=84/[2(11/7)]=49. x^{2} = 84 / [2(1 - 1/7)] = 49.
Hence, EC=FC=x=7EC = FC = x = 7 and BC=BE+EC=10BC = BE + EC = 10.

Since cosACB=1/7\cos \angle ACB = 1/7, then AC=70AC = 70, which means AF=63AF = 63.

Since sinACB=43/7\sin \angle ACB = 4\sqrt{3}/7, then AB=403AB = 40\sqrt{3}, which means AD=353AD = 35\sqrt{3}.

Thus, the perimeter of ADF\triangle ADF is 353+63+22135\sqrt{3} + 63 + 2\sqrt{21}.

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.