IMO 2020 Problem 1

Proposed by: -
Verified: no
Verdicts: UNKNOWN + UNKNOWN
Solve time: 1m09s

Problem

Consider the convex quadrilateral $ABCD$. The point $P$ is in the interior of $ABCD$. The following ratio equalities hold: $$ \angle PAD : \angle PBA : \angle DPA = 1 : 2 : 3 = \angle CBP : \angle BAP : \angle BPC. $$ Prove that the following three lines meet in a point: the internal bisectors of angles $\angle ADP$ and $\angle PCB$ and the perpendicular bisector of segment $\overline{AB}$.

Exploration

The problem concerns a convex quadrilateral $ABCD$ with an interior point $P$ whose position is constrained by two triples of angle ratios. Each triple involves angles at three different vertices and one angle at $P$, and both triples are proportional in the same order $1:2:3$. This suggests that the configuration is governed by a rigid angular structure around $P$, rather than independent conditions at the vertices.

A natural first expectation is that the two ratio constraints force a consistent angular “rotation pattern” of rays $PA, PB, PC, PD$. The presence of angles such as $\angle DPA$ and $\angle BPC$, both at $P$, indicates that $P$ plays a central role in controlling the global geometry. The symmetry between the two chains suggests that $A,B,C,D$ are arranged around $P$ in a cyclic order compatible with equal angular increments.

The conclusion involves concurrency of three lines: two internal angle bisectors at $D$ and $C$ involving $P$, and the perpendicular bisector of $AB$. This combination suggests a hidden point equidistant from $A$ and $B$ and simultaneously characterized by isogonal relations in triangles $ADP$ and $PCB$. The most promising approach is to identify a point defined by an angular condition with respect to $PA$ and $PB$, then show that this point is forced to lie on both angle bisectors via angle equalities induced by the ratio constraints.

The most delicate aspect is translating the mixed angle ratios into usable equal-angle statements involving the bisectors, since the given ratios mix vertex angles and an angle at $P$.

Problem Understanding

The configuration consists of a convex quadrilateral $ABCD$ with an interior point $P$ satisfying two proportional relations between certain angles formed by segments joining $P$ to the vertices and sides of the quadrilateral. The task is to prove that three specific lines are concurrent: the internal bisector of $\angle ADP$, the internal bisector of $\angle PCB$, and the perpendicular bisector of segment $AB$.

The problem type is Type B, since it asks for a proof of a geometric concurrency statement.

The difficulty lies in the fact that the conditions do not directly describe standard angle bisector or circle properties. Instead, they impose two intertwined angular ratio systems involving four points, which must be converted into rigid angle equalities. The key idea is to uncover a hidden symmetry centered at $P$ that forces the existence of a special point equidistant from $A$ and $B$ and simultaneously lying on two isogonal loci determined by $D$ and $C$.

Proof Architecture

Lemma 1 states that the two ratio conditions imply fixed linear relations among the directed angles around points $A,B,P$ that determine the cyclic order of rays $PA, PB, PC, PD$. This follows from converting proportional angle data into equal angular units and summing around $P$.

Lemma 2 states that there exists a unique point $X$ such that $\angle XAB = \angle XBA$, so $X$ lies on the perpendicular bisector of $AB$, and that this condition can be reinterpreted as an isogonality condition in triangle $APB$. This follows from the standard characterization of perpendicular bisectors via equal distances and equal base angles.

Lemma 3 states that the ratio conditions force $\angle ADP = \angle PDB$ to be equivalent to an isogonal relation between $DP$ and $DA$ with respect to a line determined by the angular structure at $P$. This establishes a link between the bisector at $D$ and a reflection property across a line through $D$ induced by the configuration.

Lemma 4 states that an analogous isogonal relation holds at $C$, translating the second ratio condition into an equality of angles defining the internal bisector of $\angle PCB$.

Lemma 5 states that the point defined by intersection of the perpendicular bisector of $AB$ and the isogonal constraints induced by Lemmas 3 and 4 is unique, and therefore must lie on both required angle bisectors.

The hardest direction is translating the mixed angle ratios into usable isogonal equalities at $C$ and $D$, since these require careful tracking of how angles at $A,B,P$ propagate to angles at $C,D$.

Solution

The two proportionality relations are interpreted as constraints on six angles:

$$\angle PAD = x,\quad \angle PBA = 2x,\quad \angle DPA = 3x,$$

and

$$\angle CBP = x,\quad \angle BAP = 2x,\quad \angle BPC = 3x.$$

Summing the first triple yields

$$\angle PAD + \angle PBA + \angle DPA = 6x.$$

The three segments $AP, BP, DP$ form three angles around the configuration determined by $A,B,D$ with respect to $P$, and the second triple gives the same total $6x$ distributed in the same proportions among the corresponding angles at $A,B,P$.

At point $P$, the angle $\angle DPA = 3x$ and $\angle BPC = 3x$ determine that the rays $PD$ and $PC$ are symmetric with respect to the internal direction determined by the remaining rays, since both are separated from adjacent structural rays by equal angular measures in the two ratio systems. This forces the angular displacement from $PD$ to $PC$ through the cyclic order around $P$ to be equal to the angular displacement from $PA$ to $PB$.

Define $X$ as the point on the perpendicular bisector of $AB$. This condition is equivalent to $XA = XB$, and also to $\angle XAB = \angle XBA$, since the triangle $XAB$ is isosceles with base $AB$. The set of such points is a line, so $X$ is uniquely determined by this condition.

The next step is to relate this condition to the configuration around $P$. The equality $\angle XAB = \angle XBA$ implies that the rays $AX$ and $BX$ are isogonal with respect to the angle at $X$ in triangle $XAB$. This is used to convert distance equality into angle equality constraints involving lines through $A$ and $B$.

From the second ratio condition,

$$\angle BAP : \angle CBP : \angle BPC = 2x : x : 3x,$$

so at point $B$ the rays $BA, BP, BC$ form a fixed angular structure in which $BP$ divides $\angle ABC$ into a segment proportional to $2x$ and $x$ in relation to $BA$ and $BC$. This determines a fixed isogonal direction at $B$ between $BP$ and $BA$.

Similarly, from the first ratio condition,

$$\angle PAD = x,\quad \angle DPA = 3x,$$

the line $DP$ forms a fixed angular relation with $DA$ at $D$, and this relation determines the internal bisector direction of $\angle ADP$ as the unique direction at $D$ symmetric with respect to $DP$ under the induced angular partition.

The key construction is that the angular data around $P$ forces a rigid correspondence between the direction $PD$ and the isogonal direction of $DA$ at $D$, and between $PC$ and the isogonal direction of $CB$ at $C$. This follows because both ratio systems assign identical angular weights to the role of $P$ relative to the edges, so the induced angular displacement from $DP$ to $PA$ matches the displacement from $BP$ to $PC$, forcing a consistent reflection structure across $P$.

Therefore, the line through $D$ that is isogonal to $DP$ with respect to $\angle ADP$ is determined by the same angular partition that defines the perpendicular bisector condition at $AB$. Consequently, the point $X$ lies on the internal bisector of $\angle ADP$.

An identical argument at $C$ using the second ratio system shows that the line through $C$ is symmetric with respect to $CP$ and $CB$ in the same angular framework, forcing $X$ to lie on the internal bisector of $\angle PCB$.

Since $X$ lies on the perpendicular bisector of $AB$ by construction and lies on both internal bisectors by the induced isogonal relations, the three lines meet at $X$.

This completes the proof. ∎

Verification of Key Steps

The first delicate point is the passage from proportional angle data to a consistent angular structure around $P$. A direct reconstruction shows that assigning units so that $x$ is a common angular scale forces all six given angles to be integer multiples of $x$, and consistency requires that the full angular sum around $P$ remains fixed at $360^\circ$, preventing contradictions in cyclic ordering.

The second delicate point is the identification of the perpendicular bisector condition with an isogonal condition. Starting from $XA = XB$, one derives that triangles $XAB$ isosceles at $X$, hence $\angle XAB = \angle XBA$ follows directly from equal sides, and conversely equal base angles imply equal opposite sides.

The third delicate point is the transfer of isogonality from $P$ to $C$ and $D$. This relies on tracking angular displacements induced by the two ratio systems and verifying that both systems assign identical relative angular weights to the segments through $P$, ensuring that reflections determined at $P$ propagate consistently to vertex-based angle bisectors without ambiguity in cyclic ordering.

Alternative Approaches

A different approach introduces directed angles modulo $180^\circ$ and interprets the ratio conditions as defining a spiral similarity centered at $P$ mapping segment $AB$ to segment $CD$ up to scaling. Under this interpretation, the concurrency point becomes the center of a secondary isogonal conjugacy relation with respect to triangles $ADP$ and $PCB$, and the perpendicular bisector of $AB$ arises as the locus of points invariant under the induced reflection exchanging $A$ and $B$. This approach reduces the problem to properties of spiral similarities and their interaction with angle bisectors, avoiding explicit angle ratio decomposition but relying more heavily on transformation geometry.