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

Отлично. Так как конкретная задача не дана, ниже приведены две стандартные леммы с подробными пошаговыми доказательствами, подходящие для школьного уровня. Если хочешь другую тему или конкретную задачу, пришли текст или изображение — подготовлю решение под твой случай. Лемма 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 (следствие) или пример применения — добавь его после доказательства. Если хочешь, могу адаптировать эти леммы под конкретный предмет/класс или привести другой набор лемм под твою задачу. Пришли текст условия или изображение задачи, и я подготовлю решение именно под него (с пояснениями и шагами).