Какие свойства сложения и умножения выражают равенства

Какие свойства сложения и умножения выражают равенства thumbnail
  • Переместительное свойство умножения
  • Сочетательное свойство умножения
  • Распределительное свойство умножения

Переместительное свойство умножения

От перестановки сомножителей местами произведение не меняется.

Следовательно, для любых чисел  a  и  b  верно равенство:

a · b = b · a,

выражающее переместительное свойство умножения.

Примеры:

6 · 7 = 7 · 6 = 42;

4 · 2 · 3 = 3 · 2 · 4 = 24.

Обратите внимание, что данное свойство можно применять и к произведениям, в которых более двух множителей.

Сочетательное свойство умножения

Результат умножения трёх и более множителей не изменится, если какую-либо группу множителей заменить их произведением.

Следовательно, для любых чисел  ab  и  c  верно равенство:

a · b · c = (a · b) · c = a · (b · c),

выражающее сочетательное свойство умножения.

Пример:

3 · 2 · 5 = 3 · (2 · 5) = 3 · 10 = 30

или

3 · 2 · 5 = (3 · 2) · 5 = 6 · 5 = 30.

Сочетательное свойство используется для удобства и упрощения вычислений при умножении. Например:

25 · 15 · 4 = (25 · 4) · 15 = 100 · 15 = 1500.

В данном случае можно было вычислить всё последовательно:

25 · 15 · 4 = (25 · 15) · 4 = 375 · 4 = 1500,

но проще и легче сначала умножить  25  на  4  и получить  100,  а уже потом умножить  100  на  15.

Распределительное свойство умножения

Сначала рассмотрим распределительное свойство умножения относительно сложения:

Чтобы число умножить на сумму чисел, можно это число умножить отдельно на каждое слагаемое и полученные произведения сложить.

Следовательно, для любых чисел  ab  и  m  верно равенство:

m · (a + b) = m · a + m · b,

выражающее распределительное свойство умножения.

Так как в данном случае число и сумма являются множителями, то, поменяв их местами, используя переместительное свойство, можно сформулировать распределительное свойство так:

Чтобы сумму чисел умножить на число, можно каждое слагаемое отдельно умножить на это число и полученные произведения сложить.

Следовательно, для любых чисел  ab  и  m  верно равенство:

(a + b) · m = a · m + b · m.

Теперь рассмотрим распределительное свойство умножения относительно вычитания:

Чтобы число умножить на разность чисел, можно это число умножить отдельно на уменьшаемое и вычитаемое и из первого полученного произведения вычесть второе.

Следовательно, для любых чисел  ab  и  m  верно равенство:

m · (ab) = m · am · b.

Так как в данном случае число и разность являются множителями, то поменяв их местами, используя переместительное свойство, можно сформулировать распределительное свойство так:

Чтобы разность чисел умножить на число, можно уменьшаемое и вычитаемое отдельно умножить на это число и из первого полученного произведения вычесть второе.

Следовательно, для любых чисел  ab  и  m  верно равенство:

(ab) · m = a · mb · m.

Переход от умножения:

m · (a + b)    и    m · (ab)

соответственно к сложению и вычитанию:

m · a + m · b    и    m · am · b

называется раскрытием скобок.

Переход от сложения и вычитания:

m · a + m · b    и    m · am · b

к умножению:

m · (a + b)    и    m · (ab)

называется вынесением общего множителя за скобки.

Источник

В нашей жизни есть законы, которые надо соблюдать. Соблюдение законов гарантирует стабильность и гармоничное развитие. Несоблюдение же законов приводит к печальным последствиям.

У математики есть свои законы, которые тоже следует соблюдать. Несоблюдение законов математики приводит в лучшем случае к тому, что оценка учащегося снижается, а в худшем случае приводит к тому, что падают самолёты, зависают компьютеры, улетают крыши домов от сильного ветра, снижается качество связи и тому подобные нехорошие явления.

Законы математики состоят из простых свойств. Эти свойства нам знакомы со школы. Но не мешает вспомнить их ещё раз, а лучше всего записать или выучить наизусть.

В данном уроке мы рассмотрим лишь малую часть законов математики. Их нам будет достаточно для дальнейшего изучения математики.

Переместительный закон сложения

Переместительный закон сложения говорит о том, что от перестановки мест слагаемых сумма не изменяется. Действительно, прибавьте пятерку к двойке — получите семёрку. И наоборот, прибавьте двойку к пятерке — опять получите семёрку:

5 + 2 = 7

2 + 5 = 7

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

Таким образом,  между выражениями 5 + 2 и 2 + 5 можно поставить знак равенства. Это будет означать, что их сумма равна:

5 + 2 = 2 + 5

7 = 7

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

a + b = b + a

Записанный переместительный закон сложения будет работать для любых чисел. Например, возьмём любых два числа. Пусть а = 2, = 3. Мы присвоили переменным a и b значения 2 и 3 соответственно. Эти значения отправятся в главное выражение a + b = b + a и подставятся куда нужно. Число 2 подставится вместо а, число 3 место b

переместительный закон сложения в картинке

Сочетательный закон сложения

Сочетательный закон сложения говорит о том, что результат сложения нескольких слагаемых не зависит от порядка действий. Этот закон позволяет группировать слагаемые для удобства их вычислений.

Рассмотрим сумму из трёх слагаемых:

2 + 3 + 5

Чтобы вычислить данное выражение, можно сначала сложить числа 2 и 3 и полученный результат сложить с числом 5. Для удобства сумму чисел 2 и 3 можно заключить в скобки, указывая тем самым, что эта сумма будет вычислена в первую очередь:

2 + 3 + 5 = (2 + 3) + 5 = 5 + 5 = 10

Либо можно сложить числа 3 и 5, затем полученный результат сложить с числом 2

2 + 3 + 5 = 2 + (3 + 5) = 2 + 8 = 10

Видно, что в обоих случаях получается один и тот же результат.

Читайте также:  Каков состав нефти какие физические свойства компонентов

Таким образом, между выражениями (2 + 3) + 5 и 2 + (3 + 5) можно поставить знак равенства, поскольку они равны одному и тому же значению:

(2 + 3) + 5 = 2 + (3 + 5)

10 = 10

Запишем сочетательный закон сложения с помощью переменных:

(a + b) + c = a + (b + c)

Переместительный закон умножения

Переместительный закон умножения говорит о том, что если множимое и множитель поменять местами, то произведение не изменится. Давайте проверим так ли это. Умножим пятерку на двойку, а затем наоборот двойку на пятерку.

5 × 2 = 10

2 × 5 = 10

В обоих случаях получается один и тот же результат, поэтому между выражениями 5 × 2 и 2 × 5 можно поставить знак равенства, поскольку они равны одному и тому же значению:

5 × 2 = 2 × 5

10 = 10

Запишем переместительный закон умножения с помощью переменных:

a × b = b × a

Для записи законов в качестве переменных необязательно использовать именно буквы a и b. Можно использовать любые другие буквы, например c и d или x и y. Тот же переместительный закон умножения можно записать следующим образом:

x × y = y × x

Сочетательный закон умножения

Сочетательный закон умножения говорит о том, что если выражение состоит из нескольких сомножителей, то произведение не будет зависеть от порядка действий.

Рассмотрим следующее выражение:

2 × 3 × 4

Данное выражение можно вычислять в любом порядке. Сначала можно перемножить числа 2 и 3, и полученный результат умножить на 4:

2 на 3 на 4 первый вариант решения

Либо сначала можно перемножить числа 3 и 4, и полученный результат перемножить с числом 2

2 на 3 на 4 первый второй решения

Таким образом, между выражениями (2 × 3) × 4 и 2 × (3 × 4) можно поставить знак равенства, поскольку они равны одному и тому же значению:

2 на 3 на 4 первый итог

Запишем сочетательный закон умножения с помощью переменных:

a × b × с = (a × b) × с = a × (b × с)

Пример 2. Найти значение выражения 1 × 2 × 3 × 4

Данное выражение можно вычислять в любом порядке. Вычислим его слева направо в порядке следования действий:

1 на 2 на 3 на 4 итог

Распределительный закон умножения

Распределительный закон умножения позволяет умножить сумму на число или число на сумму.

Рассмотрим следующее выражение:

(3 + 5) × 2

Мы знаем, что сначала надо выполнить действие в скобках. Выполняем:

(3 + 5) = 8

В главном выражении (3 + 5) × 2 выражение в скобках заменим на полученную восьмёрку:

8 × 2 = 16

Получили ответ 16. Этот же пример можно решить с помощью распределительного закона умножения. Для этого каждое слагаемое, которое в скобках, нужно умножить на 2, затем сложить полученные результаты:

распределительный закон умножения в картинке

Мы рассмотрели распределительный закон умножения слишком развёрнуто и подробно. В школе этот пример записали бы очень коротко. К такой записи тоже надо привыкать. Выглядит она следующим образом:

(3 + 5) × 2 = 3 × 2 + 5 × 2 = 6 + 10 = 16

Или ещё короче:

(3 + 5) × 2 = 6 + 10 = 16

Теперь запишем распределительный закон умножения с помощью переменных:

(a + b) × c = a × c + b × c

Давайте внимательно посмотрим на начало этого распределительного закона умножения. Начало у него выглядит так: (a + b) × c.

Если рассматривать выражение в скобках (a + b), как единое целое, то это будет множимое, а переменная с будет множителем, поскольку соединены они знаком умножения ×

a plus b na c рисунок

Из переместительного закона умножения мы узнали, что если множимое и множитель поменять местами, то произведение не изменится.

Если множимое (a + b) и множитель поменять местами, то получим выражение c × (a + b). Тогда получится, что мы умножаем переменную c на сумму (a + b). Для выполнения такого умножения, опять же применяется распределительный закон умножения. В данном случае переменную c нужно умножить на каждое слагаемое в скобках:

c × (a + b) = c × a + c × b

Пример 2. Найти значение выражения 5 × (3 + 2)

Умножим число 5 на каждое слагаемое в скобках и полученные результаты сложим:

5 × (3 + 2) = 5 × 3 + 5 × 2 = 15 + 10 = 25

Пример 3. Найти значение выражения 6 × (5 + 2)

Умножим число 6 на каждое слагаемое в скобках и полученные результаты сложим:

6 × (5 + 2) = 6 × 5 + 6 × 2 = 30 + 12 = 42

Если в скобках располагается не сумма, а разность, то сначала нужно умножить множимое на каждое число, которое в скобках. Затем из полученного первого числа вычесть второе число. В принципе, ничего нового.

Пример 4. Найти значение выражения 5 × (6 − 2)

Умножим 5 на каждое число в скобках. Затем из полученного первого числа вычтем второе число:

5 × (6 − 2) = 5 × 6 − 5 × 2 = 30 − 10 = 20

Пример 5. Найти значение выражения 7 × (3 − 2)

Умножим 7 на каждое число в скобках. Затем из полученного первого числа вычтем второе число:

7 × (3 − 2) = 7 × 3 − 7 × 2 = 21 − 14 = 7

Задания для самостоятельного решения

Задание 1. Найдите значение выражения, используя распределительный закон умножения:

3 × (7 + 8)

Решение:

3 × (7 + 8) = 3 × 7 + 3 ×­ 8 = 21 + 24 = 45

Задание 2. Найдите значение выражения, используя распределительный закон умножения:

5 × (6 + 8)

Решение:

5 × (6 + 8) = 5 × 6 + 5 × 8 = 30 + 40 = 70

Задание 3. Найдите значение выражения, используя порядок выполнения действий:

4 × (5 + 4) + 9 × (3 + 2)

Решение:

Какие свойства сложения и умножения выражают равенства

Задание 4. Найдите значение выражения, используя распределительный закон умножения:

4 × (5 + 4) + 9 × (3 + 2)

Решение:

4 × (5 + 4) + 9 × (3 + 2) = 4 × 5 + 4 × 4 + 9 × 3 + 9 × 2 = 20 + 16 + 27 + 18 = 81

Задание 5. Найдите значение выражения, используя распределительный закон умножения:

16 × (2 + 7) + 5 × (4 + 1)

Решение:

16 × (2 + 7) + 5 × (4 + 1) = 16 × 2 + 16 × 7 + 5 × 4 + 5 × 1 = 32 + 112 + 20 + 5 = 169

Понравился урок?
Вступай в нашу новую группу Вконтакте и начни получать уведомления о новых уроках

Возникло желание поддержать проект?
Используй кнопку ниже

Какие свойства сложения и умножения выражают равенстваКакие свойства сложения и умножения выражают равенства

Навигация по записям

Источник

Сочетай, перемещай, свойства действий

узнавай

Напомним известные уже из арифметики главнейшие свойства действий сложения, вычитания, умножения и деления, так
как этими свойствами придется часто пользоваться и в алгебре.

  •  Свойства сложения

Переместительный закон сложения

Сумма не изменяется от перестановки  слагаемых .

Пример:
3 + 8 = 8 + 3;  5 + 2 + 4 = 2 + 5 + 4 = 4 + 2 + 5.
В общем случае:

a+b=b+a

a+b+c=c+a+b
Стоит иметь ввиду, что число слагаемых может быть и более трёх.

Читайте также:  Какой химический элемент усиливает металлические свойства

Сочетательный закон сложения

Сумма нескольких слагаемых не изменится, если какие-нибудь из них заменить их суммой .

Пример:
3 + 5 + 7 = 3 + (5 + 7) = 3 + 12 = 15;
4 + 7+11+6 + 5 = 7 +(4+ 5)+ (11+6) = 7 + 9+17 = 33.
В общем случае:
а + b + с = а+(b + с) = b+(а + с) и т. п.
Иногда этот закон выражают так: слагаемые можно соединять в какие угодно группы.

Чтобы прибавить к какому-либо числу сумму нескольких чисел, можно прибавить отдельно каждое слагаемое одно за другим.

Пример:
5 + (7 + 3) = (5 + 7) + 3 = 12 + 3 = 15.
В общем случае:

a+(b+c+d+…+x)=a+b+c+d+…+x

  • Свойства вычитания

Свойство вычитания суммы из числа

Чтобы вычесть из какого-нибудь числа сумму нескольких чисел, можно вычесть отдельно каждое слагаемое одно за другим.

Например:
20 — (5+ 8) = (20 — 5) — 8 = 15 — 8 = 7.
В общем случае:
а — (b + с + d+ …) = а — Ь — с — d — …

Свойство сложения разности чисел

Чтобы прибавить разность двух чисел, можно прибавить уменьшаемое и затем вычесть вычитаемое.

Пример:
8 + (11-5) = 8+ 11 -5= 14.
В общем случае:
а + (b — с) = а + Ь — с.

Свойство вычитания разности из числа

Чтобы вычесть разность, можно сначала прибавить вычитаемое и затем вычесть уменьшаемое.

Например:
18-(9-5) = 18 + 5-9= 14.
Вообще:
а — (Ь — с) = а + с — b.

  •  Свойства умножения

Переместительный закон умножения

Произведение не изменится от перестановки сомножителей .
Так:
4·5 = 5·4; 3·2·5 = 2·3·5 = 5·3·2.
Вообще:
a*b = b*a; abc… =b*а*с*… = c*b*a* …

Сочетательный закон умножения

Произведение нескольких сомножителей не изменится, если какие-нибудь из них заменить их произведением .

Так:
7*3*5 = 5*(3*7) = 5*21 = 105.

Вообще:
abc = а(bс) = b(ас) и т. п.

Умножение числа на произведение чисел

Чтобы умножить какое-либо число на произведение нескольких сомножителей, можно умножить это число на
первый сомножитель, полученный результат умножить на второй сомножитель и т. д.

Так:
3*(5*4) = (3*5)*4= 15*4 = 60.
Вообще:
a•(bcd…) = {[(a·b)•c]•d}…
Чтобы умножить произведение нескольких сомножителей на какое-либо число, можно умножить на это число один
из сомножителей, оставив другие без изменения.

Так:
3 • 2 • 5 • 3 = (3 • 3) • 2 • 5 = 3 • (2 • 3) • 5 = 3 • 2 • (5 • 3).
Вообще:
(abc.. )m = (аm)bс… = а(bm)с… и т. п.

Умножение числа на сумму чисел

Чтобы умножить сумму на какое-либо число, можно каждое слагаемое умножить на это число и полученные ре-
результаты сложить.

Так:
(5 + 3)·7 = 5·7 + 3·7.
Вообще:
(а + b + с + .. .)n = an + bn + cn + …

В силу переместительного закона умножения это же свойство можно выразить так: чтобы умножить какое-либо число на
сумму нескольких чисел, можно умножить это число на каждое слагаемое отдельно и полученные результаты сложить.

Так:
5·(4 + 6) = 5·4 + 5·6.
Вообще:
r·(а + Ь + с +…) = rа + rb + rс + …

Это свойство называется распределительным законом умножения, так как умножение, производимое над суммой, распределяется на каждое слагаемое в отдельности.

Распределительный закон умножения для разности чисел

Распределительный закон можно применять и к разности.

Так:
(8 — 5) • 4 = 8 • 4 — 5 • 4;

7 • (9 — 6) = 7 • 9 — 7 • 6.

Вообще:
(а — b)с = ас — bc,

а(b — с) = ab — ас,
т. е. чтобы умножить разность на какое-либо число, можно умножить на это число отдельно уменьшаемое и вычитаемое
и из первого результата вычесть второй; чтобы умножить какое-либо число на разность, можно это число умножить
отдельно на уменьшаемое и вычитаемое и из первого результата вычесть второй.

  • Свойства деления

Деление суммы на число

Чтобы разделить сумму на какое-либо число, можно разделить на это число каждое слагаемое отдельно и полученные результаты сложить:

Например:

(30+12+5)/3=30/3+12/3+5/3
Вообще:
(a+b+c+…+v)/m= (a/m)+(b/m)+(c/m)+…(v/m)

Деление разности на число

Чтобы разделить разность на какое-либо число, можно разделить на это число отдельно уменьшаемое и вычитаемое
и из первого результата вычесть второй:

(20-8)/5= 20/5 — 8/5

Вообще:

(a-b)/c = (a/c) -(b/c)

Деление произведения на число

Чтобы разделить произведение нескольких сомножителей на какое-либо число, можно разделить на это число один
из сомножителей, оставив другие без изменения:

(40 • 12 • 8) : 4 = (40:4) • 12 • 8 = 10 • 12 • 8 = 40 • 12 • 2.
Вообще:

(a·b·c…) : t = (а : t)bс… = а(b : t)с… и т. д.

Деление числа на произведение

Чтобы разделить какое-либо число на произведение нескольких сомножителей, можно разделить это число на
первый сомножитель, полученный результат разделить на второй сомножитель и т.д.:

120 : (12 • 5 • 3) = [(120 : 2) : 5] : 3 = (60 : 5) : 3 = 12 : 3 = 4.

Вообще:

а : (bcd …) = [(а : b) : с] : d… и т. п.

Укажем еще следующее свойство деления:

Если делимое и делитель умножим (или разделим) на одно и то же число, то частное не изменится.
Поясним это свойство на следующих двух примерах:
1)8:3 = 8/3|,
умножим делимое и делитель, положим, на 5; тогда получим
новое частное: (8*5)/(3*5)
которое по сокращении дроби на 5 даст прежнее частное — 8/3

Вообще, какие бы числа a, b и m ни были, всегда
(am) : (bm) = а : b, что можно написать и так:
am/bm= a/b

Если частное не изменяется от умножения делимого и делителя на одно и то же число, то оно не изменяется и от деления делимого и делителя на одно и то же число, так как деление на какое-нибудь число равносильно умножению на обратное число.

Комментирование и размещение ссылок запрещено.

Источник

Например, пусть Используя условия III, IV и V, можно выписать следующую цепочку равенств:

таким образом,

ТЕОРЕМА 2.1. Сложение натуральных чисел ассоциативно, т. е. для любых натуральных а, b, с

Читайте также:  Трансмиссионное масло какими свойствами должно обладать

Доказательство. Зафиксируем произвольные натуральные числа а и b. Тогда формула (1) определяет предикат от одной свободной переменной с, обозначим его . Доказательство проводится индукцией по натуральной переменной с.

Базис индукции: А(0) истинно, поскольку верно равенство

Индукционный шаг. Предположим, что для некоторого натурального истинно , т. е. верна формула

и докажем, что тогда истинно , т. е. верна формула

В самом деле,

Согласно принципу индукции, предикат истинен для любого натурального с. Поскольку при доказательстве фиксировались произвольные а и , то формула (1) верна для любых натуральных а и b.

ОПРЕДЕЛЕНИЕ. Алгебра называется аддитивным моноидом натуральных чисел.

ЛЕММА 2.2. Для любых натуральных а и b

Доказательство. Проведем доказательство индукцией по b. Зафиксируем произвольное натуральное число а.

Обозначим через предикат, определяемый формулой (1). Условимся в этой лемме и в дальнейшем в аналогичных случаях говорить, что является и обозначением соответствующей формулы.

Легко видеть, что верна формула

Предположим, что для некоторого натурального числа верна формула

и покажем, что верна формула . В самом деле,

(по аксиоме IV);

(по индуктивному предположению);

(по аксиоме IV).

Согласно принципу индукции, формула верна для любого натурального b. Так как при доказательстве фиксировалось произвольное значение а, то формула (1) верна для любых натуральных а и b.

ТЕОРЕМА 2.3. Сложение натуральных чисел коммутативно, т. е. для любых натуральных а, b

Доказательство проводится индукцией по b. Докажем сначала, что верна формула

Проведем индукцию по о.. Очевидно, формула верна при Далее, если для некоторого натурального числа

то

Следовательно, по принципу индукции, формула А (0) верна для любого а.

Зафиксируем произвольное а. Обозначим через А(b) предикат, определяемый формулой (1). Предположим, что для некоторого натурального числа верна формула

тогда

(по аксиоме IV);

(по индуктивному предположению);

(по аксиоме IV);

(по лемме 2.2),

т. е. верна формула . Согласно принципу индукции, формула верна для любого 6. Поскольку фиксировалось произвольное значение а, то формула (I) верна для любых натуральных а и 6.

ТЕОРЕМА 2.4 (ЗАКОН СОКРАЩЕНИЯ ДЛЯ СЛОЖЕНИЯ). Для любых натуральных а, b, с

Доказательство (проводится индукцией по с; при этом фиксируются произвольные значения а и b). Рассмотрим формулу

Так как , то верно, что

т. е. верна формула А(0).

Предположим, что для некоторого натурального числа

и покажем, что тогда верна формула По аксиоме IV,

Далее, по аксиоме II,

Из того, что и (3) — верные формулы, следует, что верна формула

На основании (2) и (4) заключаем, что верна формула

Согласно принципу индукции, формула А(с) верна для любого натурального с. Так как а и b фиксировались произвольно, утверждение (1) верно для любых натуральных а, b, с.

СЛЕДСТВИЕ 2.5. Для любых натуральных а и b, если то

ТЕОРЕМА 2.6. Для любого натурального числа а либо либо существует такое натуральное число b, что

Доказательство. Рассмотрим формулу

Доказательство этой формулы проводится индукцией по а. Очевидно, формула верна при Предположим, что для некоторого натурального числа верна формула

Надо показать, что верна формула

Эта формула действительно верна, так как второй член дизъюнкции — истинная формула (при ). Согласно принципу индукции, формула верна для любого натурального а.

СЛЕДСТВИЕ 2.7. Для любых натуральных а и b, если или то

Доказательство. Предположим, что . Тогда, по теореме 2.6, существует такое натуральное с, что . В силу аксиомы IV

По аксиоме следовательно,

СЛЕДСТВИЕ 2.8. Для любых натуральных а и b, если а то

ТЕОРЕМА 2.9. Для любых натуральных выполняется одно и только одно из трех условий:

(для некоторого );

(для некоторого ).

Доказательство. Из следствия 2.5 вытекает, что не может выполняться более чем одно из трех условий.

В самом деле, если бы выполнялись условия , то что невозможно по следствию 2.5. Если бы выполнялись условия (а) и (7), то что невозможно. Если бы выполнялись условия , то что также противоречит следствию 2.5.

Теперь покажем, что выполняется хотя бы одно из условий . Фиксируем произвольное натуральное число а и обозначим через дизъюнкцию условий . Докажем индукцией по b верность формулы Верна формула . В самом деле, если , то либо либо а . Если где Следовательно, при выполняется условие (а) или условие

Предположим, что для некоторого числа верна формула

и покажем, что тогда верна формула . В самом деле, если выполняется условие (Р). Если выполняется условие (Р). Если же , то . В этом случае если то и, по аксиоме II, — выполняется условие (а). Так как , то, по теореме 2.6, существует такое, что . Если , то и из равенства по аксиоме II получаем — выполняется условие (y). Итак, в любом случае верна формула Согласно принципу индукции, формула верна для любого натурального b. Поскольку а фиксировалось произвольно, то утверждение теоремы верно для любых натуральных а и b.

ОПРЕДЕЛЕНИЕ. Разностью двух натуральных чисел а и b называется такое натуральное число k, что

Из теоремы 2.9 следует, что разность двух натуральных чисел а и b существует в том случае, когда выполнено условие (а) (при этом или . В случае выполнения условия (Р) разность чисел а и b не существует.

Легко показать, что если разность чисел а и b существует, то она единственна. В самом деле, если , то откуда, по закону сокращения для сложения, следует, что .

Единственное натуральное число, являющееся разностью чисел а и b, обозначают а — b.

Источник