■レイリー・ヴィノグラードフの定理(その17)

 (その16)の続きである.仮に

{an}={1,4,5,8,9,12,13,16}

{bn}={2,3,6,7,10,11,14,15}

とすると,

{an^2}={1,16,25,64,81,144,169,256}

{bn^2}={4,9,36,49,100,121,196,225}

とすると,

{cn}={an^2−bn^2}={−3,7,−11,15,−19,23,−27,31}=16

 これを0にする方法はいろいろあって一意に決まらない.

{an^3}={1,64,125,512,729,1728,2197,4096}

{bn^3}={8,27,216,343,1000,1331,2744,3375}

{cn}={an^3−bn^3}={−7,37,−91,169,−271,397,−547,721}

{dn}={cn+1−cn}={44,−128,260,440,668,−944,1268}・・・等差数列にならない.

===================================

{an}={1,3,5,7,9,11,13,15}

{bn}={2,4,6,8,10,12,14,16}

から始めるほうはよいようだ.

{an^2}={1,9,25,49,81,121,169,225}

{bn^2}={4,16,36,64,100,144,196,256}

{cn}={bn^2−an^2}={3,7,11,15,19,23,27,31}・・・等差数列

{an^3}={1,27,125,343,729,1331,2197,3375}}

{bn^3}={8,64,216,512,1000,1728,2744,4096}

{cn}={bn^3−an^3}={7,37,91,169,271,397,547,721}

{dn}={cn+1−cn}={30,54,78,102,126,150,174}・・・等差数列

が同時に0になるように符号をつけたい.

===================================