Sea Q un punto de la recta de Gergonne. Entonces la polar trilineal tQ de Q es tangente a la circunferencia inscrita.