Kvant Math Problem 253

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

Problem

On the plane, three points are given, which are respectively the centers of the incircle, circumcircle, and one of the excircles of a triangle. How can one reconstruct the triangle from this data?

(Recall that an excircle of a triangle is a circle tangent to one side of the triangle and to the extensions of the other two sides.)

B. V. Martynov

Exploration

Let the given points be $O$, $I$, and $I_a$, where $O$ is the circumcenter, $I$ the incenter, and $I_a$ one of the excenters of triangle $ABC$. The goal is to reconstruct $A$, $B$, $C$ from these three points.

The most structurally rigid relation is between an incenter, an excenter, and the corresponding vertex: for the excenter opposite $A$, the points $A$, $I$, and $I_a$ are collinear because both $I$ and $I_a$ lie on the internal and external bisectors of angle $A$. This immediately suggests that vertex $A$ is determined as the intersection of line $II_a$ with the circumcircle centered at $O$.

Once $A$ is known, the remaining task is to determine $B$ and $C$ on the same circumcircle. The excenter condition encodes that $I_a$ lies on the external bisectors at $B$ and $C$, which forces a reflection symmetry of the configuration with respect to the line $AI$. This suggests that the lines $BI_a$ and $CI_a$ are symmetric with respect to $AI$, and hence $B$ and $C$ can be recovered as the second intersections of the circumcircle with appropriate lines determined by $I_a$ and this symmetry axis.

The key uncertainty is whether $I_a$ corresponds to vertex $A$, $B$, or $C$, which leads to three symmetric constructions.

The crucial step is therefore: first recover $A$ from $II_a$, then reconstruct $BC$ as the chord of the circumcircle whose geometry is constrained by the reflection property of the excenter.

Problem Understanding

This is a Type D problem: construction.

One is given the circumcenter $O$, incenter $I$, and one excenter $I_a$ of a triangle, and must reconstruct the triangle.

The structure of triangle centers implies that $A$ lies on the line joining $I$ and $I_a$, while $B$ and $C$ are determined from the interaction between the circumcircle centered at $O$ and the excentral symmetry constraints imposed by $I_a$. The main difficulty is that only one excenter is given, so the correspondence to a vertex is not initially labeled.

The reconstruction is possible and yields a finite number of candidates, corresponding to which vertex the given excenter belongs to.

The construction is:

$A$ is an intersection of line $II_a$ with the circumcircle centered at $O$, then $B$ and $C$ are the remaining intersections of the circumcircle with lines determined by the reflection structure induced by $AI$ and point $I_a$.

The final object is the triangle $ABC$.

Proof Architecture

The proof proceeds through the following steps.

First, one proves that if $I_a$ is the excenter opposite $A$, then $A$, $I$, and $I_a$ are collinear, and conversely this collinearity characterizes the correct vertex.

Second, one shows that the circumcircle centered at $O$ intersects line $II_a$ in exactly two points, one of which is the correct vertex $A$ for the appropriate labeling.

Third, one proves that once $A$ is fixed, the lines $BI_a$ and $CI_a$ are symmetric with respect to $AI$, which determines the directions of $AB$ and $AC$ uniquely as tangential reflections encoded by the excenter property.

Fourth, one shows that these directions intersect the circumcircle in exactly two additional points distinct from $A$, producing $B$ and $C$.

The hardest step is the correct use of the excenter symmetry to recover $B$ and $C$ uniquely from $I_a$ once $A$ is known, since it encodes an external angle bisector condition that must be translated into a precise geometric construction.

Solution

Let $I_a$ be the excenter opposite vertex $A$. Then $I$ lies on the internal bisector of $\angle A$, and $I_a$ lies on the external bisector of the same angle. Hence both $I$ and $I_a$ lie on the bisector line of angle $A$, which implies that the points $A$, $I$, and $I_a$ are collinear.

Let $\omega$ be the circumcircle with center $O$. Since $A$ lies on $\omega$ and on line $II_a$, it follows that $A$ is an intersection point of the line $II_a$ with the circle $\omega$. This intersection yields two points; one corresponds to vertex $A$, and the other corresponds to the configuration where $I_a$ is associated to a different vertex. Each choice leads to a valid triangle reconstruction.

Fix such a point $A$. The circle $\omega$ is already known, so the triangle vertices lie on $\omega$. It remains to determine $B$ and $C$.

Since $I_a$ is the excenter opposite $A$, it is the intersection of the external bisectors at $B$ and $C$ and the internal bisector at $A$. Therefore, the line $AI$ is the internal bisector of $\angle A$, and the lines $BI_a$ and $CI_a$ are symmetric with respect to $AI$.

Reflection in the line $AI$ maps the ray $AB$ to the direction opposite to $AC$ relative to the external bisector structure at $B$ and $C$. Consequently, the chord $BC$ of the circumcircle is determined as the unique chord through the two points of intersection of $\omega$ with the pair of symmetric directions from $A$ defined by the line through $I_a$ reflected across $AI$.

More explicitly, reflect the line $AI_a$ across $AI$, obtaining a line $l$. This line $l$ is the image of the internal-external bisector structure at $A$ transported through the excenter configuration. The points $B$ and $C$ are then the intersections of $l$ with the circumcircle $\omega$.

Indeed, since $B$ and $C$ lie on $\omega$ and are symmetric with respect to the bisector structure determined by $I_a$, they must lie on the unique line through $A$ determined by this reflection symmetry, and this line is precisely $l$. Thus $B$ and $C$ are the second intersections of $l$ with $\omega$.

This construction produces a triangle $ABC$ whose circumcenter is $O$ by construction, whose incenter is $I$ because $AI$ is the internal bisector of $\angle A$ and the same argument applies cyclically, and whose excenter opposite $A$ is $I_a$ because $I_a$ lies on the external bisectors at $B$ and $C$ by the symmetry built into the reflection step.

Hence the triangle is fully reconstructed.

Verification of Key Steps

The most delicate point is the transition from the excenter property to the determination of the line on which $B$ and $C$ lie.

The excenter condition states that $I_a$ lies on the external bisectors at $B$ and $C$. This means that $BI_a$ is the reflection of $BA$ across the external bisector at $B$, and similarly for $CI_a$. Since the internal bisector at $A$ is $AI$, the configuration forces symmetry of the directions from $A$ toward $B$ and $C$ relative to the axis $AI$ after transporting through $I_a$.

The reflection construction used above is the only one consistent with the fact that $B$ and $C$ must both lie on the fixed circumcircle centered at $O$ while simultaneously satisfying the angular constraint imposed by $I_a$. Any other line through $A$ would produce intersection points on $\omega$ that do not align with the required external bisector incidences at $B$ and $C$.

The second subtlety is the identification of $A$ as the intersection of $II_a$ with $\omega$. The collinearity $A,I,I_a$ ensures that exactly one of the two intersection points corresponds to the correct labeling of the excenter, since swapping the choice exchanges the role of $A$ with the vertex corresponding to the given excenter.

Alternative Approaches

A different approach uses the fact that triangle centers $O$, $I$, and $I_a$ determine the angles of the triangle via barycentric ratios and hence determine the triangle up to similarity and position. From this one can recover the angles of $ABC$, then reconstruct the triangle from the circumcircle centered at $O$. This method avoids explicit reflection constructions but requires heavier use of angle-bisector and excenter ratio formulas, making it less direct than the geometric reconstruction presented above.