The Laguerre Proof

The Sawayama-Thébault theorem is a classical result about circles inscribed in triangles — a specific configuration where incircles, excircles, and cevian lines produce a surprising collinearity. Generalizing the theorem to broader configurations was conjectured in 2016, with two specific extensions remaining open.

Platek proves both conjectures using Laguerre geometry.

Laguerre geometry works with oriented circles and oriented lines — circles with a chosen direction of traversal. Points are replaced by oriented circles, incidence is replaced by oriented tangency, and the group of transformations preserves oriented contact. This changes the natural objects of study: configurations that are complicated in Euclidean terms become clean in Laguerre terms, because the orientation encodes information that Euclidean geometry treats as auxiliary.

The Sawayama-Thébault configuration involves tangent circles — precisely the objects Laguerre geometry is designed to handle. The conjectures that resisted Euclidean approaches for a decade yield to Laguerre methods because the proof structure aligns with the geometric structure. The framework doesn’t add power through new axioms — it adds clarity through the right choice of primitive objects.

The lesson is geometric: the difficulty of a problem depends on the geometry you work in. These conjectures were hard in the wrong geometry and natural in the right one. The mathematics didn’t change. The lens did.