A diagonal in a cyclic quadrilateral≈ 750
Cada passo que você prova aparece aqui, com a ferramenta que o prova.