正方形ABCD的边长为四,点E在对角线BD上,且角BAE等于22.5度,EF垂直于AB,垂足为F,则
在正方形ABCD中,∠ABD=∠ADB=45°,
∵∠BAE=22.5°,
∴∠DAE=90°-∠BAE=90°-22.5°=67.5°,
在△ADE中,∠AED=180°-45°-67.5°=67.5°,
∴∠DAE=∠AED,
∴AD=DE=4,
∵正方形的边长为4,
∴BD=4√2,
∴BE=BD-DE=4√2-4,
∵EF⊥AB,∠ABD=45°,
∴△BEF是等腰直角三角形,
∴EF=√2/2BE=√2/2×(4√2-4)=4-2√2