當且僅當a=b時等號成立.
幾何模型一:
假設a≠b,作線段AC=a,CB=b,以AB為直徑作圓,作半徑OD⊥AB,CE⊥AB,連接AE、BE、CD和OE,作CF⊥OE,分別用a、b表示OD、C03a90bead32040aa7d396bd3a79fb306E、CD和CF.
幾何模型二:
如圖,在梯形ABDC中,已知AB∥CD,AB=a,CD=b,PQ是平行兩底的一條線段,在以下的證明中不妨設b≥a.
證明:過點A作BD的平行線分別交CD、PQ于點M、N,
∵四邊形APQB的面積等于四邊形PCDQ的面積,