Lol
by math154, Jul 30, 2010, 9:04 PM
(IMO 2004.5). In a convex quadrilateral
, the diagonal
bisects neither the angle
nor the angle
. The point
lies inside
and satisfies
Prove that
is a cyclic quadrilateral if and only if
.
Solution
In other news, apparently I have to go to California for a week where I will be forced to do "fun" stuff. Yay. After coming back there will only be one more week until school. I have not completed my AP Euro summer homework yet. FML. I do not know how I will manage to survive high school.






![\[\angle{PBC}=\angle{DBA}\quad\text{and}\quad\angle{PDC}=\angle{BDA}.\]](http://latex.artofproblemsolving.com/a/c/a/aca6b2f568e34be9108ce68b738b8c14c582fe68.png)


Solution
Let
and
.
If
is cyclic, then simple angle chasing gives
and
. Also,
and
, so
and
so
as well. Thus
and
.
Now we assume
. We can use the Law of Sines on
,
,
,
to obtain
and
, we know
Multiplying this with the previous equation we now have
Since
(i.e.
does not lie on
or else
would lie on
and bisect
), this means that
. Using
, (2)/(3) now gives us
Thus the circumradii of
and
are equal, and we're done since
is convex.*
I feel so crappy for not realizing that
were isogonal conjugates with respect to
. 
Edit: Alex pointed out that this is obviously incorrect. Easy angle chasing eventually kills this though.


If





![\[\frac{BC}{CY}=\frac{BD}{DA}\implies CY=\frac{AD\cdot BC}{BD}\]](http://latex.artofproblemsolving.com/4/1/e/41eb6d9e2f34c1ea975cc4f1683fa9d828876f45.png)
![\[\frac{DA}{AX}=\frac{DB}{BC}\implies AX=\frac{AD\cdot BD}{BD},\]](http://latex.artofproblemsolving.com/e/a/8/ea8ee4fb0c24786d0e065a15ddc70d84aa9fdb03.png)



Now we assume





\[\begin{align} \frac{AP}{\sin\angle{DBC}}=\frac{AP}{\sin\angle{ABP}}=\frac{AB}{\sin\angle{APB}}=\frac{AB}{\sin\angle{APY}}\\ \frac{AP}{\sin\angle{BDC}}=\frac{AP}{\sin\angle{ADP}}=\frac{AD}{\sin\angle{APD}}=\frac{AD}{\sin\angle{APX}}\\ \frac{CP}{\sin\angle{DBA}}=\frac{CP}{\sin\angle{CBP}}=\frac{CB}{\sin\angle{CPB}}=\frac{CB}{\sin\angle{CPY}}\\ \frac{CP}{\sin\angle{BDA}}=\frac{CP}{\sin\angle{CDP}}=\frac{CD}{\sin\angle{CPD}}=\frac{CD}{\sin\angle{CPX}}. \end{align}\]From (1)(3)/(2)(4), we have
\[\begin{align*} \frac{\sin\angle{BDC}}{\sin\angle{DBC}}\cdot\frac{\sin\angle{BDA}}{\sin\angle{DBA}} &=\frac{AB}{AD}\cdot\frac{CB}{CD}\cdot\frac{\sin\angle{APX}}{\sin\angle{APY}}\cdot\frac{\sin\angle{CPX}}{\sin\angle{CPY}}\\ &=\frac{AB}{AD}\cdot\frac{CB}{CD}\cdot\frac{\cos(\angle{APX}+\angle{CPX})-\cos(\angle{APX}-\angle{CPX})}{\cos(\angle{APY}+\angle{CPY})-\cos(\angle{APY}-\angle{CPY})}. \end{align*}\]But by the Law of Sines on


![\[\frac{AB}{AD}\cdot\frac{CB}{CD}=\frac{\sin\angle{BDA}}{\sin\angle{DBA}}\cdot\frac{\sin\angle{BDC}}{\sin\angle{DBC}}.\]](http://latex.artofproblemsolving.com/b/8/3/b835f169eb589a54975d2ffe2267b3e65d30385d.png)
![\[\cos(\angle{APX}-\angle{CPX})=\cos(\angle{APY}-\angle{CPY}).\]](http://latex.artofproblemsolving.com/b/6/d/b6dcd895829c7051734f80c6ab3986790390b61d.png)








![\[\frac{\sin{DBA}}{\sin{BDC}}=\frac{AD}{CB}\Longleftrightarrow\frac{AD}{\sin{DBA}}=\frac{CB}{\sin{BDC}}.\]](http://latex.artofproblemsolving.com/b/c/7/bc7ed41285638045ca8240e2dbd2c147f5bd00f6.png)



I feel so crappy for not realizing that



Edit: Alex pointed out that this is obviously incorrect. Easy angle chasing eventually kills this though.
In other news, apparently I have to go to California for a week where I will be forced to do "fun" stuff. Yay. After coming back there will only be one more week until school. I have not completed my AP Euro summer homework yet. FML. I do not know how I will manage to survive high school.
This post has been edited 10 times. Last edited by math154, Jan 15, 2011, 12:27 AM