Código fuente de la fórmula del indicador Cyx

Tomando △ABX como ejemplo, la prueba es la siguiente.

Supongamos que b es la línea de extensión de BH perpendicular a ZX en el punto h, y la línea de extensión de ZX en el punto AB en el punto p,

Para rt△XBH y rt△XYZ , ∫∠ bxh = 180-∠bxz = 90-∠yxz =∠XYZ, XB=XY,

∴△XBH≌△XYZ, sus áreas son iguales, bh = xz = ax

Para rt△PBH y rt△PAX, hay un conjunto de ángulos agudos como ángulos opuestos, BH=AX.

∴△PBH≌△PAX, sus áreas son iguales, por lo que △XBH y △ABX son iguales.

Como se mencionó anteriormente, las áreas de △ABX y △XYZ son iguales.

De manera similar, se puede demostrar que el área de △CDY es igual al área de △XYZ, mientras que las áreas de △AEZ y △ZYZ son más simples.