Euclidea Chord Trisection

Euclidea

Merry Christmas! Curzon and I have been working through Euclidea problems. For those unfamiliar, Euclidea is a geometric construction puzzle game where you solve problems using only compass and straightedge, trying to minimize the number of moves.

We’ve been making good progress through the packs, but recently hit a wall on the Chord Trisection problem in the Kappa pack.

Problem 10.8 (Kappa)

Construct a chord of the larger circle through the given point that is divided into three equal segments by the smaller concentric circle.

The Search for Optimality

We were able to find a solution that worked using a brute-force power-of-a-point approach, which earned us the basic completion star. However, Euclidea gives you bonus stars for finding the optimal solutions, and we were completely stumped.

For each problem there are two independent optimal solutions. One is measured based on the number of “L” moves you make, the other based on the number of “E” moves. This particular problem’s optimal solutions are listed as 3L and 4E:

• 3L = 3 Lines/tools (including advanced constructions like perpendicular bisectors, angle bisectors, parallel lines, and perpendiculars, which each count as 1L but might require 3-4 elementary steps to construct)
• 4E = 4 Elementary steps (using only basic constructions: points, lines, and circles)

These seemed impossibly efficient compared to our approach. After much head-scratching, we finally caved and checked the Euclidea Wiki.

The 4E Solution

Here are the construction steps:

1. Construct line $AB$, intersecting the smaller circle at $C$ (closer to $B$) and the larger circle at $D$
2. Construct circle $C$ with radius $CB$
3. Let this circle intersect line $AB$ at $E$
4. Construct circle $D$ with radius $DE$, intersecting smaller circle at $F$
5. Construct line $BF$ - this is your trisected chord!

Extremely efficient. There’s just one question: Why does this work? Let’s just check the Explanation section…

Huh, empty. Well, let’s see if we can figure out why!

Proof

For the duration of this proof, let:

• $r$ = radius of the inner circle
• $R$ = radius of the outer circle

The key insight is to introduce an auxiliary point $I$, which is the reflection of point $F$ across the circle center $A$, creating diameter $IF$:

Also observe that we only need to prove $BG=GF$. Trisection follows since it should be obvious from the symmetry of the problem that $BG$ is always congruent to $FH$ since the circles are concentric.

Step 1: Congruent Triangles

Connect $DF$ and $IB$. We claim that $\triangle AIB \cong \triangle AFD$:

These triangles are congruent by SAS:

• $IA = AF = r$ (both are radii of the inner circle, since $I$ and $F$ are reflections across $A$)
• $AB = AD = R$ (both are radii of the outer circle)
• $\angle IAB = \angle FAD$ (vertical angles)

Therefore $\triangle AIB \cong \triangle AFD$, which means $IB \cong DF$.

Step 2: The Radius of Circle D

By construction, circle $D$ has radius $2r$. This could be demonstrated rigorously by comparing all of the segments along segment $BD$, but it should be pretty obvious that the purpose of circle $C$ is to provide point $E$ a distance $BC$ on the other side of point $C$.

Step 3: Isosceles Triangle

From Step 1, we have $IB = DF$, and from Step 2, we have $DF = 2r$ (the diameter of the inner circle). But $IF$ is also a diameter of the inner circle. Therefore $IB = IF$, which means $\triangle BIF$ is isosceles!

Step 4: IG is a Median

Points $I$, $G$, and $F$ are concyclic on the inner circle. Since $IF$ is a diameter, by the inscribed angle theorem, $\angle IGF = 90°$:

Therefore $\angle IGF = 90°$, so $IG$ is an altitude of triangle $BIF$. Since triangle $BIF$ is isosceles with $IB = IF$ (from Step 3), altitudes are also medians. Therefore $G$ is the midpoint of $BF$, giving us $BG = GF$.