Kvant Math Problem 178

Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m20s
Source on kvant.digital

Problem

From any point $P$ on the bisector of angle $A$ of triangle $ABC$, drop perpendiculars $PA_1$, $PB_1$, $PC_1$ to its sides $BC$, $CA$ and $AB$ respectively. Let $R$ be the intersection point of lines $PA_1$ and $B_1C_1$. Prove that the line $AR$ bisects the side $BC$.

Exploration

Let $A$ be the vertex of the angle whose bisector contains $P$. The construction involves three perpendicular feet forming the pedal triangle of $P$ with respect to $ABC$. Since $P$ lies on the internal angle bisector of $\angle A$, the configuration suggests a reflection symmetry across that bisector exchanging the rays $AB$ and $AC$ while preserving $BC$ as a set.

Under this reflection, the points $B$ and $C$ are interchanged, hence the feet $B_1$ and $C_1$ of the perpendiculars from $P$ to $CA$ and $AB$ should be symmetric with respect to the bisector, while the foot $A_1$ to $BC$ remains constrained by the invariance of $P$ and $BC$ under the symmetry.

The key structural expectation is that $B_1C_1$ is symmetric with respect to the angle bisector and therefore meets it at its midpoint, and that the line $PA_1$ coincides with the bisector. The intersection point $R$ then becomes the midpoint of $B_1C_1$, and the final step should relate this midpoint back to the midpoint of $BC$ via a symmetry argument on the entire configuration.

The most delicate point is justifying that the foot constructions preserve symmetry rigorously under reflection, especially the behavior of perpendicular projections onto symmetric lines.

Problem Understanding

The problem asks to prove that a specific line determined by a point $P$ on the internal angle bisector of $\angle A$ and the orthocentric-type construction of feet of perpendiculars produces a line $AR$ that bisects the segment $BC$.

This is a Type B statement, since we must prove a geometric property rather than find or construct an object.

The core difficulty lies in exploiting the symmetry induced by the angle bisector while correctly tracking how perpendicular projections behave under that symmetry. The expected outcome is that the configuration reduces to a reflection-invariant structure forcing collinearity and midpoint properties.

Proof Architecture

The proof will proceed by introducing a coordinate system in which the angle bisector of $\angle A$ becomes an axis of symmetry. A lemma will establish that reflection across this axis swaps $B$ and $C$ and preserves $P$. A second lemma will show that perpendicular feet from $P$ to symmetric lines are themselves symmetric, yielding that $B_1$ and $C_1$ are reflections of each other and that $A_1$ lies on the symmetry axis.

A third lemma will identify $R$ as the midpoint of $B_1C_1$ because it is the intersection of the symmetry axis with that segment. A final lemma will show that the same axis intersects $BC$ at its midpoint, completing the claim.

The most delicate step is the justification that orthogonal projections commute with the reflection symmetry in this configuration.

Solution

Place a Cartesian coordinate system so that $A$ is at the origin and the internal bisector of $\angle A$ coincides with the $x$-axis. Then the rays $AB$ and $AC$ are symmetric with respect to the $x$-axis, so $B$ and $C$ are mirror images with respect to this axis. Since $P$ lies on the angle bisector of $\angle A$, the point $P$ also lies on the $x$-axis and is fixed by the reflection across this axis.

Let $\sigma$ denote the reflection across the $x$-axis. The line $BC$ is invariant under $\sigma$ as a set because $B$ and $C$ are interchanged, hence $\sigma(BC)=BC$.

Consider $A_1$, the foot of the perpendicular from $P$ to $BC$. The point $P$ lies on the $x$-axis and is fixed by $\sigma$, and the line $BC$ is invariant under $\sigma$, while orthogonality is preserved by reflections. Therefore the perpendicular from $P$ to $BC$ is mapped to itself under $\sigma$, which implies that its intersection point $A_1$ with $BC$ is fixed by $\sigma$. Hence $A_1$ lies on the $x$-axis.

Similarly, let $B_1$ be the foot from $P$ to $CA$ and $C_1$ the foot from $P$ to $AB$. Since $\sigma$ swaps the lines $AB$ and $AC$ and fixes $P$, it maps the perpendicular from $P$ to $AB$ onto the perpendicular from $P$ to $AC$. Consequently $\sigma(C_1)=B_1$, so the segment $B_1C_1$ is symmetric with respect to the $x$-axis.

Because $B_1$ and $C_1$ are symmetric with respect to the $x$-axis, the line $B_1C_1$ intersects the $x$-axis at its midpoint. Since $P$ and $A_1$ both lie on the $x$-axis, the line $PA_1$ is the $x$-axis, hence the point $R$ defined as the intersection of $PA_1$ and $B_1C_1$ is precisely the midpoint of segment $B_1C_1$. Therefore $R$ lies on the $x$-axis.

The line $AR$ is thus the $x$-axis. It remains to show that this axis bisects $BC$. Since $B$ and $C$ are symmetric with respect to the $x$-axis, the intersection point of $BC$ with the $x$-axis is the midpoint of $BC$. Hence $AR$ intersects $BC$ at its midpoint, which means $AR$ bisects $BC$.

This completes the proof. ∎

Verification of Key Steps

The first critical point is the invariance of perpendicular projection under reflection. Reflection across a line preserves distances and angles, hence sends a perpendicular segment from $P$ to a line $l$ to the perpendicular segment from $\sigma(P)$ to $\sigma(l)$, which coincides with the original segment because both $P$ and $l$ are invariant or mapped onto corresponding symmetric objects.

The second delicate point is the conclusion that $B_1C_1$ meets the axis at its midpoint. This follows because reflection across the axis fixes the axis pointwise and swaps $B_1$ with $C_1$, so their intersection with the axis must be invariant under this swap and hence is the midpoint.

The final subtle point is the identification of the midpoint of $BC$ as the intersection of $BC$ with the symmetry axis. Since $B$ and $C$ are mirror images with respect to the axis, the fixed point of this reflection on the line segment $BC$ is its midpoint, as any point fixed by reflection must lie on the axis and symmetry forces equal distances to endpoints.

Alternative Approaches

A synthetic alternative avoids coordinates by working entirely with reflection in the angle bisector of $\angle A$. One shows directly that the pedal triangle of $P$ is symmetric with respect to this bisector, implying that $B_1C_1$ is symmetric and $A_1$ lies on the bisector. From there, the concurrency point $R$ is identified as the image of the symmetry axis intersection with $B_1C_1$, and the conclusion follows by mapping symmetry between $B$ and $C$ on $BC$. This approach is shorter conceptually but requires careful handling of reflection properties without coordinate grounding.