Os pontos , e são colineares, , e está entre e . Os pontos e pertencem a uma circunferência com centro em . Traça-se uma reta perpendicular ao segmento passando pelo seu ponto médio. Chama-se de a interseção de com . Então, vale