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