Метод математической индукции успешно применяется и при доказательстве различных неравенств, при этом используются свойства неравенств. В качестве примера рассмотрим доказательство неравенства, называемое неравенством Бернулли, которое имеет следующий вид:
(4)
при всех натуральных значениях nи для всех х> - 1.
При n = 1 это неравенство справедливо, так как 1 + х = 1 + x.
Предположим, что оно справедливо при n = k>1, т. е. справедливо
Докажем, что оно верно и для n = k+1: умножим обе части равенства на 1 + х:
Учитывая, что kx2 ³ 0 и, следовательно, 1 + kx + x + kx2 ³ 1 + kx + x = 1+ x(k + 1). Тогда имеем:
(1 + x)k+1³ 1 + (k + 1)x.
Таким образом, мы показали, что неравенство (4) верно для n =1, и в предположении, что оно верно для n = k,доказали его справедливость для n = k+1Значит, по принципу математической индукции неравенство Бернулли справедливо для всех натуральных значений n.
Пример 4. Используя неравенство Бернулли доказать справедливость неравенства
При n = 1:
Пусть при n = k неравенство верно, т.е.
Докажем справедливость при n = k+1, т.е.
|
|
Левую часть представим в виде Используя неравенство Бернулли, имеем
Где
Но
Значит неравенство верно при любом n.
Пример 4. Доказать, что n3 – n делится на 3 при любом n.
При n = 1: 1 – 1 = 0, 0 делится на 3.
Пусть при n = k: k3 – k делится на 3.
Докажем делимость при n = k + 1:
(k + 1)3 – (k + 1) = k3 + 3k2 + 3k + 1 – k – 1 = k3 + 3(k2 + k) – k = k3 – k + 3(k2 + k).
Т.к. k3 – k делится на 3 (по индуктивному предположению), 3(k2 + k) делится на 3, то и их сумма делится на 3.
Пример 5. Доказать, что сумма кубов трех последовательных натуральных чисел делится на 9.
Т.е. необходимо доказать, что n3 +(n + 1)3 + (n + 2)3 делится на 9.
При n = 1: 1+ 8 + 27 = 36 – делится на 9.
Пусть при n = k: k3 +(k + 1)3 + (k + 2)3 делится на 9.
Докажем, что делимость на 9 имеет место при n = k + 1:
(k+1)3+(k+2)3+(k+3)3 = (k+2)3 + k3 +3k2 +3k +1 +k3 + 9k2 +27k+27 = (k+2)2+k3+(k+1)3 +9(k2 +3k + 3), где
(k+2)2+k3+(k+1)3 делится на 9 по индуктивному предположению,
9(k2 +3k + 3) делится на 9.
Следовательно, их сумма делится на 9.