磨光法是數學中一種解不等式的方法。簡單的說,這種方法主要是使用平均數以減少所求證的多元不等式未知數的個數。
磨光法的一個重要例子是:
若要證不等式 f ( x ) = ( x , y , z ) ≥ t {\displaystyle f(x)=(x,y,z)\geq t}
則可先證 f ( x , y , z ) ≥ f ( ( x + y ) / 2 , ( x + y ) / 2 , z ) ≥ t {\displaystyle f(x,y,z)\geq f((x+y)/2,(x+y)/2,z)\geq t}
其中x,y,z,t屬於R。
同樣的,根據條件,我們還可以使用幾何平均數等一系列平均數來代替上式中的算術平均數。