Giải
Giả sử OC \(\ge\) OB (bài toán không mất tính tổng quát)
Dựng C' trên Ox sao cho OC' = OC
Dựng B' trên Oy sao cho OB' = OB
ta được: \(\Delta\)OBB' đều ; \(\Delta\)OCC' đều ; BB'CC' là hình thang cân.
Ta có: BC = BI + IC
B'C' = B'I + IC'
nên BC + B'C' = BI + B'I + IC + IC'
Vậy: 2BC \(\ge\) BB' + CC' hay 2BC \(\ge\) OB + OC