∠ABD=∠EBD=α（角平分线）
∠ABD=∠EDB=α（平行线,DE‖AB）
△EDB为等腰三角形（∠EBD=∠EDB=α）
∠ECD=90°-α（互为余角）
∠EDC=90°-α（互为余角）
△ECD为等腰三角形（∠ECD=∠EDC）
CE=DE=BE（等腰三角形两腰相等）