关于圆的几何证明
连接BD和DO，∫ab是直径∴BD⊥AC，
∵⊿ABC是等腰直角三角形，∴AD=DC=BD,⊿BDA和⊿BDC是等腰直角三角形，
(1)，⊿BDC ∵DE⊥BC，∴DE∥AB和be = ce
⊿BDC的⊿∵ao = ob；∴DO⊥AB和DO⊥DE，∴DE是⊙ O的切线
(2)、∵AB⊥BC,∴EB是⊙O的切线，EF*EA=BE？,
∵BE=CE,∴BE*CE=BE？=EF*EA，
∵⊿ABC是等腰直角三角形，∴AD=DC=BD,⊿BDA和⊿BDC是等腰直角三角形，
(1)，⊿BDC ∵DE⊥BC，∴DE∥AB和be = ce
⊿BDC的⊿∵ao = ob；∴DO⊥AB和DO⊥DE，∴DE是⊙ O的切线
(2)、∵AB⊥BC,∴EB是⊙O的切线，EF*EA=BE？,
∵BE=CE,∴BE*CE=BE？=EF*EA，