都有，大多数学公式，是数学家在研究中总结，然后推理证明出来的。

当然，这其中也少不了猜测的过程，比如勾股定理的发现过程，应该是这样的：人们先发现一些勾股数组成的三角形，正好是直角三角形，比如（3；

5），（5，12，13）……