Posted By: robilad (robilad) on 'CZscience'
Title:     Re: Dukaz
Date:      Mon Mar  5 13:21:34 2001

> Cao potrebuji dokazat tohle: 
> vynasobim-li prvnich n prvocisel a prictu k nim jedna, dostanu opet
> prvocislo. 

Predpokladam, ze jde o cast slavneho (myslim, ze Eukleidova) dukazu 
nekonecnosti mnoziny prvocisel. Pro spor se predpoklada, ze mnozina prvocisel 
je konecna, provede se soucin vsech jejich prvku, pricte se jednicka a jak 
spravne poznamenal Doug, toto cislo je nesoudelne se vsemi prvocisly, z nichz 
bylo zkonstruovano. Jelikoz ovsem kazde cislo je mozno rozlozit na soucin 
prvocisel, musi existovat jeste nejaka jina prvocisla, coz je spor s 
konecnosti mnoziny prvocisel. Odnikud neplyne, ze by soucin prvocisel plus 
jedna muselo byt samo prvocislo (snakuv protipriklad), coz ovsem pro dukaz 
nepotrebujeme. 

robilad

Search the boards