Студопедия

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника



Операція ділення з остачею на множині цілих невід’ємних чисел.




Читайте также:
  1. B. Виділенням енергії
  2. Аксіоматичне означення додавання цілих невід’ємних чисел в аксіоматичній теорії. Таблиці і закони додавання.
  3. Аксіоматичне означення множення цілих невід’ємних чисел в аксіоматичній теорії. Таблиці і закони множення.
  4. Верные цифры и запись приближенных чисел.
  5. Визначення добутку на множині цілих невід’ємних чисел, його існування та єдиність. Операція множення та її основні властивості (закони).
  6. Визначення суми на множині цілих невід’ємних чисел, її існування та єдиність. Операція додавання та її основні властивості (закони).
  7. Відношення порядку на множині невід’ємних раціональних чисел.
  8. Включення і вимикання структурного виділення
  9. Властивості множини невід’ємних раціональних чисел.
  10. Го курсу денного відділення 1 страница

10. У процесі практичної діяльності людині чи не частіше доводиться зустрічатися з операцією ділення з остачею, ніж з операцією ділення націло. Саме тому, введемо означення такої операції та покажемо, що вона існує і єдина.

Означення: ціле невід’ємне число а ділиться на натуральне число b з остачею, якщо існують такі цілі невід’ємні числа q і r, що виконуються умови: 1) а=bq+r; 2) 0£r£b.

У наведеному означенні нічого не говориться про існування та єдиність такої операції, а тому слід довести наступну теорему.

Теорема 12: для будь-якого цілого невід’ємного числа а і натурального числа b існує і причому єдина пара цілих невід’ємних чисел q і r таких, що а=bq+r, де 0£r£b.

Доведення:

Доведення цієї теореми буде складатися із двох частин. У першій частині доведемо існування таких чисел, тобто існування операції ділення з остачею, а у другій – її єдиність. Між числами а і b може існувати лише одне із співвідношень: 1) а<b; 2) а=b; 3) а>b. Якщо а<b, то а=b×0+а, де q=0 і r=а. Отже, умови виконуються, тобто такі числа існують. Якщо а=b, то а=b×1+0, де q=1 і r=0. Таким чином, умови також виконуються, тобто такі числа існують. Якщо а>b, то можливі два випадки: а) а ділиться націло на b; б) а не ділиться націло на b. У першому випадку згідно означення частки існує деяке число q таке, що а=b×q, тобто а=b×q+0. Таким чином, в усіх розглянутих випадках числа q і r існують.

Розглянемо випадок, коли а не ділиться націло на b. Утворимо послідовність чисел b×1, b×2, b×3,..., b×q, b×(q+1), ..., b×а, ... Серед цих чисел , які діляться націло на b, знайдуться два послідовних числа такі, що b×q<а<b×(q+1), або b×q<а<b×q+b. Якщо від усіх частин останньої нерівності відняти b×q, то одержимо нерівність 0<а-b×q<b. Позначивши а-b×q=r, дістанемо: а=b×q+r, де 0<r<b. Таким чином, і в цьому випадку числа q і r існують. Отже, існування частки і остачі доведено.

Доведемо, що частка і остача єдині. Припустимо, що існує дві пари чисел q1, r1, q2, r2 таких, що а=b×q1+r1, де 0<r1<b, і а=b×q2+r2, де 0<r2<b, q1¹q2 і r1¹r2. Звідси b×q1+r1=b×q2+r2. Оскільки r1¹r2., то виберемо для визначеності, що r1£r2. Тоді b×(q1-q2)=r2-r1. Із того, що вираз b×(q1-q2) ділиться націло на b, випливає, що і вираз r2-r1 ділиться націло на b. Оскільки 0£r2-r1<b, то вираз r2-r1 може ділитися націло на b лише в тому випадку, коли r2-r1=0, тобто r2=r1. Звідси випливає, що b×(q1-q2)=0. Оскількиb¹0, то q1-q2=0, тобто q1=q2. Таким чином, ми прийшли до суперечностей із вибором чисел q1, r1, q2, r2. Ця суперечність дозволяє твердити, що припущення про не єдиність частки і остачі було хибним. Отже, теорему доведено повністю.



 

Завдання для самоконтролю та самостійної роботи студентів за змістовним модулем 3.1.

1. Сформулюйте означення відношення “більше” на множині цілих невід’ємних чисел у кількісній теорії цих чисел.

2. Довести комутативний закон операції додавання у теоретико-множинній теорії.

3. Довести переставний і сполучний закони операції множення у теоретико-множинній теорії.

 


Дата добавления: 2014-12-03; просмотров: 90; Нарушение авторских прав







lektsii.com - Лекции.Ком - 2014-2021 год. (0.013 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты