阿基米德使用无穷小量的数学分析方式，类似现在的微积分。通过反证法，他甚至可以让问题的答案达到任意精确度，同时也给出答案所在的范围。这种技术被称为穷举法，并且他使用这种方法计算出了圆周率的近似值。他做出圆的外接多边型和内接多边型。随著多边形的边数增加，将会越来越接近圆。

参考上述上下文，Phương pháp khác để chứng minh tín hiệu bởi mâu thuẫn?
反证法