Given the perimeter, find the length $\overline{\rm PQ}$ in the following setup.

circlesgeometrytriangles

Let $\overline{\rm AB}$ be a diameter of a circle $\omega$ and let $C$ be a point on $\omega$, different from $A$ and $B$. The perpendicular from $C$ intersects $\overline{\rm AB}$ at $D$ and omega at $E (\ne C)$. The circle with the center at $C$ and radius $\rm CD$ intersects $\omega$ at $P$ and $Q$. If the perimeter of the $\triangle{PEQ}$ is $p$, find the length of the side $\overline{\rm PQ}$.

I solved this question by taking $C$ on the diameter of $\omega$ perpendicular to $AB$. It turned out to be a very simple case where $\triangle{PEQ}$ was equilateral, and thus $\rm PQ = \frac{p}{3}$.

Now this is the correct answer as the question allows us to take $C$ anywhere. But I feel that it doesn't quite grasp the essence of the question. Could anyone help solve it for the general case where $C$ lies at any random point on $\omega$?

Best Answer

enter image description here

Let $\,F\,$ be the point of intersection of the segments $\,PQ\,$ and $\,DC\,$ and let $\,G\,$ be the point of intersection of the segment $\,PQ\,$ and the radius $\,OC\,.$

It results that $\,OC\perp PQ\,.$

Let $\,r\,$ be the perpendicular line from the centre $\,O\,$ to the segment $\,PC\,$ and let $\,H\,$ be the point of intersection.

It results that $\,PH\cong HC\,.$

Since $\,\angle PEF\cong\angle FEQ\,,\,$ we can apply the angle bisector theorem to the triangle $\,\triangle{PEQ}\,,\,$ consequently ,

$PE:EQ=PF:FQ\quad,\;$ hence ,

$(PE+EQ):EQ=(PF+FQ):FQ\quad,$

$(PE+EQ):EQ=PQ:FQ\quad,$

$(PE+EQ):PQ=EQ:FQ\;.\qquad\color{blue}{(1)}$

Since the triangles $\,\triangle{EQF}\,$ and $\,\triangle{PCF}\,$ are similar, we get the following proportion :

$EQ:FQ=PC:FC\;.\qquad\color{blue}{(2)}$

Since the triangles $\,\triangle{FCG}\,$ and $\,\triangle{OCD}\,$ are similar, we get the following proportion :

$FC:GC=OC:DC\quad,$

$FC:GC=OC:PC\;.\qquad\color{blue}{(3)}$

Since the triangles $\,\triangle{OCH}\,$ and $\,\triangle{PCG}\,$ are similar, we get the following proportion :

$OC:PC=HC:GC\;.\qquad\color{blue}{(4)}$

From $\,(3)\,$ and $\,(4)\,,\,$ it follows that

$FC:GC=HC:GC\quad,\;$ hence ,

$FC\cong HC\;.\qquad\color{blue}{(5)}$

From $\,(1)\,,\,(2)\,$ and $\,(5)\,,\,$ it follows that

$(PE+EQ):PQ=PC:HC\;.$

Since $\,PC\cong2HC\,,\,$ we get that

$PE+EQ\cong2PQ\quad,\;$ consequently ,

$\text{Perimeter}\left(\triangle{PEQ}\right)\cong3PQ\quad\;$ and

$PQ\cong\dfrac13\,\text{Perimeter}\left(\triangle{PEQ}\right)\,.$