Maths Olympiad Prep

Library / /816 of 1394

, 2023

Geometry Difficulty 5.3 AIME, harder Prove it United States

Problem:

An equilateral triangle lies in the Cartesian plane such that the xx-coordinates of its vertices are pairwise distinct and all satisfy the equation x39x2+10x+5=0x^{3}-9 x^{2}+10 x+5=0. Compute the side length of the triangle.

Solution

Solution:

Let three points be AA, BB, and CC with xx-coordinates aa, bb, and cc, respectively. Let the circumcircle of ABC\triangle ABC meet the line y=by = b at point PP. Then, we have BPC=60PC=23(cb)\angle BPC = 60^{\circ} \Longrightarrow PC = \frac{2}{\sqrt{3}}(c-b). Similarly, AP=23(ba)AP = \frac{2}{\sqrt{3}}(b-a). Thus, by the Law of Cosines,
AC2=AP2+PC22APPCcos120=43((cb)2+(ba)2+(cb)(ba))=43(a2+b2+c2abbcca)=43((a+b+c)23(ab+bc+ca)) \begin{aligned} AC^{2} & = AP^{2} + PC^{2} - 2 \cdot AP \cdot PC \cos 120^{\circ} \\ & = \frac{4}{3}\left((c-b)^{2} + (b-a)^{2} + (c-b)(b-a)\right) \\ & = \frac{4}{3}\left(a^{2} + b^{2} + c^{2} - ab - bc - ca\right) \\ & = \frac{4}{3}\left((a+b+c)^{2} - 3(ab + bc + ca)\right) \end{aligned}
By Vieta's we have a+b+c=9a + b + c = 9 and ab+bc+ca=10ab + bc + ca = 10, so we have AC2=43(8130)=68AC^{2} = \frac{4}{3}(81 - 30) = 68, implying that the answer is 68=217\sqrt{68} = 2\sqrt{17}.

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.