BE²-AE²=AC²,求证