证明：
∵a＞c＞0且b＞c＞0.
∴a-c＞0,且b-c＞0.
由“柯西不等式”可得：
ab=[(a-c)+c][c+(b-c)]
≥{√[c(a-c)]+√[c(b-c)]}²
即√[c(a-c)]+√[c(b-c)]≤√(ab).
等号仅当c=ab/(a+b)时取得.