Условие
Выпуклая фигура
имеет площадь
S и полупериметр
p. Докажите, что если
S >
np для некоторого натурального
n, то
содержит по крайней мере
n
целочисленных точек.
Решение
Согласно задаче
24.10B- достаточно доказать, что если
S >
np, то
можно разрезать на
n выпуклых фигур, у каждой из которых площадь больше
полупериметра. Применим индукцию по
n. Для
n = 1 утверждение очевидно.
Предположим, что оно доказано для
n; докажем его для
n + 1. Пусть
S > (
n + 1)
p
для некоторой фигуры
. Разрежем эту фигуру прямой на две фигуры
и
, площади которых равны
S1 =
S и
S2 =
S.
Пусть
p1 и
p2 — полупериметры этих фигур. Ясно, что
p1 <
p и
p2 <
p.
Поэтому
S1 >
p >
p1 и
S2 >
np >
np2. Применив предположение индукции к фигуре
, получаем требуемое.
Источники и прецеденты использования