勾股定理最早是由古希腊数学家毕达哥拉斯发现的。他生活在公元前6世纪，通过演绎法证明了直角三角形斜边的平方等于两直角边的平方之和，即勾股定理。尽管中国古代的商高在周朝时期（公元前11世纪）就已经提到了勾股定理的相关内容，但毕达哥拉斯通常被认为是这一定理的最早证明者。
勾股定理的演绎法是如何进行的？
毕达哥拉斯证明勾股定理的步骤是什么？
商高在古代是如何阐述勾股定理的？
