GeometryDifficulty 8.3ShortlistProve itUnited States
Let ABC be a triangle. Triangles PAB and QAC are constructed outside of triangle ABC such that AP=AB and AQ=AC and ∠BAP=∠CAQ. Segments BQ and CP meet at R. Let O be the circumcenter of triangle BCR. Prove that AO⊥PQ.
Solution
Note: We present five different approaches. The first three synthetic solutions are all based on the following simple observation. We first note that APBR and AQCR are cyclic quadrilaterals. It is easy to see that triangles APC and ABQ are congruent to each other, implying that ∠APR=∠APC=∠ABQ=∠ABR. Thus, APBR is a cyclic quadrilateral. Likewise, we can show that AQCR is also cyclic.
Let ∠PAB=2x. Then in isosceles triangle APB, ∠APB=90∘−x. In cyclic quadrilateral APBR, ∠ARB=180∘−∠APB=90∘+x. Likewise, ∠ARC=90∘+x. Hence ∠BRC=360∘−∠ARB−∠ARC=180∘−2x. It follows that ∠BOC=4x.
First Solution: Reflect C across line AQ to D. Then ∠BAD=4x+∠BAC=∠BAQ. It is easy to see that triangles BAD and PAQ are congruent, implying that ∠ADB=∠AQP=y.
Note also that CAD and COB are two isosceles triangles with the same vertex angle, and so they are similar to each other. It follows that triangle CAO and CBD are similar by SAS (side-angle-side), implying that ∠CAO=∠CDB=z.
The angle formed by lines AO and PQ is equal to 180∘−∠OAQ−∠AQP=180∘−∠OAC−∠CAQ−∠AQP=180∘−z−2x−y.
Since AQ is perpendicular to the base CD in isosceles triangle ACD, we have 90∘=∠QAD+∠CDA=∠QAD+∠ADB+∠BDC=2x+y+z. Combining the last two equations yields that fact the angle formed by lines AO and PQ is equal to 90∘; that is, AO⊥PQ.
Second Solution: We maintain the same notations as in the first solution. Let M be the midpoint of arc BC on the circumcircle of triangle BOC. Then BM=CM. Since triangles APC and ABQ are congruent, PC=BQ. Since BRMC is cyclic, ∠PCM=∠RCM=∠RBM=∠QBM. Hence triangles BMQ and CMP are congruent by SAS. It follows triangles MPQ and MBC are similar. Since ∠BOC=4x, ∠MBC=∠MCB=x, and so ∠MPQ=x.
Note that both triangles PAB and MOB are isosceles triangles with vertex angle 2x; that is, they are similar to each other. Hence triangles BMP and BOA are also similar by SAS, implying that ∠OAB=MPB=s. We also note that in isosceles triangle APB, 90∘=∠APB+∠PAB/2=∠APQ+∠QPM+∠MPB+∠PAB/2=∠APQ+2x+s. Putting the above together, we conclude that ∠PAO+∠APQ=∠PAB+∠BAO+∠APQ=2x+s+∠APQ=90∘, that is AO⊥PQ.
Third Solution: We consider two rotations: R1: a counterclockwise 2x (degree) rotation centered at A, R2: a clockwise 4x (degree) rotation centered at O. Let T denote the composition R1R2R1. Then T is a counterclockwise 2x−4x+2x=0∘ rotation; that is, T is translation. Note that T(P)=R1(R2(R1(P)))=R1(R2(B))=R1(C)=Q, or, T is the vector translation PQ. Let A1=R2(A) and A2=R1(A1). Then T(A)=A2; that is, AA2=PQ, or AA2∥PQ. By the definitions of R2 and R1, we know that triangles OAA1 and A1AA2 are isosceles triangles with respect vertex angles ∠AOA1=4x and ∠A1AA2=2x∘. It is routine to compute that ∠OAA2=90∘; that AO⊥AA2, or AO⊥PQ.
Fourth Solution: (By Ian Le) In this solutions, let each lowercase letter denote the number assigned to the point labeled with the corresponding uppercase letter. We further assume that A is origin; that is, let a=0. Let ω=e2xi (or ω=cos(2x)+isin(2x), and ω−1=cos(2x)−isin(2x)). Then because O lies on the perpendicular bisector of BC and ∠BOC=4x, o=c+2ωsin(2x)(b−c)i=c+2ωsin(2x)bi−2ωsin(2x)ci. Note that c−2ωsin(2x)ci=c+2isin(2x)cω−1=2isin(2x)c(ω−1+2isin(2x))=2isin(2x)cω, Combining the last two equations gives o=2ωsin(2x)bi+2isin(2x)cω=−2iωsin(2x)b+2isin(2x)cω=2isin(2x)1(cω−ωb). Now we note that p=ωb and q=cω. Consequently, we obtain o−aq−p=2isin(2x), which is clearly a pure imaginary number; that is, OA⊥PQ.
Fifth Solution: (By Lan Le) In this solutions, we set BC=a, AB=c, CA=b, A=∠BAC, B=∠ABC, and C=∠BCA. We use the fact that OA⊥PQ if and only if AP2−AQ2=OP2−OQ2. Clearly AP2−AQ2=c2−b2. It remains to show that OP2−OQ2=c2−b2.(∗) In isosceles triangles APB and BOC, BP=2csinx and BO=2sin(2x)a. Note that ∠PBA+∠ABC+∠CBO=90∘−x+B+90∘−2x=180∘+B−3x. Applying the law of cosines to triangle PBO yields OP2=4c2sin2x+4sin2(2x)a2+cosxaccos(B−3x). In exactly the same way, we can show that OQ2=4b2sin2x+4sin2(2x)a2+cosxabcos(C−3x). Hence OP2−OQ2=4(c2−b2)sin2x+cosxa(ccos(B−3x)−bcos(C−3x)).(†) Using Addition and Subtraction formulas and the law of sines (more precisely, csinB=bsinC), we have ==ccos(B−3x)−bcos(C−3x)ccos(3x)cosB+csin(3x)sinB−bcos(3x)cosC−bsin(3x)sinCcos(3x)(ccosB−bcosC). Substituting the last equation into (†) gives OP2−OQ2=4(c2−b2)sin2x+cosxcos3x(accosB−abcosC). Note that accosB−abcosC=c(acosB+bcosA)−b(acosC+ccosA)=c2−b2. Combining the last equations gives OP2−OQ2=(c2−b2)(4sin2x+cosxcos3x). By the Triple-angle formulas, we have cos3x=4cos3x−3cosx, and so OP2−OQ2=(c2−b2)(4sin2x+4cos2x−3)=c2−b2, which is (∗).
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.