rt三角形abc中,角bac=90度,ab=ac,d为bc上一点.求证:2ad平方=bd平方+cd平方