已知直角三角形BAC，E是AD的中点（AE = ED），∠BED =∠CED，
求证∠ADB = 2 ∠BAD（即∠2 = 2 ∠1）.
--
FROM 121.31.114.*