最早而严格的证明由于这个学派不得对外宣扬，所以其发现在历史上并无确实的记载。
追溯历史，最早对毕氏定理作严格证明的要算是希腊的欧几里得.
费马大定理证明方法：
x+y=z有无穷多组整数解，称为一个三元组；x^2+y^2=z^2也有无穷多组整数解，这个结论在毕达哥拉斯时代就被他的学生证明，称为毕达哥拉斯三元组，我们中国人称他们为勾股数。
但x^3+y^3=z^3却始终没找到整数解。
最接近的是：
6^3+8^3=9^-1，还是差了1。
于是迄今为止最伟大的业余数学家费马提出了猜想：
总的来说，不可能将一个高于2次的幂写成两个同样次幂的和。
因此，就有了：
已知：
a^2+b^2=c^2
令c=b+k，k=1.2.3……，则a^2+b^2=(b+k)^2。
因为，整数c必然要比a与b都要大，而且至少要大于1，所以k=1.2.3……
设：
a=d^(n/2)，b=h^(n/2)，c=p^(n/2)；
则a^2+b^2=c^2就可以写成d^n+h^n=p^n，n=1.2.3……
当n=1时，d+h=p，d、h与p可以是任意整数。
当n=2时，a=d，b=h，c=p，则d^2+h^2=p^2=>a^2+b^2=c^2。
当n≥3时，a^2=d^n，b^2=h^n，c^2=p^n。
因为，a=d^(n/2)，b=h^(n/2)，c=p^(n/2)；要想保证d、h、p为整数，就必须保证a、b、c必须都是完全平方数。
a、b、c必须是整数的平方，才能使d、h、p在d^n+h^n=p^n公式中为整数。
假若d、h、p不能在公式中同时以整数的形式存在的话，则费马大定理成立。
1毕达哥拉斯真的存在。
2毕达哥拉斯是古希腊的数学家和哲学家，他的存在可以通过历史文献和相关研究来证明。
他的学说和贡献对数学和哲学领域产生了深远的影响。
3毕达哥拉斯的存在可以通过他的学说和他的学派的传承来延伸。
他的学说包括毕达哥拉斯定理和毕达哥拉斯学派的数学原理，这些原理至今仍然被广泛应用和研究。
毕达哥拉斯的存在也反映了古希腊时期的数学和哲学发展，对于我们了解古代文明和思想有着重要的意义。
