EF与BD互相垂直
证明:
连接BE,DE
∵∠ABC=90°,E是AC中点
∴BE=1/2AC(直角三角形斜边直线等于斜边一半)
同理可得DE=1/2AC
∴BE=DE
∵EF平分∠DED
∴EF⊥BD(等腰三角形三线合一)