\(S_{ABC}=S_{ADB}+S_{ADC}\)
<=>\(bc.sinA=AD\cdot c\cdot sin\dfrac{A}{2}+AD\cdot b\cdot sin\dfrac{A}{2}\)
<=>\(bc.sinA=AD\cdot sin\dfrac{A}{2}\left(b+c\right)\)
<=>\(bc.sin2\alpha=AD\cdot sin\alpha\left(b+c\right)\)
<=>\(2bc.sin\alpha.cos\alpha=AD\cdot sin\alpha\left(b+c\right)\)
<=>\(AD=\dfrac{2bc\cdot cos\alpha}{b+c}\) (dpcm)