Maths Olympiad Prep

Library / /15 of 23

Geometry Difficulty 8.7 Shortlist Prove it United States

In a triangle ABCABC, let segment APAP bisect BAC\angle BAC, with PP on side BCBC, and let segment BQBQ bisect ABC\angle ABC, with QQ on side CACA. It is known that BAC=60\angle BAC = 60^\circ and that AB+BP=AQ+QBAB + BP = AQ + QB. What are the possible angles of triangle ABCABC?

Solution

First Solution. (by Reid Barton and Gabriel Carroll) Extend segment ABAB through BB to RR so that BR=BPBR = BP, and construct SS on ray AQAQ so that AS=ARAS = AR.

Figure 1

Lemma 1. Points BB, PP, SS are collinear, and consequently, SS coincides with CC.

Proof. Because BR=BPBR = BP, triangle BPRBPR is isosceles with base angles
BRP=RPB=(180PBR)/2=x=QBP.(2) \angle BRP = \angle RPB = (180^\circ - \angle PBR)/2 = x = \angle QBP. \quad (2)
Note that AS=ARAS = AR and RAS=BAC=60\angle RAS = \angle BAC = 60^\circ, implying that triangle ARSARS is equilateral. Since line APAP bisects RAS\angle RAS, RR and SS are symmetric with respect to line APAP. Thus,
PR=PS(3) PR = PS \qquad (3)
and ARP=PSA\angle ARP = \angle PSA, or BRP=PSQ\angle BRP = \angle PSQ. By (2), we have
QBP=BRP=PSQ.(4) \angle QBP = \angle BRP = \angle PSQ. \qquad (4)

Because AQ+QS=AB+BR=AB+BP=AQ+QBAQ + QS = AB + BR = AB + BP = AQ + QB, QS=QBQS = QB. Hence, triangle BQSBQS is isosceles with
BSQ=QBS.(5) \angle BSQ = \angle QBS. \qquad (5)

Now, assume to the contrary that triangle BPSBPS is nondegenerate. Then either AC<ASAC < AS, as in the first diagram below, or AC>ASAC > AS, as in the second diagram.

Figure 2
Figure 3

In either diagram, combining (4) and (5) gives
PBS=QBPQBS=PSQBSQ=PSB, \angle PBS = |\angle QBP - \angle QBS| = |\angle PSQ - \angle BSQ| = \angle PSB,
that is, triangle PBSPBS is isosceles with PB=PSPB = PS. By (3), it follows that PB=PS=PRPB = PS = PR. Hence, triangle BPRBPR is equilateral. But then ABC=180CBR=120\angle ABC = 180^\circ - \angle CBR = 120^\circ, and by (1), y=0y = 0^\circ, which is absurd. Therefore, our assumption was wrong and B,P,SB, P, S are collinear. Consequently, S=CS = C. ■

---

Second Solution. (By Zhiqiang Zhang, China) Construct RR on ray ABAB beyond BB such that BR=BPBR = BP, and construct SS on ray AQAQ beyond QQ such that QS=QBQS = QB. Let lines BSBS and APAP intersect at DD. Note that AR=AB+BP=AQ+QB=ASAR = AB + BP = AQ + QB = AS. Then both triangles BPRBPR and BQSBQS are isosceles with
BRP=RPB=ABC2=x=QBP(6) \angle BRP = \angle RPB = \frac{\angle ABC}{2} = x = \angle QBP \qquad (6)
and
QBS=BSQ=BQA2=18060x2=60x2.(7) \angle QBS = \angle BSQ = \frac{\angle BQA}{2} = \frac{180^\circ - 60^\circ - x}{2} = 60^\circ - \frac{x}{2}. \quad (7)

Because y>0y > 0^\circ, equation (1) implies x<60x < 60^\circ. Because AR=ASAR = AS and RAS=60\angle RAS = 60^\circ, we also have that 60=ARS=BRS60^\circ = \angle ARS = \angle BRS. Using these relations as well as (6), we find that BRP=x<60=BRS\angle BRP = x < 60^\circ = \angle BRS, implying that PP is inside triangle ARSARS. We now consider two cases.

i. C=SC = S. Since BQ=QCBQ = QC, y=BCQ=QBC=xy = \angle BCQ = \angle QBC = x, so by (1), ABC=80\angle ABC = 80^\circ and BCA=40\angle BCA = 40^\circ. We need to check whether such a triangle has the desired properties. Setting x=yx = y, in isosceles triangle BPRBPR we have BRP=BPR=x\angle BRP = \angle BPR = x. Hence, ARP=BRP=x=y=PCA\angle ARP = \angle BRP = x = y = \angle PCA. This equality, along with the equations PAR=CAP\angle PAR = \angle CAP and AP=APAP = AP, implies that triangles APDAPD and APCAPC are congruent. Thus, AR=ACAR = AC, or AB+BP=AQ+BQAB + BP = AQ + BQ. Therefore, ABC=80\angle ABC = 80^\circ, BCA=40\angle BCA = 40^\circ, and CAB=60\angle CAB = 60^\circ are possible angles of triangle ABCABC.

ii. CSC \neq S.

Figure 4

Since AR=ASAR = AS and APAP is the angle bisector of angles RASRAS and BACBAC, RR and SS are symmetric with respect to line APAP, and BRD=DSQ\angle BRD = \angle DSQ. By (7), we have
BRD=DSQ=BSQ=QBS=QBD.(8) \angle BRD = \angle DSQ = \angle BSQ = \angle QBS = \angle QBD. \quad (8)
By subtraction, from (6) and (8) we obtain
PRD=BRDBRP=QBDQBP=PBD. \begin{aligned} \angle PRD &= \angle BRD - \angle BRP \\ &= \angle QBD - \angle QBP = \angle PBD. \end{aligned}
Because P,DP, D are on the same side of line BRBR (specifically, between rays ARAR and CSCS), quadrilateral BPDRBPDR must be cyclic. Hence, BRD=BPA\angle BRD = \angle BPA. Because angle BPABPA is an exterior angle of triangle APCAPC, by using (1), we have BPA=30+y=1502x\angle BPA = 30^\circ + y = 150^\circ - 2x. On the other hand, by (8) and (7), BRD=DSQ=BSQ=\angle BRD = \angle DSQ = \angle BSQ =
60x2. 60^\circ - \frac{x}{2}.
Now the relation BRD=BPA\angle BRD = \angle BPA reads
1502x=60x2, 150^\circ - 2x = 60^\circ - \frac{x}{2},
or x=60x = 60^\circ. But then y=0y = 0^\circ, which is impossible. Thus, there is no solution under the assumption CSC \neq S.

---

Third Solution. (By Liang Xiao, China) Construct RR on ray ABAB beyond BB such that BR=BPBR = BP and SS on ray AQAQ beyond QQ such that QS=QBQS = QB. Note that AR=AB+BP=AQ+QB=ASAR = AB + BP = AQ + QB = AS and hence, because SAR=60\angle SAR = 60^\circ, triangle ARSARS is equilateral. Now we calculate a few angles:
BPA=1502x,BQA=120x,BSQ=QBS=BQA2=60x2,ABS=ABQ+QBS=60+x2,RSB=60BSQ=x2,SBR=180ABS=120x2. \begin{aligned} \angle BPA &= 150^\circ - 2x, \\ \angle BQA &= 120^\circ - x, \\ \angle BSQ &= \angle QBS = \frac{\angle BQA}{2} = 60^\circ - \frac{x}{2}, \\ \angle ABS &= \angle ABQ + \angle QBS = 60^\circ + \frac{x}{2}, \\ \angle RSB &= 60^\circ - \angle BSQ = \frac{x}{2}, \\ \angle SBR &= 180^\circ - \angle ABS = 120^\circ - \frac{x}{2}. \end{aligned}
Noting that BR=BPBR = BP and AS=RSAS = RS, we apply the Law of Sines to triangles BRSBRS, ABPABP, and ABSABS to obtain
sinRSBsinSBR=BRRS=BPAS=BPABABAS=sinPABsinBPAsinBSAsinABS. \begin{aligned} \frac{\sin \angle RSB}{\sin \angle SBR} &= \frac{BR}{RS} = \frac{BP}{AS} = \frac{BP}{AB} \cdot \frac{AB}{AS} \\ &= \frac{\sin \angle PAB}{\sin \angle BPA} \cdot \frac{\sin \angle BSA}{\sin \angle ABS}. \end{aligned}
Writing these angles in terms of xx, we have
sin(x2)sin(120x2)=sin30sin(1502x)sin(60x2)sin(60+x2). \frac{\sin\left(\frac{x}{2}\right)}{\sin\left(120^\circ - \frac{x}{2}\right)} = \frac{\sin 30^\circ}{\sin(150^\circ - 2x)} \cdot \frac{\sin\left(60^\circ - \frac{x}{2}\right)}{\sin\left(60^\circ + \frac{x}{2}\right)}.
Now, x=(120y)/2<60x = (120^\circ - y)/2 < 60^\circ and hence sin(120x2)=sin(60+x2)0\sin(120^\circ - \frac{x}{2}) = \sin(60^\circ + \frac{x}{2}) \neq 0. Cancelling the common terms and clearing the denominators of the above equation, we obtain
2sin(x2)sin(30+2x)=cos(30+x2). 2 \sin \left( \frac{x}{2} \right) \sin(30^\circ + 2x) = \cos \left( 30^\circ + \frac{x}{2} \right).
Using the Product-to-sum formulas gives
cos(30+3x2)cos(30+5x2)=cos(30+x2), \cos \left( 30^\circ + \frac{3x}{2} \right) - \cos \left( 30^\circ + \frac{5x}{2} \right) = \cos \left( 30^\circ + \frac{x}{2} \right),
or
cos(30+3x2)=cos(30+5x2)+cos(30+x2). \cos \left( 30^\circ + \frac{3x}{2} \right) = \cos \left( 30^\circ + \frac{5x}{2} \right) + \cos \left( 30^\circ + \frac{x}{2} \right).
Applying the Sum-to-product formulas yields
cos(30+3x2)=2cos(30+3x2)cosx. \cos \left( 30^\circ + \frac{3x}{2} \right) = 2 \cos \left( 30^\circ + \frac{3x}{2} \right) \cos x.
Hence, either cosx=12\cos x = \frac{1}{2} or cos(30+3x2)=0\cos(30^\circ + \frac{3x}{2}) = 0. The first case is impossible because 0<x<600^\circ < x < 60^\circ. In the second, 0<30+3x2<1200^\circ < 30^\circ + \frac{3x}{2} < 120^\circ, implying that 30+3x2=9030^\circ + \frac{3x}{2} = 90^\circ and x=40x = 40^\circ. Consequently, it is easy to check that ABS=ABC=80\angle ABS = \angle ABC = 80^\circ and S=CS = C. Therefore, ABC=80\angle ABC = 80^\circ, BCA=40\angle BCA = 40^\circ, and CAB=60\angle CAB = 60^\circ.

---

Fourth Solution. (By Hui Zheng, China) Applying the Law of Sines to triangles ABPABP and ABQABQ yields
AB+BPAB=1+sin30sin(2x+30) \frac{AB + BP}{AB} = 1 + \frac{\sin 30^\circ}{\sin(2x + 30^\circ)}
and
AQ+QBAB=sinx+sin60sin(x+60). \frac{AQ + QB}{AB} = \frac{\sin x + \sin 60^\circ}{\sin(x + 60^\circ)}.
Thus, the condition AB+BP=AQ+BQAB + BP = AQ + BQ implies that
1+sin30sin(2x+30)=sinx+sin60sin(x+60),(12) 1 + \frac{\sin 30^\circ}{\sin(2x + 30^\circ)} = \frac{\sin x + \sin 60^\circ}{\sin(x + 60^\circ)}, \quad (12)
or
sin(x+60)2sin(2x+30)=sinx+sin60sin(x+60). \frac{\sin(x + 60^\circ)}{2 \sin(2x + 30^\circ)} = \sin x + \sin 60^\circ - \sin(x + 60^\circ).
By (1), y>0y > 0^\circ and 0<x<600^\circ < x < 60^\circ. Applying the Difference-to-product formulas twice yields
sin(x+60)2sin(2x+30)=sin60[sin(x+60)sinx]=sin602sin30cos(x+30)=sin60sin(60x)=2sinx2cos(60x2). \begin{aligned} \frac{\sin(x + 60^\circ)}{2 \sin(2x + 30^\circ)} &= \sin 60^\circ - [\sin(x + 60^\circ) - \sin x] \\ &= \sin 60^\circ - 2 \sin 30^\circ \cos(x + 30^\circ) \\ &= \sin 60^\circ - \sin(60^\circ - x) \\ &= 2 \sin \frac{x}{2} \cos \left(60 - \frac{x}{2}\right). \end{aligned}
By the Double-angle formulas, the numerator on the left-hand side is
sin(x+60)=sin(120x)=2sin(60x2)cos(60x2). \sin(x + 60^\circ) = \sin(120^\circ - x) = 2 \sin\left(60^\circ - \frac{x}{2}\right) \cos\left(60^\circ - \frac{x}{2}\right).
Plugging in this expression and then dividing by cos(60x2)\cos(60^\circ - \frac{x}{2}) — which is nonzero because 0<x<600^\circ < x < 60^\circ — we find that
sin(60x2)sin(2x+30)=2sin(x2). \frac{\sin(60^\circ - \frac{x}{2})}{\sin(2x + 30^\circ)} = 2 \sin(\frac{x}{2}).
Clearing the denominator and applying the Product-to-sum formulas, the last equation becomes
sin(60x2)=2sin(x2)sin(2x+30)=2sin(x2)cos(2x60)=sin(5x260)+sin(603x2), \begin{aligned} \sin\left(60^\circ - \frac{x}{2}\right) &= 2 \sin\left(\frac{x}{2}\right) \sin(2x + 30^\circ) \\ &= 2 \sin\left(\frac{x}{2}\right) \cos(2x - 60^\circ) \\ &= \sin\left(\frac{5x}{2} - 60^\circ\right) + \sin\left(60^\circ - \frac{3x}{2}\right), \end{aligned}
or
sin(603x2)=sin(60x2)sin(5x260)=2sin(603x2)cosx \begin{aligned} \sin\left(60 - \frac{3x}{2}\right) &= \sin\left(60^\circ - \frac{x}{2}\right) - \sin\left(\frac{5x}{2} - 60^\circ\right) \\ &= 2 \sin\left(60^\circ - \frac{3x}{2}\right) \cos x \end{aligned}
by applying the Difference-to-product formulas. Hence,
sin(603x2)=0orcosx=12. \sin(60^\circ - \frac{3x}{2}) = 0 \quad \text{or} \quad \cos x = \frac{1}{2}.
The only solution to either equation in the range 0<x<600^\circ < x < 60^\circ is x=40x = 40^\circ. Thus, ABC=80\angle ABC = 80^\circ, BCA=40\angle BCA = 40^\circ, and CAB=60\angle CAB = 60^\circ.

---

Fifth Solution. (By Kiran Kedlaya) We use complex numbers in this solution. Rewrite (12) as
1+12cos(2x60)sinx+sin60sin(x+60)=0.(13) 1 + \frac{1}{2\cos(2x - 60^\circ)} - \frac{\sin x + \sin 60^\circ}{\sin(x + 60^\circ)} = 0. \quad (13)
Set z=cosx+isinxz = \cos x + i \sin x and ω=e2πi/6=cos60+isin60\omega = e^{2\pi i/6} = \cos 60^\circ + i \sin 60^\circ. Because 0<x<600^\circ < x < 60^\circ, we know that 1,1zω-1, 1 \neq z\omega. Now, zˉ=1z\bar{z} = \frac{1}{z} and ωˉ=1ω\bar{\omega} = \frac{1}{\omega}. Also,
ω3=1andωω2=1.(14) \omega^3 = -1 \quad \text{and} \quad \omega - \omega^2 = 1. \quad (14)
It follows that 2isinx=zzˉ=z1z2i \sin x = z - \bar{z} = z - \frac{1}{z}, 2isin60=ω1ω2i \sin 60^\circ = \omega - \frac{1}{\omega}, 2isin(x+60)=zω1zω2i \sin(x + 60^\circ) = z\omega - \frac{1}{z\omega}, and 2cos(2x60)=z2ω+ωz22 \cos(2x - 60^\circ) = \frac{z^2}{\omega} + \frac{\omega}{z^2}. We rewrite (13) in terms of zz:
1+1z2ω+ωz2z1z+ω1ωzω1zω=0.(15) 1 + \frac{1}{\frac{z^2}{\omega} + \frac{\omega}{z^2}} - \frac{z - \frac{1}{z} + \omega - \frac{1}{\omega}}{z\omega - \frac{1}{z\omega}} = 0. \quad (15)
The second term on the left-hand side of (15) is z2ωz4+ω2\frac{z^2\omega}{z^4+\omega^2} and the third term simplifies to
(z+ω)z+ωzω(zw)21zω=(z+ω)(zω1)(zω+1)(zω1)=z+ωzω+1. \frac{(z + \omega) - \frac{z+\omega}{z\omega}}{\frac{(zw)^2-1}{z\omega}} = \frac{(z + \omega)(z\omega - 1)}{(z\omega + 1)(z\omega - 1)} = \frac{z + \omega}{z\omega + 1}.
Thus, (15) simplifies to
1+z2ωz4+ω2z+ωzω+1=0. 1 + \frac{z^2\omega}{z^4 + \omega^2} - \frac{z + \omega}{z\omega + 1} = 0.
Clearing the denominators in this equations yields
(z4+ω2)(zω+1)+z2ω(zω+1)(z+ω)(z4+ω2)=0. (z^4 + \omega^2)(z\omega + 1) + z^2\omega(z\omega + 1) - (z + \omega)(z^4 + \omega^2) = 0.
If x60x \approx 60^\circ, then triangles ABQABQ and PBQPBQ are approximately equilateral and AB+BPAQ+QBAB + BP \approx AQ + QB. Thus, we suspect that z=ωz = \omega is a solution

---

of the above equation. With this in mind, we factor (14) as follows:
0=(z4+ω2)(zω+1)+z2ω(zω+1)(z+ω)(z4+ω2)=z5ω+zω3+z4+ω2+z3ω2+z2ωz5zω2z4ωω3=(ω1)z5+(1ω)z4+ω2z3+ωz2+(ω3ω2)z+(ω2ω3)=ω2z5ω2z4+ω2z3+ωz2ωz+ω=ω2z3(z2z+1)+ω(z2z+1)=ω2(z3ω2)(z2z+1). \begin{align*} 0 &= (z^4 + \omega^2)(z\omega + 1) + z^2\omega(z\omega + 1) - (z + \omega)(z^4 + \omega^2) \\ &= z^5\omega + z\omega^3 + z^4 + \omega^2 + z^3\omega^2 + z^2\omega - z^5 - z\omega^2 - z^4\omega - \omega^3 \\ &= (\omega - 1)z^5 + (1 - \omega)z^4 + \omega^2 z^3 + \omega z^2 + (\omega^3 - \omega^2)z + (\omega^2 - \omega^3) \\ &= \omega^2 z^5 - \omega^2 z^4 + \omega^2 z^3 + \omega z^2 - \omega z + \omega \\ &= \omega^2 z^3 (z^2 - z + 1) + \omega (z^2 - z + 1) \\ &= \omega^2 (z^3 - \omega^2) (z^2 - z + 1). \end{align*}
Hence, z3=ω2=cos120+isin120z^3 = \omega^2 = \cos 120^\circ + i \sin 120^\circ, so z=cos40+isin40z = \cos 40^\circ + i \sin 40^\circ, cos160+isin160\cos 160^\circ + i \sin 160^\circ, or cos280+isin280\cos 280^\circ + i \sin 280^\circ. yielding x=40,160x = 40^\circ, 160^\circ, or 280280^\circ. The only value in the range (0,60)(0^\circ, 60^\circ) is x=40x = 40^\circ, so ABC=80\angle ABC = 80^\circ, BCA=40\angle BCA = 40^\circ, and CAB=60\angle CAB = 60^\circ.

---

Sixth Solution. (By Belur Jana Venkatachala, India) Let a=BCa = BC, b=CAb = CA, c=ABc = AB, and 2s=a+b+c2s = a + b + c. By the Angle Bisector Theorem, we obtain
BP=cab+candAQ=cbc+a.(16) BP = \frac{ca}{b+c} \quad \text{and} \quad AQ = \frac{cb}{c+a}. \qquad (16)
Lemma 2. We have
BQ=2cac+as(sb)ca. BQ = \frac{2ca}{c+a} \sqrt{\frac{s(s-b)}{ca}}.
Proof. Let [R][R] denote the area of region RR. Then,
2acsinxcosx=acsin2x=2[ABC]=2[ABQ]+2[QBC]=cBQsinx+aBQsinx=BQ(a+c)sinx, \begin{align*} 2ac \sin x \cos x &= ac \sin 2x = 2[ABC] = 2[ABQ] + 2[QBC] \\ &= c \cdot BQ \sin x + a \cdot BQ \sin x \\ &= BQ \cdot (a+c) \sin x, \end{align*}
or
BQ=2aca+ccosx.(17) BQ = \frac{2ac}{a+c} \cos x. \qquad (17)
By the Law of Cosines, we obtain
cos2x=cosABC=a2+c2b22ac. \cos 2x = \cos \angle ABC = \frac{a^2 + c^2 - b^2}{2ac}.
Applying the Double-angle formulas yields
2cos2x=cos2x+1=a2+c2b22ac+1=(a2+2ac+c2)b22ac=(a+c)2b22ac=(a+c+b)(a+cb)2ac=2s(sb)ac, \begin{aligned} 2 \cos^2 x &= \cos 2x + 1 = \frac{a^2 + c^2 - b^2}{2ac} + 1 \\ &= \frac{(a^2 + 2ac + c^2) - b^2}{2ac} = \frac{(a+c)^2 - b^2}{2ac} \\ &= \frac{(a+c+b)(a+c-b)}{2ac} = \frac{2s(s-b)}{ac}, \end{aligned}
or cosx=s(sb)ac\cos x = \sqrt{\frac{s(s-b)}{ac}}. Substituting this into (17) yields the desired result. (The result also follows directly from the Angle Bisector Theorem and the Stewart's Theorem.) ■

By lemma 2, the given condition reads
c+cab+c=cbc+a+2cac+as(sb)ca, c + \frac{ca}{b+c} = \frac{cb}{c+a} + \frac{2ca}{c+a} \sqrt{\frac{s(s-b)}{ca}},
or
a+b+cb+c=ba+c+2ac+as(sb)ca. \frac{a+b+c}{b+c} = \frac{b}{a+c} + \frac{2a}{c+a} \sqrt{\frac{s(s-b)}{ca}}.
Clearing the denominators yields
(a+b+c)(c+a)c=b(b+c)c+2a(b+c)s(sb).(18) (a+b+c)(c+a)\sqrt{c} = b(b+c)\sqrt{c} + 2\sqrt{a}(b+c)\sqrt{s(s-b)}. \quad (18)
Since
(a+b+c)(c+a)b(b+c)=(a+b+c)(c+a)b(a+b+c)+ab=(a+b+c)(a+cb)+ab=4s(sb)+ab, \begin{aligned} (a+b+c)(c+a) - b(b+c) &= (a+b+c)(c+a) - b(a+b+c) + ab \\ &= (a+b+c)(a+c-b) + ab \\ &= 4s(s-b) + ab, \end{aligned}
(18) can be rewritten as
4cs(sb)+abc=2a(b+c)s(sb). 4\sqrt{cs(s-b)} + ab\sqrt{c} = 2\sqrt{a}(b+c)\sqrt{s(s-b)}.
Taking t=s(sb)t = \sqrt{s(s-b)}, we obtain a quadratic in tt:
4ct22a(b+c)t+abc=0, 4\sqrt{ct^2 - 2\sqrt{a}(b+c)t + ab\sqrt{c}} = 0,
or (2tac)(2ctab)=0(2t - \sqrt{ac})(2\sqrt{ct} - \sqrt{ab}) = 0. Thus,
t=ac2ort=ab2c. t = \frac{\sqrt{ac}}{2} \quad \text{or} \quad t = \frac{\sqrt{ab}}{2\sqrt{c}}.
If t=ac2t = \frac{\sqrt{ac}}{2}, then s(sb)=ac4s(s-b) = \frac{ac}{4}, leading to
(a+c+b)(a+cb)4=(a+c)2b24=ac4, \frac{(a+c+b)(a+c-b)}{4} = \frac{(a+c)^2 - b^2}{4} = \frac{ac}{4},
or a2+ac+c2=b2a^2 + ac + c^2 = b^2. This equation and the Law of Cosines imply that ABC=120\angle ABC = 120^\circ, which is absurd.

If t=ab2ct = \frac{\sqrt{ab}}{2\sqrt{c}}, then s(sb)=ab24cs(s-b) = \frac{ab^2}{4c}, leading to
(a+c)2b2=ab2c. (a+c)^2 - b^2 = \frac{ab^2}{c}.
Hence,
(a+c)2=(a+c)b2c, (a+c)^2 = \frac{(a+c)b^2}{c},
or
cb=cba+c1c. \frac{c}{b} = \frac{cb}{a+c} \cdot \frac{1}{c}.
By the second part of (16), the last equation is
ABAC=AQAB, \frac{AB}{AC} = \frac{AQ}{AB},
which, along with BAC=QAB\angle BAC = \angle QAB, implies that triangles ABQABQ and ACBACB are similar. Hence, ACB=ABQ=BQC\angle ACB = \angle ABQ = \angle BQC, that is, ABC=80\angle ABC = 80^\circ, BCA=40\angle BCA = 40^\circ, and CAB=60\angle CAB = 60^\circ.

---

Therefore, ABC=80\angle ABC = 80^\circ, BCA=40\angle BCA = 40^\circ, and CAB=60\angle CAB = 60^\circ is the only solution.

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 and solution reproduced as published; topic and difficulty added by this site.