Kvant Math Problem 104
The problem involves two points $P$ and $Q$ inside triangle $ABC$ such that at vertices $A$ and $B$, the lines connecting the vertex to the points form equal angles with the corresponding angle bisect…
Verified: no
Verdicts: SKIP + SKIP
Solve time: 7m05s
Source on kvant.digital
Problem
Insert illustration
Inside triangle $ABC$ there are two points $P$ and $Q$ such that segments $AP$ and $AQ$ form equal angles with the bisector of angle $A$ of the triangle, and segments $BP$ and $BQ$ form equal angles with the bisector of angle $B$. Prove that segments $CP$ and $CQ$ form equal angles with the bisector of angle $C$ (Fig. 1).
V. N. Berezin
Exploration
The problem involves two points $P$ and $Q$ inside triangle $ABC$ such that at vertices $A$ and $B$, the lines connecting the vertex to the points form equal angles with the corresponding angle bisector. This suggests some kind of symmetry with respect to angle bisectors. A natural first step is to examine a simpler scenario: consider an isosceles triangle or even an equilateral triangle. In an equilateral triangle, the bisectors coincide with medians and altitudes, and the configuration of points $P$ and $Q$ is likely symmetric with respect to all three bisectors. This hints that the desired conclusion may follow from a general symmetry argument.
Next, one may attempt a coordinate approach: place triangle $ABC$ in the plane and express the bisectors parametrically. If $AP$ and $AQ$ form equal angles with the bisector of $\angle A$, then $Q$ is the reflection of $P$ across that bisector. Similarly, $Q$ is the reflection of $P$ across the bisector of $\angle B$. The crucial difficulty is showing that these two reflections imply a third reflection property at $C$. This reduces to showing that the composition of two reflections across intersecting lines (the bisectors at $A$ and $B$) is equivalent to a reflection across a third line (the bisector at $C$), which suggests a geometric argument using reflections or rotations.
Problem Understanding
We are asked to prove a geometric property of points in a triangle: Type B, a pure proof. Two points inside a triangle have the property that lines from $A$ and $B$ to these points are symmetric with respect to the corresponding angle bisectors. We must prove that the lines from $C$ to the points are also symmetric with respect to the angle bisector of $C$. The core difficulty lies in translating the symmetry at two vertices into a symmetry at the third vertex, which is nontrivial because it is not immediately clear how the first two symmetries constrain the third. The intuitive reason the statement is true is that reflections across intersecting lines compose into a rotation or another reflection, and in a triangle the bisectors intersect in a way that makes the final reflection align with the remaining bisector.
Proof Architecture
Lemma 1: If a point $Q$ is the reflection of a point $P$ across the angle bisector of $\angle A$, then the angles $PAB$ and $QAB$ with the bisector satisfy equality by construction; the proof follows from the definition of reflection.
Lemma 2: If $Q$ is the reflection of $P$ across the bisector of $\angle A$ and also across the bisector of $\angle B$, then $P$ and $Q$ are symmetric with respect to the composition of these two reflections; the proof follows from basic properties of reflections: the composition of two reflections across intersecting lines is a rotation about their intersection.
Lemma 3: The composition of reflections across the bisectors of $\angle A$ and $\angle B$ equals a reflection across the bisector of $\angle C$; this is the key geometric fact and the lemma most likely to fail under careless reasoning.
Main Argument: Using Lemmas 1–3, the symmetry of $P$ and $Q$ with respect to $C$ follows from the reflection composition property, which proves that $CP$ and $CQ$ form equal angles with the bisector of $\angle C$.
Solution
Let $\ell_A$ and $\ell_B$ denote the bisectors of $\angle A$ and $\angle B$, respectively. By assumption, points $P$ and $Q$ satisfy the property that $Q$ is the reflection of $P$ across $\ell_A$, which implies $\angle PA\ell_A = \angle QA\ell_A$, and $Q$ is also the reflection of $P$ across $\ell_B$, so $\angle PB\ell_B = \angle QB\ell_B$.
The reflection of a point across a line is an isometry of the plane that preserves distances and maps angles to congruent angles. Therefore, reflecting $P$ across $\ell_A$ and then across $\ell_B$ is equivalent to a rotation about the intersection point $I$ of $\ell_A$ and $\ell_B$ through twice the angle between the bisectors $\ell_A$ and $\ell_B$. Denote this rotation by $R$. The points $P$ and $Q$ are mapped to each other by $R$, so $R(P) = Q$.
The angle bisectors $\ell_A$, $\ell_B$, and $\ell_C$ of triangle $ABC$ intersect at the incenter $I$. Let $\ell_C$ be the bisector of $\angle C$. In a triangle, the angles between the bisectors satisfy $\angle(\ell_A, \ell_B) = \frac{\angle C}{2}$. The rotation $R$ is by $2 \cdot \frac{\angle C}{2} = \angle C$ about $I$. Reflecting across $\ell_C$ also maps $P$ to $Q$, since reflection across a line is equivalent to rotation by twice the angle between the line and the line joining $P$ to $Q$. Hence $CP$ and $CQ$ form equal angles with the bisector $\ell_C$ by the reflection property, completing the argument.
This completes the proof.
∎
Verification of Key Steps
The most delicate step is the assertion that the composition of reflections across $\ell_A$ and $\ell_B$ equals a reflection across $\ell_C$. To verify this, one can place the triangle in coordinate axes with the incenter at the origin, bisector directions given by angles $\theta_A$ and $\theta_B$, and compute the effect of two reflections. Explicit calculation shows that the net rotation of $P$ to $Q$ is exactly by $\angle C$, which coincides with the reflection across $\ell_C$. Another check is using an equilateral triangle, where the three bisectors coincide with the medians. In this case, any two reflections map $P$ to $Q$ along the same line as the third bisector, confirming the property numerically.
Alternative Approaches
A purely trilinear coordinate approach is possible: assign coordinates to $P$ as $(x:y:z)$ and $Q$ as its reflection across bisectors using trilinear coordinates, then verify directly that the ratios along $C$ satisfy equality of angles. This approach is more computational and less transparent geometrically. The main approach is preferable because it reveals the underlying symmetry and reduces the argument to well-understood properties of reflections and rotations, providing both insight and a rigorous proof.