Натуральные числа разбиваются на два непересекающихся множества вида 2m и 2m+1, где m - натуральное. а) (2m)^2 + 2m + 1 = 4m^2 + 2m + 1 = 2(2m^2+m) + 1, где 2m^2+m натуральное (в силу того, что произведение и сумма натуральных числе всегда натуральна), будет нечётным. (2m+1)^2 + (2m+1) + 1 = 4m^2 + 4m + 1 + 2m + 1 + 1 = 4m^2 + 6m + 2 + 1 = 2(2m^2 + 3m + 1) + 1, где 2m^2 + 3m + 1 натуральное, будет нечётным.
b) Квадрат чётного числа - чётный. Потому число n^2 + n + 1 не может быть квадратом чётного числа. Покажем, что число не может быть и квадратом нечётного числа: n^2 + n + 1 = n^2 + 2n + 1 - n = (n+1)^2 - n Т.е. число n^2 + n + 1 отличается от квадрата (n + 1)^2 на n единиц. Может ли такое число быть квадратом? (n + 1)^2 - n^2 = n^2 + 2n + 1 - n^2 = 2n + 1 > n Не может.
Цельная и стройная запись решения: n^2 < n^2 + n + 1 = (n + 1)^2 - n < (n + 1)^2 Т.к. число n^2 + n + 1 лежит между двумя квадратами последовательных натуральных чисел, само оно не может быть квадратом натурального числа.
Хорошо, вам не объяснили толково что такое вообще математическая логика, но это на самом деле нормальный случай, сами дают и не знают, что дают. Давайте разберемся. Пусть некоторое A - утверждение. Будем называть утверждением некоторое предположение, которое характеризуется либо как истинное и тогда утверждение равняется единице, либо как ложное и тогда утверждение равняется нулю. В данном случае за утверждение принимается: A - предположение, говорящее, что Первая буква гласная. B - предположение, говорящее, что Последняя буква согласная. Немного об операциях в т.н. алгебре логики (термин сложный и его нужно разъяснять отдельно, делается это в курсе т.н. "высшей алгебры"). Это сложение (известное также как объединение в теории множеств) и умножение (пересечение). Здесь их называют логическое "ИЛИ" (дизъюнкция) и логическое "И" (конъюнкция). Раз уж речь идет об алгебре, то, конечно, имеем также логическое "НЕ". По аналогии с теорией множеств, это дополнение к какому-то операнду (а суть унарная операция, интересная вещь). Давайте запишем как нужно само выражение. -A∧-B (вместо минусов нужно черточку над буквой). Таблица истинности выглядит так: В наименованиях столбцов пишите A и B и ваше выражение третьим. Затем подставляете различные наборы значение A и B, A и B принимают только значения 0 и 1. Получаете соответственно 0 или 1. "НЕ" - значит, утверждение обращается - было 1, стало 0, и наоборот. "И" - дает 1 если оба операнда 1, иначе дает 0. "ИЛИ" - дает 0 если оба операнда 0, иначе дает 1. Вот и все. Заполняете и получаете нужное.
а) (2m)^2 + 2m + 1 = 4m^2 + 2m + 1 = 2(2m^2+m) + 1, где 2m^2+m натуральное (в силу того, что произведение и сумма натуральных числе всегда натуральна), будет нечётным.
(2m+1)^2 + (2m+1) + 1 = 4m^2 + 4m + 1 + 2m + 1 + 1 = 4m^2 + 6m + 2 + 1 =
2(2m^2 + 3m + 1) + 1, где 2m^2 + 3m + 1 натуральное, будет нечётным.
b) Квадрат чётного числа - чётный. Потому число n^2 + n + 1 не может быть квадратом чётного числа.
Покажем, что число не может быть и квадратом нечётного числа:
n^2 + n + 1 = n^2 + 2n + 1 - n = (n+1)^2 - n
Т.е. число n^2 + n + 1 отличается от квадрата (n + 1)^2 на n единиц. Может ли такое число быть квадратом?
(n + 1)^2 - n^2 = n^2 + 2n + 1 - n^2 = 2n + 1 > n
Не может.
Цельная и стройная запись решения:
n^2 < n^2 + n + 1 = (n + 1)^2 - n < (n + 1)^2
Т.к. число n^2 + n + 1 лежит между двумя квадратами последовательных натуральных чисел, само оно не может быть квадратом натурального числа.
Давайте разберемся.
Пусть некоторое A - утверждение. Будем называть утверждением некоторое предположение, которое характеризуется либо как истинное и тогда утверждение равняется единице, либо как ложное и тогда утверждение равняется нулю.
В данном случае за утверждение принимается:
A - предположение, говорящее, что Первая буква гласная.
B - предположение, говорящее, что Последняя буква согласная.
Немного об операциях в т.н. алгебре логики (термин сложный и его нужно разъяснять отдельно, делается это в курсе т.н. "высшей алгебры").
Это сложение (известное также как объединение в теории множеств) и умножение (пересечение). Здесь их называют логическое "ИЛИ" (дизъюнкция) и логическое "И" (конъюнкция). Раз уж речь идет об алгебре, то, конечно, имеем также логическое "НЕ". По аналогии с теорией множеств, это дополнение к какому-то операнду (а суть унарная операция, интересная вещь).
Давайте запишем как нужно само выражение.
-A∧-B (вместо минусов нужно черточку над буквой).
Таблица истинности выглядит так:
В наименованиях столбцов пишите A и B и ваше выражение третьим.
Затем подставляете различные наборы значение A и B, A и B принимают только значения 0 и 1. Получаете соответственно 0 или 1.
"НЕ" - значит, утверждение обращается - было 1, стало 0, и наоборот.
"И" - дает 1 если оба операнда 1, иначе дает 0.
"ИЛИ" - дает 0 если оба операнда 0, иначе дает 1.
Вот и все. Заполняете и получаете нужное.