Sigui Q un punt de la recta de Gergonne. Llavors la polar trilineal tQ de Q és tangent a la circumferència inscrita.