Pierādīt, ka izliekta \(n\)-stūra leņķu summa ir vienāda ar , ja .
Lai varētu lietot matemātiskās indukcijas metodi, nedaudz izmainīsim uzdevuma formulējumu: pierādi apgalvojumu \(A(n)\): izliekta \((\)\(n+2)\)-stūra leņķu summa ir vienāda ar , jebkuram naturālam \(n\).
1) Indukcijas bāze. Pārbauda, vai ir patiess apgalvojums \(A(1).\)
Trijstūra iekšējo leņķu summa ir vienāda ar \(180°\), to var pierādīt ar teorēmu par trijstūra leņķu summu.
Pierādījums.
Caur trijstūra virsotni novelk taisni \(a\), kas paralēla trijstūra malai.
Zaļie leņķi vienādi kā kāpšļu leņķi, arī zilie leņķi vienādi kā kāpšļu leņķi, dzeltenie leņķi vienādi kā krustleņķi. Redzam, ka visi trīs trijstūra leņķi veido izstieptu leņķi, kas ir \(180°\).
2) Induktīvais pieņēmums (hipotēze). Pieņem, ka \(A(k)\) ir patiess.
Izliekta \((k\)\(+2)\)-stūra leņķu summa ir vienāda ar .
3) Induktīvā pāreja. Pierāda, ka patiess ir arī apgalvojums \(A(k+1).\)
Izliekta \((k+1)+2\) -stūra leņķu summa ir vienāda ar .
Izvēlamies divas \((k+1)+2\) -stūra virsotnes, kas atrodas vistuvāk kādai citai virsotnei un novelkam diagonāli (zīmējumā sarkanā krāsā).
Šī diagonāle sadala \((k+1)+2\) -stūri divās figūrās: \((k+2)\)-stūrī un trijstūrī.
\((k+1)+2\) -stūra iekšējo leņķu summu var iegūt, ja saskaita \((k+2)\)-stūra leņķu summu ar trijstūra iekšējo leņķu summu, kas ir \(180°.\)
Pēc induktīvā pieņēmuma \((k+2)\)-stūra leņķu summa ir .
Tātad \((k+1)+2\) -stūra iekšējo leņķu summa ir , kas bija jāpierāda.
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.