自從和純數和附加數說再見後,大部分香港中學生只有解不等式,絕少接觸證明不等式成立的題目。
初中課程內仍有淺嚐三角形不等式的課題,即對於非退化(non-degenerate)三角形,邊長 者

恆有
,
及
同學,利用 cosine law,我們輕易得出
又或考慮中線(median),長度為 ,

有
立即有
把 角色互換便有
和
順帶一提,如果角平分線(angle bisector)長度為 ,見下

則
同學可自行證明上式。
另一個不等式的作為來自很基本的想法。
由 for all real
,得
;
同理,對於正整數 ,
for all real
,得
取 其中
,
,得
做積分(integrate)
分別代入
我們便可生產以下一系列不等式:
當 ,上述式子等號成立。