式が出そろったので，検算してみたい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

（ｎ，０）＋（ｎ，３）＋（ｎ，６）＋・・・＝（２^n＋２ｃｏｓｎπ／３）／３

（ｎ，１）＋（ｎ，４）＋（ｎ，７）＋・・・＝（２^n＋２ｃｏｓ（ｎ−２）π／３）／３

（ｎ，２）＋（ｎ，５）＋（ｎ，８）＋・・・＝（２^n＋２ｃｏｓ（ｎ−４）π／３）／３

ｎ＝１０とする．

（１０，０）＋（１０，３）＋（１０，６）＋（１０，９）＝１＋１２０＋２１０＋１０＝３４１

（２^10＋２ｃｏｓ１０π／３）／３＝（１０２４−１）／３＝３４１

（１０，１）＋（１０，４）＋（１０，７）＋（１０，１０）＝１０＋２１０＋１２０＋１＝３４１

（２^10＋２ｃｏｓ８π／３）／３＝（１０２４−１）／３＝３４１

（１０，２）＋（１０，５）＋（１０，８）＝４５＋２５２＋４５＝３４２

（２^10＋２ｃｏｓ６π／３）／３＝（１０２４＋２）／３＝３４２

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

（ｎ，０）＋（ｎ，４）＋（ｎ，８）＋・・・＝（２^n＋２^n/2・２ｃｏｓｎπ／４）／４

（ｎ，１）＋（ｎ，５）＋（ｎ，９）＋・・・＝（２^n＋２^n/2・２ｃｏｓ（ｎ−２）π／４）／４

（ｎ，２）＋（ｎ，６）＋（ｎ，１０）＋・・・＝（２^n＋２^n/2・２ｃｏｓ（ｎ−４）π／４）／４

（ｎ，３）＋（ｎ，７）＋（ｎ，１１）＋・・・＝（２^n＋２^n/2・２ｃｏｓ（ｎ−６）π／４）／４

ｎ＝１０とする．

（１０，０）＋（１０，４）＋（１０，８）＝１＋２１０＋４５＝２５６

（２^10＋２^5２ｃｏｓ１０π／４）／４＝（１０２４）／４＝２５６

（１０，１）＋（１０，５）＋（１０，９）＝１０＋２５２＋１０＝２７２

（２^10＋２^5・２ｃｏｓ８π／４）／３＝（１０２４＋６４）／４＝２７２

（１０，２）＋（１０，６）＋（１０，１０）＝４５＋２１０＋１＝２５６

（２^10＋２^5・２ｃｏｓ６π／４）／３＝（１０２４）／４＝２５６

（１０，３）＋（１０，７）＝１２０＋１２０＝２４０

（２^10＋２^5・２ｃｏｓ４π／４）／３＝（１０２４＋６４）／４＝２７２

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝