20.6: Площа твердих паралелограмів
◻ABCDДозволяти паралелограм в евклідовій площині,a=AB іh бути відстань між лініями(AB) і(CD). Тоді
area (◼ABCD)=a⋅h.
- Доказ
-
НехайA′ іB′ позначають точки стопиA іB на лінії(CD).
Зверніть увагу, щоABB′A′ це прямокутник зі сторонамиa іh. За теоремою 20.5.1
area (◼ABB′A′)=h⋅a.
Без втрати спільності можна вважати, що\(\blacksquare ABCA'\) містить\(\blacksquare ABCD\) і\(\blacksquare ABB'A'\). При цьому\(\blacksquare ABCA'\) допускається два підрозділи:
◼ABCA′=◼ABCD∪▴AA′D=◼ABB′A′∪◼BB′C.
area (◼ABCD)+area (▴AA′D)==area (◼ABB′A′)+area (▴BB′C).
Зверніть увагу, що
Дійсно, оскількиABCD чотирикутникиABB′A′ і паралелограми, по Лемма 7.5.1, ми маємо щоAA′=BB′AD=BC, іDC=AB=A′B′. Звідси випливає, щоA′D=B′C. Застосовуючи умову конгруентності ССС, отримуємо 20.6.3.
Зокрема,
area (▴BB′C)=area (▴AA′D).
Віднімаючи 20.6.4 з 20.4.2, отримуємо, що
area (◼ABCD)=area (◼ABB′D).
Залишилося застосувати 20.6.1.
Припустимо◻ABCD◻AB′C′D′ і два паралелограма такі, щоB′∈[BC] іD∈[C′D′]. Покажіть, що
area (◼ABCD)=area (◼AB′C′D′).
- Підказка
-
Припустимо, щоE позначає точку перетину ліній(BC) і(C′D′).
Використовуйте Proposition,20.6.1 щоб довести наступні дві ідентичності:
area (◼AB′ED)=area (◼ABCD),area (◼AB′ED)=area (◼AB′C′D′)