Professional Documents
Culture Documents
Birinci Kant. Pden geen AC dorusuna kout bir doru AByi Dde, BCyi Ede kessin. BDE
BAC olduundan, BDE geninin en uzun kenar BEdir, dolaysyla BE BD DE eitsizlikleri
geerlidir. imdi hesaplayalm:
PA + PB + PC < (PD + DA) + PB + (PE + EC)
= DE + DA + PB + EC
DB + DA + PB + EC
= BA + PB + EC
BA + BE + EC = BA + BC.
(Beinci satrda kullandmz PB BE eitsizliini
okura altrma olarak brakyoruz.) Bylece teorem kantlanmtr.
eitsizlikleri geerlidir.
A
kinci Kant. Pden geen AC, BA ve BC dorularna kout dorular bu dorular ekildeki gibi
kessin.
P
z
y
B
A
C
K
L
M
P
B
F
Teorem. Bir genin i blgesinde rastgele alnan bir noktann genin kelerine olan uzaklklarnn toplam daima genin en uzun iki kenarnn toplamndan kktr.
A
D
P
79