OFFSET
0,2
COMMENTS
From Jon E. Schoenfield, Aug 10 2006: (Start)
The approach described uses continued fractions containing an even number of terms of which all but the last term are fixed at the values those terms take in the continued fraction for Pi; the final term is initialized at 1 and incremented by 1 each time until it reaches the value taken by that term in the continued fraction for Pi. The semiconvergents and convergents thus obtained are increasingly accurate approximations for Pi, all of which approach Pi from values larger than Pi. Thus the angles whose sizes (in radians) are the numerators of those semiconvergents and convergents approach (from the positive side) integer multiples of Pi, so the tangents of those angles approach zero from positive values.
If we were to use the same approach but with continued fractions having an odd number of terms, i.e., [3] = 3/1; [3;7,i], i=1..15; [3;7,15,1,i], i=1..292; etc., then the semiconvergents and convergents obtained would likewise be increasingly accurate approximations for Pi, but they would approach Pi from values smaller than Pi, so the angles whose sizes (in radians) are the numerators of those semiconvergents and convergents would approach (from the negative side) integer multiples of Pi and thus the tangents of those angles would approach zero from negative values.
Terms after a(0) = 1 are the numerators of the fractions obtained by evaluating all those convergents and semiconvergents of the continued fraction for Pi (A001203) that, as written below, have an even number of partial quotients:
[3;i], i=1..7 (6 semiconvergents and 1 convergent)
[3;7,15,1]
[3;7,15,1,292,1]
[3;7,15,1,292,1,1,1]
[3;7,15,1,292,1,1,1,2,1]
[3;7,15,1,292,1,1,1,2,1,3,1]
[3;7,15,1,292,1,1,1,2,1,3,1,14,i], i=1..2
[3;7,15,1,292,1,1,1,2,1,3,1,14,2,1,1]
[3;7,15,1,292,1,1,1,2,1,3,1,14,2,1,1,2,i], i=1..2
[3;7,15,1,292,1,1,1,2,1,3,1,14,2,1,1,2,2,2,i], i=1..2
[3;7,15,1,292,1,1,1,2,1,3,1,14,2,1,1,2,2,2,2,1,i], i=1..84, etc. (End)
See also A002485 which has a similar property (numerators of convergents to pi = numbers for which |tan a(n)| decreases to zero). - M. F. Hasler, Apr 01 2013
EXAMPLE
a(1) is the numerator of [3;1] = 3 + 1/1 = 4/1
a(2) is the numerator of [3;2] = 3 + 1/2 = 7/2
...
a(7) is the numerator of [3;7] = 3 + 1/7 = 22/7
a(8) is the numerator of [3;7,15,1] = 3 + 1/(7 + 1/(15 + 1/1)) = 355/113
a(9) is the numerator of [3;7,15,1,292,1] = 3 + 1/(7 + 1/(15 + 1/(1 + 1/(292 + 1/1)))) = 104348/33215
MATHEMATICA
s = Tan[1]; Do[t = Tan[n]; If[t > 0 && t <= s, Print[n]; s = t], {n, 10^9}] (* Ryan Propper, Jul 27 2006 *)
PROG
(PARI) e=2; for(n=1, 1e9, tan(n)>0 && tan(n)<e && !print1(n", ") && e=tan(n)) \\ - M. F. Hasler, Apr 01 2013
CROSSREFS
KEYWORD
nonn
AUTHOR
EXTENSIONS
More terms from Michel ten Voorde
2 more terms from Ryan Propper, Jul 27 2006
More terms from Jon E. Schoenfield, Aug 10 2006
Corrected by Don Reble, Nov 20 2006
STATUS
approved