这个有限序列a(n),对于n=1,2。。。,13,见第87页卡普兰斯基给出的等式(2.3)。
它进入了卡普兰斯基的定理2.1,第87页,并在第90页上进行了证明(这里重新公式化):由x^2+y^2+2*z^2唯一表示的正整数,具有0<=x<=y和0<=z,由13个数字a(n)和4^k*6组成=A002023号(k) ,对于整数k>=0。请参阅中的评论A002023号对于这个三元形式的唯一可表示的正整数。
它还进入了卡普兰斯基定理2.3,第88页,并在第91页上进行了证明(这里重新表述):由x^2+2*y^2+4*z^2唯一表示的正整数,非负整数x,y,z由13个奇数a(n)和4个偶数2,10,26和74组成。这是有限序列
1, 2, 3, 5, 7, 10, 11, 15, 21, 23, 26, 29, 35, 39, 71, 74, 95.