Let the incircle of ABCD be tangent to sides AB, BC, CD, and AD at points P, Q, R, and S, respectively. Show that ABCD is cyclic if and only if PR⊥QS.
Solution
Solution:
Let the diagonals of PQRS intersect at T. Because AP and AS are tangent to ω at P and S, we may write α=∠ASP=∠SPA=∠SQP and β=∠CQR=∠QRC=∠QPR. Then ∠PTQ=π−α−β. On the other hand, ∠PAS=π−2α and ∠RCQ=π−2β, so that ABCD is cyclic if and only if π=∠BAD+∠DCB=2π−2α−2β or simply π/2=π−α−β=∠PTQ as desired.
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.