阿基米德就很多都用猜的。
你看他熟練地運用歸謬證法。因為找不到其他方式證明。

他也"猜"出拋物線底下的面積是1/3。
但令他惱怒的是他找不出證明方法。