лемма и доказательства

Отлично. Так как конкретная задача не дана, ниже приведены две стандартные леммы с подробными пошаговыми доказательствами, подходящие для школьного уровня. Если хочешь другую тему или конкретную задачу, пришли текст или изображение — подготовлю решение под твой случай.

Лемма 1. Евклидова лемма о делимости (простое число) Утверждение: Пусть p — простое число и p делит произведение ab. Тогда p делит a или p делит b.

Доказательство (пошагово):

• Предположим, что p | ab.
• Рассмотрим двух вариантов относительно делимости a на p.
  1. Если p | a, то требуемое доказано: p делит a.
  2. Если p не делится на a (то есть gcd(a, p) = 1, потому что p — простое число и не делится на a), то существует такая линейная комбинация чисел a и p: существуют целые числа x и y, что ax + py = 1 (по Безу).
• Умножим обе стороны на b: abx + pby = b.
• Заметим, что p | ab, значит p | abx (так как p делит ab, и умножение на x сохраняет делимость). Также ясно, что p | pby.
• Следовательно левая часть abx + pby — это сумма двух чисел, каждый из которых делится на p, значит и их сумма делится на p. Следовательно p | b.
• Таким образом, если p не делится на a, то оно делит b. В обоих случаях утверждение истинно.
• В конце мы сделали вывод: p | a или p | b.

Комментарий: Доказательство использует свойство Bezout и простоту p. Это классическая лемма, часто применяется в теории чисел и доказательствах теорем.

Лемма 2. Если a | bc и gcd(a, b) = 1, то a | c Утверждение: Пусть a делит произведение bc, и gcd(a, b) = 1. Тогда a делит c.

Доказательство (пошагово):

• По условию a | bc и gcd(a, b) = 1.
• По теореме Безу существуют такие целые числа u и v, что au + bv = 1 (поскольку gcd(a, b) = 1).
• Умножим равенство на c: auc + bvc = c.
• Первый член auc делится на a (так как a делит a умноженное на что угодно).
• Второй член bvc: потому что a | bc и целое v не изменяет делимость, то a | b c v = (bc) v, следовательно a делит этот второй член.
• Сумма двух чисел, каждый из которых делится на a, делится на a.
• Значит a | c.

Комментарий: Эта лемма очень полезна в алгебре и теории чисел; она позволяет «вывести» делимость через coprime-условие между множителями.

Лемма 3 (опционально, Elementary). Если n — чётное число, то n^2 делится на 4 Утверждение: Если n = 2k, то n^2 = 4k^2, что явно кратно 4.

Доказательство (пошагово):

• Пусть n = 2k, где k целое.
• Тогда n^2 = (2k)^2 = 4k^2.
• Число 4 умножено на целое k^2 даёт число, делящееся на 4.
• Следовательно, n^2 кратно 4.

Комментарий: Это очень простой, но полезный пример, иллюстрирующий структуру доказательства через разложение на общие множители.

Как пользоваться этими леммами на экзамене

• Четко выпиши предпосылки и вывод; формулируй утверждение максимально точно.
• В доказательстве распиши логику по шагам: какие свойства ты используешь (например, делимость, Bezout, gcd, простоту числа).
• Покажи ключевые переходы, где важно сделать переход от предпосылок к выводу.
• В конце сделай явный вывод, как это следует из предыдущего шага.
• Если есть corollary (следствие) или пример применения — добавь его после доказательства.

Если хочешь, могу адаптировать эти леммы под конкретный предмет/класс или привести другой набор лемм под твою задачу. Пришли текст условия или изображение задачи, и я подготовлю решение именно под него (с пояснениями и шагами).