Let $ABCD$ be a convex quadrilateral. A circle passing through the points $A$ and $D$ and a circle passing through the points $B$ and $C$ are externally tangent at a point $P$ inside the quadrilateral. Suppose that \[\angle{PAB}+\angle{PDC}\leq 90^\circ\qquad\text{and}\qquad\angle{PBA}+\angle{PCD}\leq 90^\circ.\] Prove that $AB+CD \geq BC+AD$. Proposed by Waldemar Pompe, Poland
Problem
Source: IMO Shortlist 2006, Geometry 8
Tags: inequalities, geometry, circumcircle, triangle inequality, IMO Shortlist
01.07.2007 16:52
Just consider the intersection point $ Q$($ \not=P$) wrt a circumcircle of $ APB$ and a circumcircle of $ CPD$. Then a circle passing through the points $ A,Q,D$ and a circle passing through the points $ B,Q,C$ are also externally tangent at $ Q$, and given condition reduced to $ AQD, BQC \ge 90$. Now, the problem is easy.
05.06.2011 10:45
Could anyone please elaborate on the above proof? I don't quite get it. I can see why the circles through AQD and BQC are tangent only through a quick inversion through P, but can someone give a synthetic proof?
22.08.2011 18:58
EDIT: Fixed reversed inequality signs.
27.10.2011 03:07
23.06.2015 19:58
Why $Q$ is inside the convex quadrilateral?
22.06.2023 15:54
Let $Q$ be the second intersection of $(ABP)$ and $(CDQ)$. We claim that $(ADQ)$ and $(BCQ)$ are tangent. We will make use of the following lemma: $~$ If $ABCD$ is a convex quadrilateral and $X$ is an interior point then $(ABX)$ and $(CDX)$ are tangent if and only if $\angle AXD=\angle ABX+\angle XCD$. The proof of this lemma is omitted. $~$ Note that $\angle ADP+\angle BCP=\angle APB$ since $(ADP)$ and $(BCP)$ are tangent. However, $\angle AQB=\angle APB$ and $\angle ADP+\angle BCP = \angle ADQ+\angle BCQ$ by angle chasing, so we have \[\angle AQB=\angle ADQ+\angle BCQ\]and so the claim is true by the lemma. $~$ Now, WLOG let $P$ be closer to $AD$ than $Q$ then \begin{align*} \angle BQC &=360^\circ-\angle PQC-\angle PQB\\ &=\angle BAP+\angle CDP \\ &\le 90^\circ \end{align*}and similarly $\angle CDQ$ is not obtuse. $~$ Now, we can discard the diagram except $A,B,C,D,Q$. Let $A'$ and $D'$ be diametrically opposite on $(ADQ)$ such that $A'D'\parallel AD$, where $A,A',D',D$ are in that order. Define $B'$ and $C'$ similarly. We have because that $\angle AQD$ and $\angle BQC$ are acute, that $AD\le A'D'$, $BC\le B'C'$, and $AB\ge A'B'$ and $CD\ge C'D'$. $~$ Let $O_1$ and $O_2$ be the midpoints of $A'D'$ and $B'C'$, respectively, which happen to be the centers of $(ADQ)$ and $(BCQ)$. Let $M$ be the midpoint of $AC$. We have \begin{align*} AB+CD &\ge A'B'+C'D' \\ &= 2O_1M+2O_2M \\ &\ge 2O_1O_2 \\ =\ge 2O_1Q + 2O_2Q \\ =\ge A'D'+B'C' \\ \ge AD+BC \end{align*}as desired.