Izliektu daudzstūri pilnībā pārklāj cits daudzstūris.
Jāpierāda, ka iekšējā daudzstūra perimetrs nepārsniedz ārējā daudzstūra perimetru.
 
Par ārējo daudzstūri nosauksim to daudzstūri, kurš pārklāj otru daudzstūri, bet to, kuru pārklāj – par iekšējo daudzstūri.
 
Nosauksim par brīvu malu tādu iekšējā daudzstūra malu, kura neatrodas uz ārējā daudzstūra malas.
Par indukcijas parametru pieņemsim brīvo malu skaitu plus viena (jo brīvās malas var arī nebūt, bet indukcijas parametrs ir naturāls skaitlis).
 
Precizēsim apgalvojumu \(A(n)\).
Jebkuriem vienam uz otra uzliktiem daudzstūriem ar \(n-1\) brīvām malām, iekšējā daudzstūra perimetrs nepārsniedz ārējā daudzstūra perimetru. n.
1) Indukcijas bāze. Pārbauda, vai ir patiess apgalvojums \(A(1)\).
Ja \(n=1\), tad brīvo malu nav vispār un tad apgalvojuma patiesums ir acīmredzams (izpildās perimetru vienādība)
 
2) Induktīvais pieņēmums (hipotēze). Pieņem, ka \(A(k)\) ir patiess.
Pieņemsim, ka apgalvojums ir spēkā visiem gadījumiem, kad ir \(k\) brīvas malas.
 
3) Induktīvā pāreja. Pierāda, ka patiess ir arī apgalvojums \(A(k+1)\).
Pierādīsim, ka apgalvojums ir spēkā, ja ir \(k+1\) brīva mala.
 
\(R\) – iekšējais daudzstūris, \(T\) – ārējais daudzstūris. Pavisam ir \(k+1\) brīvas malas.
Jāpierāda, ka P(R)PT, kur \(P(R)\) un \(P(T)\) ir daudzstūru \(R\) un \(T\) perimetri.
 
YCUZD_220722_4125_1.svg
 
Izvēlēsimies iekšējā daudzstūra \(R\) malu \(AB\) un pagarināsim to līdz krustpunktam ar ārējā daudzstūra \(T\) malām.
 
YCUZD_220722_4125_2.svg
 
Iegūstam daudzstūri \(S\) (zīmējumā rozā krāsā). Daudzstūris \(R\) atrodas daudzstūrī \(S\), savukārt daudzstūris \(S\) atrodas daudzstūrī \(T\).
 
Papildini pierādījumu!
 
Pēc zīmējuma var redzēt, ka Pi<P(T), jo nogrieznis  ir īsāks par lauztu līniju ar galapunktiem \(A\) un \(B\).
 
Aplūko daudzstūrus \(R\) un \(S\).
Šajā pārī brīvo malu skaits ir par \(1\) mazāks nekā pārī \(R\) un \(T\), tātad, atsaucoties uz induktīvo pāreju, ir tieši  brīvo malu, jo \(AB\) vairs nav daudzstūra \(R\) brīvā mala. Tātad pēc induktīvā pieņēmuma P(R)Pi.
 
Pievienojot nevienādību Pi<P(T), ko ieguvām iepriekš, iegūstam P(i)P(i)<P(i).
 
Varam secināt, ka P(i)Pi.
 
Secinājums
Gan indukcijas bāze, gan pāreja ir pierādītas.
Redzam, ka no izteikuma \(A(k)\) patiesuma seko \(A(k+1)\) patiesums.
Esam pierādījuši \(A(n)\) patiesumu visām \(n\) vērtībām – iekšējā daudzstūra perimetrs nepārsniedz ārējā daudzstūra perimetru jebkuram naturālam brīvo malu skaitam.
 
Ievēro, ka abu daudzstūru malu skaitam nav jāsakrīt. Jo pierādījumā to nekur neizmantoja.
 
Atsauce:
Materiālu sagatavoja Mg. math. Laima Baltiņa 
Энциклопедия для детей, Mатематика. Москва:Аванта+, 2005, izm. 569.lpp
Lai iesniegtu atbildi un redzētu rezultātus, Tev nepieciešams autorizēties. Lūdzu, ielogojies savā profilā vai reģistrējies portālā!