Maths Olympiad Prep

Library / Singapore Mathematical Olympiad (SMO) /31 of 52

Singapore Mathematical Olympiad (SMO)

Geometry Difficulty 5.8 AIME, harder Prove it Singapore

Let ABCABC be a triangle with integral side lengths such that ∠A=3∠B\angle A = 3\angle B. Find the minimum value of its perimeter.

Solution

Let the sides be a,b,ca, b, c. From the sine rule, we have
ab=sin⁡3Bsin⁡B=4cos⁡2B−1cb=sin⁡Csin⁡B=sin⁡4Bsin⁡B=8cos⁡3B−4cos⁡B \begin{aligned} \frac{a}{b} &= \frac{\sin 3B}{\sin B} = 4\cos^2 B - 1 \\ \frac{c}{b} &= \frac{\sin C}{\sin B} = \frac{\sin 4B}{\sin B} = 8\cos^3 B - 4\cos B \end{aligned}
Thus
2cos⁡B=a2+c2−b2ac∈Q. 2 \cos B = \frac{a^2 + c^2 - b^2}{ac} \in \mathbb{Q}.

Hence there exist coprime positive integers p,qp, q such that 2cos⁡B=2q2 \cos B = \frac{2}{q}. Hence
ab=p2q2−1⇔ap2−q2=bq2; \frac{a}{b} = \frac{p^2}{q^2} - 1 \quad \Leftrightarrow \quad \frac{a}{p^2 - q^2} = \frac{b}{q^2};
cb=p3q3−2pq⇔cp3−2pq2=bq3. \frac{c}{b} = \frac{p^3}{q^3} - \frac{2p}{q} \quad \Leftrightarrow \quad \frac{c}{p^3 - 2pq^2} = \frac{b}{q^3}.
Thus
a(p2−q2)q=bq3=cp3−2pq2=ef,gcd(e,f)=1. \frac{a}{(p^2 - q^2)q} = \frac{b}{q^3} = \frac{c}{p^3 - 2pq^2} = \frac{e}{f}, \quad \text{gcd}(e, f) = 1.
Since perimeter is minimum, gcd(a,b,c)=1\text{gcd}(a, b, c) = 1. From gcd(e,f)=1\text{gcd}(e, f) = 1, we have f∣q3f \mid q^3 and f∣p3−2pq2f \mid p^3 - 2pq^2. We'll prove that f=1f = 1.
If f>1f > 1, then it has a prime divisor f′>1f' > 1 such that f′∣q3f' \mid q^3 and f′∣p3−2pq2f' \mid p^3 - 2pq^2. Thus f′∣qf' \mid q and f′∣pf' \mid p, contradicting gcd(p,q)=1\text{gcd}(p, q) = 1. Thus f=1f = 1. From gcd(a,b,c)=1\text{gcd}(a, b, c) = 1, we conclude that e=1e = 1. Thus
a=(p2−q2)q,b=q3,c=p3−2pq2. a = (p^2 - q^2)q, \quad b = q^3, \quad c = p^3 - 2pq^2.
From 0∘<∠A+∠B=4∠B<180∘0^\circ < \angle A + \angle B = 4\angle B < 180^\circ, we get 0∘<∠B<45∘0^\circ < \angle B < 45^\circ and hence 2<2cos⁡B<2\sqrt{2} < 2 \cos B < 2 implying that q<p<2q\sqrt{q} < p < 2q. The smallest positive integers satisfying this inequality is p=3,q=2p = 3, q = 2. Since a+b+c=p2q+p(p2−2q2)a + b + c = p^2q + p(p^2 - 2q^2) and p2−2q2=1p^2 - 2q^2 = 1, we see that the minimum perimeter is achieved when p=3,q=2p = 3, q = 2 and the value is 2121.

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

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