Geometrik o'rtacha teorema

**Toʻgʻri burchakli uchburchak balandlik teoremasi** yoki **oʻrtacha geometrik teorema** toʻgʻri burchakli uchburchakdagi gipotenuzaning balandligi va u gipotenuzada yaratgan ikkita chiziq segmenti oʻrtasidagi munosabatni tavsiflovchi elementar geometriya natijasi boʻladi. Unda aytilishicha, ikkita segmentning geometrik oʻrtacha qiymati balandlikka teng boʻladi.

## Teorema va ilovalar

Agar *h* toʻgʻri burchakli uchburchakdagi balandlikni va *p* va *q* gipotenuzadagi segmentlarni bildirsa, teorema quyidagicha ifodalanishi mumkin:

: h=\sqrt{pq} 

yoki kvadratlari boʻyicha:

: h^2=pq.

Toʻrtburchakni oʻlchagich va sirkul yordamida kvadratga oshirish usulini beradi, yaʼni berilgan toʻrtburchakning maydoniga teng kvadratiga teng boʻladi. Tomonlari *p* va *q* boʻlgan bunday toʻrtburchak uchun uning yuqori chap uchini *D* bilan belgilaymiz. Endi biz *q* segmentini chap tomonga *p* ga choʻzamiz (markazi *D* ga yoʻnaltirilgan *AE* yoyi yordamida) va uning diametri sifatida yangi *p+q* segmenti bilan *A* va *B* soʻnggi nuqtalari boʻlgan yarim doira chizamiz. Keyin *D* dagi diametrga perpendikulyar chiziqni *C* dagi yarim doira kesib oʻtamiz. Thales teoremasi tufayli *C* va diametri toʻgʻri burchakli uchburchakni tashkil qiladi, uning balandligi *DC* chiziq segmenti bilan, shuning uchun *DC* toʻrtburchakning maydoni boʻlgan kvadratning tomoni boʻladi. Usul shuningdek, kvadrat ildizlarni qurishga imkon beradi (konstruksiya qilinadigan raqamga qarang), chunki kengligi 1 ga teng boʻlgan toʻrtburchakdan boshlanadi, qurilgan kvadrat toʻrtburchak uzunligining kvadrat ildiziga teng boʻlgan tomon uzunligiga teng boʻladi.

Boshqa ilovasi ikkita raqam holatida AM-GM tengsizligining geometrik isbotini beradi. *P* va *q* raqamlari uchun diametri *p+q* boʻlgan yarim doira quriladi. Endi balandlik geometrik oʻrtachani va radius ikki raqamning oʻrtacha arifmetik qiymatini ifodalaydi. Balandlik har doim radiusdan kichikroq yoki teng boʻlgani sababli, bu tengsizlikni keltirib chiqaradi.

Teoremani aylana uchun kesishuvchi akkordlar teoremasining maxsus holati sifatida ham koʻrib chiqish mumkin, chunki Thales teoremasining teskarisi toʻgʻri burchakli uchburchakning gipotenuzasi uning aylana diametriga teng boʻladi.

Qarama-qarshi teorema ham haqiqatdir. Balandligi u tomonidan yaratilgan ikkita chiziq segmentining geometrik oʻrtachasiga teng boʻlgan har qanday uchburchak toʻgʻri burchakli uchburchak hisoblanadi.

## Tarixi
Teorema odatda Evklidga (taxminan miloddan avvalgi 360-280-yillar) tegishli boʻlib, u buni oʻzining " Elementlar " ning VI kitobidagi 8-mulohazaning natijasi sifatida bayon qilgan. II kitobning 14-taklifida Evklid toʻrtburchakni kvadratga solish usulini beradi, bu asosan bu yerda keltirilgan usulga mos keladi. Biroq, Evklid oʻrtacha geometrik teoremaga tayanishdan koʻra, qurilishning toʻgʻriligi uchun biroz murakkabroq isbotni ham taqdim etadi.

## Isbot

### Oʻxshashlik asosida

**Teoremaning isboti** :

Uchburchaklar \triangle ADC  va \triangle BCD oʻxshash, chunki:

* uchburchaklarni koʻrib chiqing \triangle ABC, \triangle ACD, bizda bor \angle ACB=\angle ADC=90^\circ va \angle BAC=\angle CAD, shuning uchun AA postulati bilan \triangle ABC \sim \triangle ACD 
* Bundan tashqari, uchburchaklarni koʻrib chiqamiz\triangle ABC, \triangle BCD, bizda bor \angle ACB=\angle BDC= 90^\circ va \angle ABC=\angle CBD, shuning uchun AA postulati bilan \triangle ABC \sim \triangle BCD

Shunday qilib, ikkala uchburchak ham \triangle ACD va \triangle BCD ga oʻxshaydi \triangle ABC va ular, yaʼni \triangle ACD \sim \triangle ABC \sim \triangle BCD .

Oʻxshashlik tufayli biz quyidagi nisbatlar tengligini olamiz va uning algebraik qayta tashkil etilish teoremasini beradi:

:  \frac{h}{p}=\frac{q}{h}\,\Leftrightarrow\,h^2=pq\,\Leftrightarrow\,h=\sqrt{pq}\qquad (h,p,q> 0)

**Suhbatning isboti:**

Teskari uchun bizda uchburchak bor \triangle ABC  qaysi ichida h^2=pq tutadi va *C* dagi burchak toʻgʻri burchak ekanligini koʻrsatishi kerak. Shu tufayli h^2=pq bizda bor \tfrac{h}{p}=\tfrac{q}{h}  . Bilan birga \angle ADC=\angle CDB  uchburchaklar \triangle ADC  va \triangle BDC  teng oʻlchamdagi burchakka ega va bir xil nisbatda mos keladigan juft oyoqlarga ega. Bu shuni anglatadiki, uchburchaklar oʻxshash boʻlib, natija beradi:

: \angle ACB=\angle ACD +\angle DCB=\angle ACD+(90^\circ-\angle DBC)=\angle ACD+(90^\circ-\angle ACD)=90^\circ

### Pifagor teoremasi asosida

Geometrik oʻrtacha teoremani oʻrnatishda uchta toʻgʻri burchakli uchburchak mavjud \triangle ABC , \triangle ADC  va \triangle DBC , bunda Pifagor teoremasi quyidagicha natijalarni beradi:

: h^2=a^2-q^2, h^2=b^2-p^2 va c^2=a^2+b^2

Birinchi ikkita tenglamani qoʻshib, uchinchisini qoʻllash quyidagilarga olib keladi:

: 2h^2=a^2+b^2-p^2-q^2=c^2-p^2-q^2=(p+q)^2-p^2-q^2=2pq .

Ikkiga boʻlinish natijasida geometrik oʻrtacha teorema formulasi paydo boʻladi:

### Dissektsiya va qayta tartibga solishga asoslangan

Toʻgʻri burchakli uchburchakni *h* balandligi boʻylab kesib tashlasak, ikkita oʻxshash uchburchak hosil boʻladi, ularni ikki muqobil usulda kattalashtirish va tomonlari *p+h* va *q+h* uzunliklariga perpendikulyar boʻlgan kattaroq toʻgʻri burchakli uchburchak shaklida joylashtirish mumkin boʻladi. Bunday tartiblardan biri uni bajarish uchun *h <sup>2</sup>* maydonning kvadratini, ikkinchisi *pq* maydonining toʻrtburchaklarini talab qiladi. Ikkala tartib ham bir xil uchburchakni berganligi sababli, kvadrat va toʻrtburchakning maydonlari bir xil boʻlishi kerak.

### Kesish xaritalariga asoslangan
Balandlik kvadratini uchta qirqim xaritasi yordamida *p* va *q* tomonlari boʻlgan teng maydonli toʻrtburchakka aylantirish mumkin (qirqish xaritalari maydonni saqlaydi) boʻladi:

## Manbalar


## Havolalar

* Kesilgan ''tugundagi geometrik oʻrtacha''