Ta có :
\(\log_ab\ge\log_{a+c}\left(b+c\right)\Leftrightarrow\log_ab-1\ge\log_{a+c}\left(b+c\right)-1\)
\(\Leftrightarrow\log_a\frac{b}{a}\ge\log_{a+c}\frac{b+c}{a+c}\)
Với \(1< a\le b\) và \(c\ge0\Rightarrow\frac{b}{a}\ge\frac{b+c}{a+c}\ge1\) nên \(\log_a\frac{b}{a}\ge\log_a\frac{b+c}{a+c}\) (*)
Mặt khác, ta được : \(\log_a\frac{b+c}{a+c}\ge\log_{a+c}\frac{b+c}{a+c}\) (**)
Từ (*) và (**) \(\Rightarrow\log_ab\ge\log_{a+c}\left(b+c\right)\)
Dấu "=" xảy ra khi c = 0 hoặc a = b