rmula_8垂直于formula_17，A、F、O、E四点共圆且formula_1为直径，因此线段formula_19（角A为顶点A对应的内角）。过点F、E作关于formula_20的垂线交formula_20于X、Y。过O作formula_20的平行线分别交formula_23、formula_24于formula_25、formula_26。由于formula_9垂直于formula_15，formula_8垂直于formula_17，formula_31，formula_32。于是：另一方面