在《几何原本》著作中，命题47：在直角三角形中，直角所对的边上的正方形等于夹直角两边上的正方形的和．古代人还没有发明勾股定理，他们如何证明这个命题是真命题．已知△ABC，∠BAC＝90°；求证：以BC为边正方形的面积＝以BA为边正方形的面积+以AC为边正方形的面积．