该定理又称给定三点作三角形面积最大定理，是公元前250年希腊数学家阿基米德提出的定理。该定理为：凸多边形内部任意三点构成的三角形的面积，不超过多边形的一半周长和三点到多边形的距离的乘积之和。

具体来说，如果一个有理数的平方是一个平方数，那么它就是能写成连续奇数之和的数。例如，$16=4^2$。在阿基米德的Pentagon公式的证明中，他就使用了这个定理，将五边形分成若干等边三角形调用了此定理（利用了对角线不相交）。