You can view the solution by clicking on the solution tab.
Editorial
Need a hint? Checkout the editorial.
View Editorial
Editorial
- $FQ$ is the external bisector of $\angle DQC$.
- For some collinear points $A,B,C,D$, The expression $(A,B;C,D)$ represents the value of $\frac{AC}{AD} \times \frac{BD}{BC}$, calculated using directed lengths. To understand this concept better, consider $(F,S;D,C)$. Here $SD/SC$ is negative because $SD$ and $SC$ point in opposite directions. However, $SD/CS$ is positive, as swapping the labels changes the direction of comparison. For more details, refer to Chapter $9$ of $\textit{EGMO}$.
- To know why $(F,S;D,C)=-1$, read chapter $9$ of $\textit{EGMO}$.
- $E,S,G,P,Q$ are collinear.
- By \textbf{Brocard's theorem}, $O$ is the orthocenter of $\triangle EFG$
- Using Lemma $9.18$ from EGMO, we deduced that $FQS=90^\circ$ or $SQ\perp FO$. Additionally, the same lemma is used to deduce that $\angle DPC=90^\circ$.
- $D,P,C,E$ are concyclic.