术语(n>0)可以写为一个左对齐数组,行长度为2^m,m>=0:
2,
3, 3,
5, 5, 4, 4,
8, 8, 7, 7, 7, 7, 5, 5,
13,13,11,11,12,12, 9, 9,11,11,10,10, 9, 9, 6, 6,
21,21,18,18,19,19,14,14,19,19,17,17,16,16,11,11,18,18,15,15,17,17,13,13,14,14,...
所有列都具有斐波那契数列性质:a(2^(m+2)+k)=a(2qu(m+1)+k)+a(2um+k),m>=0,0<=k<2^m(经验观察)。
术语(n>0)也可以写为右对齐数组,行长度为2^m,m>=0:
2,
3, 3,
5, 5, 4, 4,
8, 8, 7, 7, 7, 7, 5, 5,
13,13,11,11,12,12, 9, 9,11,11,10,10, 9, 9, 6, 6,
...,19,19,17,17,16,16,11,11,18,18,15,15,17,17,13,13,14,14,13,13,11,11, 7, 7,
每一列都是一个算术序列。算术序列的差异重复了序列A071585号:a(2^(m+2)-1-2k)-a(2^(m+1)-1-2k)=A071585号(k-1),m>0,0<=k<2^m;a(2^(m+2)-1-2k-1)-a(2^(m+1)-1-2k-1)=A071585号(k-1),m>0,0<=k<2^m。
n> 1出现在这个序列phi(n)中=A000010号(n) 时间,因为它发生在A007306号(Franklin T.Adams Watters的评论),即在正理性的卡尔金-威尔夫枚举系统中,通过将分子和分母相加而获得的序列。A245327型(n)/A245328型(n) 也是所有正有理数的计数系统,在每一级m>=0(秩在2^m和2^(m+1)-1之间),两个系统中的有理数是相同的。因此,a(n)在每个级别中的术语与A007306号.