已知,在三角形abc中,ab大于ac,ad是bc边上的高.求证:ab^-ac^=bc,