易得三角形ABC中两底角=30度
DE垂直于AB,显然有2DE=BD
DF垂直AC,同理有2DF=CD(因为都是有30度角的直角三角形)
DE+DF=BD/2+CD/2
=(BD+CD)/2
=BC/2