skip to content
Logo Sons Only Take After Their Fathers' Negative Attributes

Challenging Problems in Geometry: Problem 4-36

/ 6 min read

Table of Contents

Problem 4-36

The following is a problem that appears in Challenging Problems in Geometry by Alfred S. Posamentier and Charles T. Salkind:

A line, PQ\overline{PQ}, parallel to base BC\overline{BC} of ABC\triangle ABC, cuts AB\overline{AB} and AC\overline{AC} at PP and QQ, respectively. The circle passing through PP and tangent to AC\overline{AC} at QQ cuts AB\overline{AB} again at RR. Prove that the points RR, QQ, CC, and BB lie on a circle.

Asymptote diagram

Solution

The “book” solution is pretty fast and involves showing angle QRB\angle QRB is supplementary to angle C\angle C. However, Curzon came up with a slightly longer alternate proof today that involved showing the other pair of opposite angles are supplementary. I thought it was creative enough for a 9 year old that I’d write it here for posterity. And yes, I do realize that it’s essentially re-proving the Tangent-Chord Angle Theorem using facts about cyclic quadrilaterals :)

Curzon Solution

The key idea is to reflect point QQ across the circle to form diameter QS\overline{QS}. Then connect QR\overline{QR} and QS\overline{QS}:

Asymptote diagram

Now call angle B=β\angle B = \beta and do some basic angle chasing:

  • APQ=β\angle APQ = \beta because AB\overline{AB} is a transversal through parallel lines PQ\overline{PQ} and BC\overline{BC}
  • QPR=180°β\angle QPR = 180° - \beta because they’re supplementary
  • RSQ=β\angle RSQ = \beta because QPRSQPRS is cyclic and opposite angles are supplementary
  • QRS=90°\angle QRS = 90° because of inscribed angle theorem
  • RQS=90°β\angle RQS = 90° - \beta because angles in triangle RQSRQS add to 180°180°
  • SQC=90°\angle SQC = 90° because a radius (or diameter) makes a right angle with tangent lines
Asymptote diagram

Lastly, RQC=RQS+SQC=(90°β)+90°=180°β\angle RQC = \angle RQS + \angle SQC = (90° - \beta) + 90° = 180° - \beta, which is the supplement of RBC=β\angle RBC = \beta. \square