啟主列

基本不等式者,所以究平均數不等性也。式曰

嚴證

實數自乘,絕無負數,故:

 

移項左右,得:

 

  咸非負,取算數平方根,則曰:

 

是爲所欲證矣。