Archiv článků: důkaz

Nejdelší matematický důkaz – v podobě 200 TB dat

autor Continentaleurope, zdroj: Wikipedia, licence obrázku GFDL

Booleanský problém pythagorejských trojic se obvykle vysvětluje pomocí „obarvení“. Vezmeme N přirozených čísel. Otázka zní, zda můžeme tuto množinu čísel nějak rozdělit na dvě skupiny („červená“ a „modrá“), a to tak, aby žádná z pythagorejských trojic A na 2 + B na 2 = C na 2 neobsahovala stejně zbarvená …

více »