AD⊥BC,AB=AC=2AD
则在直角三角形DFC中∠C=30度,BD=CD=BC/2
DF⊥AC,所以有DF=CD/2
同理有DE=BD/2
所以DE+DF=BD/2 +CD/2=(BD+CD)/2=BC/2