ac<=(a+c)(a+c)/4

ac≤（a+c）²/4
4ac≤（a+c）²
√（4ac）≤a+c
2√（ac）≤a+c
√（ac）≤（a+c）/2
两个正整数，它们的算术平均值大于等于几何平均值；
二数和一定，则当二数相等时其积最大；
二数积一定，则当二数相等时，其和最小。