Prueba geométrica sobre círculos

Conecte BD y DO, ∫ab es el diámetro ∴BD⊥AC,

∵⊿ABC es un triángulo rectángulo isósceles, ∴AD=DC=BD, ⊿BDA y ⊿BDC son triángulos rectángulos isósceles,

p>

(1), ⊿BDC ∵DE⊥BC, ∴DE∥AB y be = ce

⊿BDC's ⊿∵ao = ob; ⊥DE, ∴ DE es la recta tangente de ⊙ O

(2), ∵AB⊥BC, ∴EB es la recta tangente de ⊙O, EF*EA=BE? ,

∵BE=CE,∴BE*CE=BE? =EF*EA，