Prueba del problema del círculo del tercer cielo
(1) BC es tangente al círculo o.
Ab es el diámetro
∴∠ADB=90, ∠ABD ∠A=90
∴∠CDB=90
Aún esa Oración: BE=CE
∴DE=BE=CE
∴∠DBE=∠EDB
También: círculo tangente o
∴∠A=∠BDE
∴∠DBA=∠A
∴∠ABD ∠DBE=∠ABD ∠A=90
∴AB⊥ BC
(2) El cuadrilátero con vértices O, B, E y D es un paralelogramo.
∴OD=BE=BC/2=AB/2
Entonces, cuando AB=BC, es decir, △ABC es un triángulo rectángulo isósceles, OBED es un paralelogramo.