过D做BC的垂线,垂足是F
因为BD是角ABC的角平分线,所以容易知道AD=DF
三角形ABC是等腰直角毕轿三角形,所以手迹肆三角州氏形DFC也是等腰直角三角形
∠EDC=3π/8
∠ADB=3π/8
BD=AD/cos(∠ADB)=AD/cos(3π/8)
CD=根号2*AD
CE=CDsin(∠EDC)=根号2*AD*sin(3π/8)
因为2*根号2*sin(3π/8)*cos(3π/8)=根号2*sin(3π/4)=1
即 2 * 根号2*AD*sin(3π/8) = 1/cos(3π/8)
所以2CE=BD