About sequences

creigh at o2online.de creigh at o2online.de
Mon Sep 6 21:01:38 CEST 2004


Please excuse all the postings, below is a IX 'th  property 
(without proof - although, 
Limit as n-> infinity of A001353(n)/A001353(n-1) = 2 + sqrt(3). 
-Gregory V. Richardson (omomom(AT)hotmail.com), 
Oct 06 2002 has been proven- I was informed by Neil that 
"jes(n)" =   [1, -4, 15, -56, ...] is (-1)^(n+1)*A001353(n+1)).
I also fixed a mistake at the end. 

*************************

Just found an additional property (VIII) which perplexes 
me. I also fixed a mistake at the end. 

********************* 

Apparently, none of the four sequences 

jes seq: 1(0), -4(1), 15(2), -56(3), 209(4), -780(5), 2911(6), -10864(7), 
40545(8), -151316(9), 564719(10) 

les seq: -2(0), 1(1), -6(2), 16(3), -62(4), 225(5), -842(6), 3136(7), -11706 
(8), 43681(9), -163022(10) 

tes seq: -1(0), 4(1), -13(2), 49(3), -181(4), 676(5), -2521(6), 9409(7), -35113 
(8), 131044(9), -489061(10) 

ves seq: -2(0), 1(1), -4(2), 9(3), -34(4), 121(5), -452(6), 1681(7), -6274(8), 
23409(9), -87364(10) 

are listed at OEIS. However, notice the symmetries (for all n): 

I: jes(n) + les(n) + tes(n) = ves(n) 

II: les(2n+1); tes(2n+1); ves(2n+1); 
ves(2n+1) - jes(2n+1) - 1 = les(2n+1) + tes(2n+1) - 1; 
3*les(2n+1) + 1 = 3*jes(n)^2 + 1 (see IV and VII) are perfect squares 

III: les(2n+1) divides ves(2n+1) - jes(2n+1) - 1 = les(2n+1) + tes(2n+1) -
 
1 

IV: (jes(n))^2 = les(2n+1) 

V: tes(2n) = A001570(n), sqrt( tes(2n+1) ) = A001075(n) [both are "nice" 
sequences] 

VI: ves(2n), ves(2n)/2 do not exist in OEIS, however: sqrt( ves(2n+1) ) 
= A001835(n) [ "nice" ] 

VII: sqrt( les(2n+1) ) = A001353(n) [ Comments: 3*a(n)^2 + 1 is a perfect square. 
] 

VIII: les(n) + tes(n) = ves(2+n) + jes(n) 

IX: lim n |jes(n+1)/jes(n)| = 
     lim n |les(n+1)/les(n)| = 
     lim n |tes(n+1)/tes(n)| =
     lim n |ves(n+1)/ves(n)| = 2 + sqrt(3)

It follows immediately from properties I + II that... 
1^2 (les(1) + 2^2 (tes(1)) = 2^2 (ves(1) - jes(1) - 1) + 1
4^2 (les(3))+ 7^2 (tes(3)) = 8^2 (ves(3) - jes(3) - 1)  + 1 
15^2 (les(5)) + 26^2 (tes(5)) = 30^2 (ves(5) - jes(5) - 1)  + 1 

Sincerely, 
Creighton 





More information about the SeqFan mailing list