在三角形abc中,D为bc边的中点,求证AD²=1/2(AB²+AC²)-1/4(BC