Page 1 of 1

Inscribed-Quad in an Excribed-Quad

Posted: Sun May 03, 2015 2:35 pm
by sowmitra
The quadrilateral $ABCD$ is excribed around a circle with centre $I$. Prove that, the projections of $B$ and $D$ on $IA$, $IC$ lie on a circle.

Sharygin Geometry Olympiad, Russia

Re: Inscribed-Quad in an Excribed-Quad

Posted: Mon May 04, 2015 1:28 am
by Nirjhor
You sure about the statement?

Re: Inscribed-Quad in an Excribed-Quad

Posted: Mon May 04, 2015 8:39 pm
by sowmitra
Extremely sorry for the typo... :oops:

Re: Inscribed-Quad in an Excribed-Quad

Posted: Mon May 04, 2015 9:43 pm
by Nirjhor
Image

Points $W,X$ are projections of $B$ and $Y,Z$ are projections of $D$ on $IA$ and $IC$ respectively. Multiple configs can occur, so angles are directed mod $\pi$.

Since $\measuredangle IWB=\measuredangle IXB=\pi/2$ quad $IWBX$ is cyclic. Similarly quad $IZDY$ is cyclic.

So we have \[\measuredangle WXI = \measuredangle WBI=\pi/2 - \measuredangle BIW=\pi/2+\measuredangle ABI+\measuredangle IAB=\frac{1}{2}\left(\pi+\measuredangle ABC+\measuredangle DAB\right)\] and similarly $\measuredangle IYZ=\frac{1}{2}\left(\pi+\measuredangle DCB+\measuredangle ADC\right)$.

Hence $WXYZ$ cyclic iff \[\measuredangle WXI=\measuredangle IYZ\Leftrightarrow \measuredangle ABC+\measuredangle DAB=\measuredangle DCB+\measuredangle ADC\] \[\Leftrightarrow \measuredangle ADC+\measuredangle DCB+\measuredangle CBA+\measuredangle BAD=0\] which is true for quad $ABCD$.

Re: Inscribed-Quad in an Excribed-Quad

Posted: Wed May 06, 2015 12:34 pm
by Tahmid
i could not visit the forum last 2 days for internet troubles . so didn't notice the typo update .
was trying to solve the previous .....then hssss :cry:

whatever, now i got the solution which nirjhor posted :|

Re: Inscribed-Quad in an Excribed-Quad

Posted: Fri Jun 19, 2015 12:49 pm
by tanmoy
I have got another solution.I am writing it shortly:
Suppose,$BX$ and $BW$ are perpendiculars to $CI$ and $AI$ respectively and suppose,$DZ$ and $DY$ are perpendiculars to $CI$ and $AI$.
$\measuredangle AID+\measuredangle BIC=0^{0}$.
$\measuredangle BIC+\measuredangle BIX=0^{0}$.
$\therefore \measuredangle BIX=\measuredangle AID$.
$\therefore \measuredangle XBI=\measuredangle XWI=\measuredangle YDI=\measuredangle YZI$.
$\therefore WXYZ$ is cyclic. :mrgreen: