我国古代的数学家很早就发现并应用勾股定理,而且尝试对勾股定理做出证明.最早对勾股定理进行证明的是三国时期吴国的数学家赵爽.如图,就是著名的“赵爽弦图”.△ABE,△BCF,△CDG和△DAH是四个全等的直角三角形,四边形ABCD和EFGH都是正方形.已知AB=5,AH=3,求EF的长.小敏的思路是设EF=x,根据题意,小敏所列的方程是___.
孙长瑜回答:
∵四边形EFGH是正方形,
∴HE=EF=x,
∴AE=x+3,
又∵△ABE≌△DAH,
∴BE=AH=3,
又∵直角△ABE中,BE2+AE2=AB2,
∴32+(x+3)2=52.
故答案是:32+(x+3)2=52.