AB+AC=20-BC=13.设圆O与BC切于F.
由切线长定理知:AD=AE,BD=BF,CE=CF.
∴(AB+AC)-BC=(AD+BD+AE+CE)-(BF+CF)=AD+AE.
即13-7=AD+AE=2AD,AD=3=AE;又∠A=60°.
所以,⊿ADE是等边三角形,DE=AD=3.
AB+AC=20-BC=13.设圆O与BC切于F.
由切线长定理知:AD=AE,BD=BF,CE=CF.
∴(AB+AC)-BC=(AD+BD+AE+CE)-(BF+CF)=AD+AE.
即13-7=AD+AE=2AD,AD=3=AE;又∠A=60°.
所以,⊿ADE是等边三角形,DE=AD=3.