Prove the triangle's angle bisector length formula: $$t_a=\frac{2}{b+c}\sqrt{bcp(p-a)}=\sqrt{bc\Big(1-(\frac{a}{b+c})\Big)^2}$$