Posted By: bhakta (bhakta) on 'CZscience'
Title:     Kdyz uz jsme u tech paradoxu....
Date:      Thu Jun 29 13:54:52 1995

... mame tvrzeni:
Pro kazde cele cislo a a pro kazde cislo n=0,1,2,3,... plati a^n = 1.

Dukaz:
	1. Dokazaeme, ze tvrzeni plati pro nejake male n:
		a^0 = 1, n=0;
	2. Predpokladekme, ze tvrzeni plati pro k=0,1,2,... takove, ze k<=n.
	3. Nyni dokazeme platnost tvrzeni pro index n+1.
		a^(n+1)=(a^n*a^(n-1))/a^(n-2)=1*1/1=1
		Podle predpokladu je a^n,a^(n-1),a^9n-2)=1, tudiz i a^(n+1)=1.
	c.b.d.

:-) To je ale indukce, co?

Mejte se.

bhakta
e-mail: janecekr@risc.upol.cz
Look at my homepage:  http://phoenix.upol.cz/~janecekr