A diagonal in a cyclic quadrilateral≈ 750
Cada paso que demuestras llega aquí, con la herramienta que lo demuestra.