プロスの定理

物語

FrançoisProt（1852-1879）は、ヴェルダン近くのフランスの村Vaudevan-Damlouxに住んでいた独学の農民でした。ここで検討した定理は、彼が得た4つの結果の1つであり、数値の単純さをテストするために使用できます。1878年にフランスの科学雑誌Comptesrendusdel'AcadémiedesSciences（図1）に掲載されました。プロトゥスはおそらく彼の結果の証拠を持っていたが、彼はそれらを提示しなかった。

定義

– . , , ,   . , , – .

– , – . , , . , , , .

: 3, 5, 9,13,17, 25, 33… -  A080075.

, , : 3, 5, 13, 17, 41, 97, 113… - A080076.

, 9,383,761 . , , . 31 2016    Seventeen or Bust .

, . , () , ()  –   .

– , , :

. , . , , .

, , . , .

– . , ,     , .

, – , : . – .

. , . , .

– , . ,   ,  – .

. . , . , . , . . . , . , .  , . 

, . , ,   . : .

, .   . , . . : . , , , , : – .

. , .

– . . .

, , .

.

. .

, :

1. –

   
   
   
   
   

2. –

   
   
   
   
   

. . .

. , , . , , , . .

, . , . .

:

1. . , – .

   
   
   
   
   

2. . , , – , ( ) .

   
   
   
   
   

3. .  –   .

   
   
   
   
   

4. . .

   
   
   
   
   

, .  , .

, . , . , . , . , – .

. . . , , . . , . . , .

. . , , .

, – , , . , . «» . .

, . . . . ,. . , .

-.   ,    . ,     « », « ».  , , .    .

2008 , , .   "Proth.exe", .

.

, – ,  – , . . , , – .

. , . . . , . . . :

1. –

   
   
   
   
   

2. –

   
   
   
   
   

, , .

もちろん、プロスの一般化された定理は多数の数のグループに適用できますが、必要な変数の選択には時間がかかりすぎます。したがって、実際には、古典的な定理がはるかに頻繁に使用されます。