求OAˇ2+OCˇ2=OBˇ2+ODˇ2