logo
Лекції з матем - заоч

Малюнок № 7.11. Фігури ф і f.

У наведених нами міркуваннях і означеннях застосовується термін “площа”, але його визначення відсутнє. Визначаючи поняття довжини, ми використовували її для характеристики лінійної протяжності. Поняття площі будемо використовувати для характеристики квадровності геометричних фігур. Так само, як і для довжини використаємо аксіоматичний підхід до введення поняття площі.

Означення: площею фігури називається невід’ємна скалярна величина, яка характеризує міру квадровності фігури та визначена для кожної фігури так, що виконуються наступні аксіоми:

1. У множині М геометричних фігур існує нульовий квадрат k0 такий, що m(k0)=0 (символічно ця аксіома запишеться так: ([(k0єМ)(m(k0)=0)]).

2. У множині М існує одиничний квадрат k такий, що m(k)=1, яким можна виміряти площу будь-якої фігури (символічно ця аксіома запишеться так: ([(kєМ)(m(k)=1)]).

3. Рівні фігури мають рівні площі (символічно ця аксіома запишеться так: ([(F,GєM)((F=G)↔ (mk(F)=mk(G))]).

4. Якщо фігура F складається із скінченного числа фігур F1, F2, F3,...Fn, які не мають спільних внутрішніх точок, то площа фігури F дорівнює сумі площ фігур F1,F2,F3,...Fn (символічно: [(F,F1,F2,F3,...,FnєM)((F=F1+F2+F3+...+Fn)↔ (mk(F)=mk(F1)+mk(F2)+mk(F3)+...+mk(Fn))]).

Для того, щоб виміряти площу фігур Ф і F, слід підрахувати число квадратів певного рангу. На практиці для цього використовують палетку, яка являє собою прозору плівку розбиту на одиничні квадрати. Поклавши палетку на геометричну фігуру, підраховуємо число квадратів та визначаємо площу. Так само, як і при безпосередньому вимірюванні довжини, процес підрахунку може бути або скінченним, або нескіченним. У першому випадку міра площі виражатиметься невід’ємним раціональним числом, а в другому – невід’ємним ірраціональним числом. Цілком зрозуміло, що щоразу визначати площу геометричної фігури безпосереднім підрахунком числа квадратів певного рангу дуже незручно, а тому в математиці для визначення площі певних геометричних фігур вивели формули для знаходження площі. Перед тим, як познайомитися з цими формулами, розглянемо кілька потрібних для їх виведення понять.

Означення: два многокутника називаються рівновеликими, якщо вони мають рівні площі.

Зазначимо, що рівновеликі многокутники не завжди рівні, наприклад: маємо два прямокутники із сторонами 2 см і 6 см та 3 см і 4 см. Хоча площі обох многокутників дорівнюють 12 см2, але вони не рівні. Розглянемо питання про те, чи можна за допомогою перетворення многокутників встановити їхню рівновеликість. Виявляється, що це завдання розв’язується позитивно. Таким геометричним еквівалентом є поняття рівноскладеності геометричних фігур.

Означення: два многокутника називаються рівноскладеними, якщо їх можна розкласти на одне й те саме число попарно рівних многокутників.

З’ясуємо, які властивості має відношення рівноскладеності. Оскільки кожний многокутник рівноскладений сам з собою, то відношення рівноскладеності рефлексивне. Якщо многокутник М1 рівноскладений многокутнику М2, то і многокутник М2 рівноскладений з многокутником М1. Отже, відношення рівноскладеності має властивість симетричності. Якщо многокутник М1 рівноскладений з многокутником М2, а многокутник М2 рівноскладений з многокутником М3, то многокутники М1 і М3 – рівноскладені. Отже, відношення рівноскладеності транзитивне. Таким чином, відношення рівноскладеності на множині многокутників є відношенням типу еквівалентності, бо має властивості рефлексивності, симетричності та транзитивності. За допомогою цього відношення множина всіх многокутників розбивається на класи еквівалентності, до кожного із яких відносяться рівноскладені між собою многокутники. Виявляється, що між відношеннями рівновеликості та рівноскладеності многокутників існує зв’язок, який зафіксовано в наступних теоремах.

Теорема 1: будь-які два рівноскладені многокутники рівновеликі.