unun chin bo`ladi.
I s b o t. Faraz qilaylik, biror  uchun T(n) chin bo`lmasin. T(n) tasdiq chin bo`lmagan barcha lar to`plamni N orqali belgilaymiz. Farazimizga muvofiq N to`plam bo`sh emas. .N to`plam N ning qism to`plami bo`lgani uchun uning minimal elementi mavjud. Uni no orqali belgilaymiz, U xolda T(no) chin emas, ammo xar qanday m< no uchun T(m)-chin. Bu esa teoremaning 2) faraziga zid.
M i s o l. Ixtiyoriy uchun ushbu
tenglikni isbotlaymiz.
Agar  1 bo`lsa, bu tenglik ravshan. Faraz qilaylik, bu tenglik n sondan kichik bo`lgan barcha natural sonlar uchun o`rinli bo`lsin. Xususan
tenglik o`rinli bo`lsin. Bu tenglikning
Do'stlaringiz bilan baham: |
