AD²=AC²-CD²,为什么