Prove that diagonals of a convex quadrilateral are perpendicular if and only if inside of the quadrilateral there is a point, whose orthogonal projections on sides of the quadrilateral are vertices of a rectangle.
Problem
Source: Polish MO Finals 2015
Tags: contests, geometry
28.07.2016 19:34
We can bash this problem with applications of Pythagorean theorem and Law of Cosines, but here is a nicer way and more instructive Let $ABCD$ be the quadrilateral. Let $AB\cap CD=Y, AD \cap BC = Z, AC \cap BD = X$. First suppose that the diagonals are perpendicular. Let the perpendicular from $X$ to $AB$ meet $AB, CD$ at $M, M'$. Let the perpendicular from $X$ to $BC$ meet $BC, DA$ at $N, N'$. Let the perpendicular from $X$ to $CD$ meet $CD, AB$ at $P,P'$. Let the perpendicular from $X$ to $DA$ meet $DA,BC$ at $Q,Q'$. Lemma: $MNPQM'N'P'Q'$ is cyclic. Proof: Angle chase. First, note $\angle XQP = \angle XDP = \angle PXC=\angle PNC$, thus $QPNQ'$ is cyclic. Similarly we know $QPMQ'$ is cyclic, thus $Q' \in (MNPQ)$. Similarly we know $M',N',P' \in (MNPQ)$ as desired. It's clear that $M'N'P'Q'$ is a rectangle because $M'P',N'Q'$ are both diameters of $(MNPQ)$. Now, let $X'$ be a point with $X'P' \perp AB, X'M' \perp CD$. From the properties of the pedal circles of isogonal conjugates, it's easy to deduce that $X,X'$ are isogonal conjugates w.r.t. $\triangle YAD$, thus $X'N' \perp AD$. Similarly by looking at $\triangle YBC$ we know that $X'Q' \perp BC$, thus $X'$ is a point so that its projections onto the sides of $ABCD$ form a rectangle, namely $M'N'P'Q'$. Next, we suppose we are given the quadrilateral $ABCD$, a point $X'$ with the property that its projections on the sides form a rectangle, and let the projections be $M',N',P',Q'$ similar to earlier (so $P'\in AB, Q'\in BC, M'\in CD, N' \in DA$). Define $Y,Z$ the same as before. Let $(M'N'P'Q')$ cut $AB,BC,CD,DA$ again at $M,N,P,Q$. Similarly to before, let $X$ be a point so $XM\perp AB, XP \perp CD$. Then we know $X,X'$ are isogonal conjugates w.r.t. $\triangle YAD$, thus $XQ \perp AD$, and similarly by looking at $\triangle YBC$ we know $XN \perp BC$. Now we angle chase: $\angle DXC = \angle DXP + \angle CXP = \angle DQP + \angle CNP$. This in turn equals $\angle DM'N' + \angle CM'Q' = 180 - \angle N'M'Q' = 90$. Therefore $X \in (CD)$. Similarly, $X \in (AD)$ so $\angle AXD + \angle CXD = 180 \implies X\in AC$ and similarly we know $X\in BD$. Then it's easy to see $AC,BD$ are perpendicular at $X$, so we are done.
31.07.2016 17:34
See ISL 2008 G6-it's not too hard to see these are equivalent.
10.03.2017 07:00
Using a well fact can prove the problem fast: A point $P$ has a isogonal conjugation wrt $ABCD$ point if and only if $\measuredangle APD=\measuredangle BPC$