在欧几里得的《几何原本》一书中给出勾股定理的以下证明。设△ABC为一直角三角形,其中A为直角。从A点划一直线至对边,使其垂直于对边。延长此线把对边上的正方形一分为二,其面积分别与其余两个正方形相等。在这个定理的证明中,我们需要如下四个辅助定理:如果两个三角形有两组对应边和这两组边所夹的角相等,则两三角形全等。(SAS)三角形面积是任一同底同高之平行四边形面积的一半。任意一个正方形的面积等于其二边长的乘积。任意一个矩形的面积等于其二边长的乘积(据辅助定理3)。证明的思路为:从A点划一直线至对边,使其垂直于对边。延长此线把对边上的正方形一分为二,把上方的两个正方形,通过等高同底的三角形,以其面积关系,转换成下方两个同等面积的长方形。