Villancicos y diccionarios de Oxford

Debido a que d y e son los puntos medios de ab y AC,

Entonces OD⊥AB, OE⊥AC,

Entonces ∠Ado=90, ∠AEO=90,

Porque AB=AC

Entonces OD=OE,

Y ∠ODE=30,

Entonces ∠OED = ∠ODE = 30.