欧几里得在《几何原本》中，以基本定义､公设和公理作为全书推理的出发点.其中第卷命题47是著名的毕达哥拉斯定理(勾股定理)，书中给出了一种证明思路：如图，中，，四边形､､都是正方形，于点，交于点.先证与全等，继而得到矩形与正方形面积相等；同理可得到矩形与正方形面积相等；进一步定理可得证.在该图中，若，则________.