

A060728


Numbers n such that Ramanujan's equation x^2 + 7 = 2^n has an integer solution.


15




OFFSET

1,1


COMMENTS

See A038198 for corresponding x.  Lekraj Beedassy, Sep 07 2004
Also numbers such that 2^(n3)1 is in A000217, i.e., a triangular number.  M. F. Hasler, Feb 23 2009
With respect to M. F. Hasler's comment above, all terms 2^(n3)  1 are known as the RamanujanNagell triangular numbers (A076046).  Raphie Frank, Mar 31 2013


REFERENCES

J.M. De Koninck, Ces nombres qui nous fascinent, Entry 181, p. 56, Ellipses, Paris 2008.
J. Roberts, Lure of the Integers. pp. 9091, MAA 1992.
Ian Stewart & David Tall, Algebraic Number Theory and Fermat's Last Theorem, 3rd Ed. Natick, Massachusetts (2002): 9698.


LINKS

Table of n, a(n) for n=1..5.
T. Skolem, S. Chowla and D. J. Lewis, The Diophantine Equation 2^(n+2)7=x^2 and Related Problems. Proc. Amer. Math. Soc. 10 (1959) 663669. [M. F. Hasler, Feb 23 2009]
Anonymous, Developing a general 2nd degree Diophantine Equation x^2 + p = 2^n
M. Beeler, R. W. Gosper and R. Schroeppel, HAKMEM: item 31: A Ramanujan Problem (R. Schroeppel)
Curtis Bright, Solving Ramanujan's Square Equation Computationally
Spencer De Chenne, The RamanujanNagell Theorem: Understanding the Proof
T. Do, Developing A General 2nd Degree Diophantine Equation x^2 + p = 2^n
A. Engel, ProblemSolving Strategies. p. 126.
Gerry Myerson, Bibliography
S. Ramanujan, Journal of the Indian Mathematical Society, Question 464(v,120)
Eric Weisstein's World of Mathematics, Ramanujan's Square Equation
Eric Weisstein's World of Mathematics, Diophantine Equation 2nd Powers
Wikipedia, Carmichael's Theorem
Wikipedia, Diophantine equation


FORMULA

a(n) = log_2(8*A076046(n) + 8) = log_2(A227078(n) + 7)
Empirically, a(n) = Fibonacci(c + 1) + 2 = ceiling[e^((c  1)/2)] + 2 where {c} is the complete set of positive solutions to {n in N  2 cos(2*Pi/n) is in Z}; c is in {1,2,3,4,6} (see A217290).


EXAMPLE

The fifth and ultimate solution to Ramanujan's equation is obtained for the 15th power of 2, so that we have x^2 + 7 = 2^15 yielding x = 181.


MATHEMATICA

ramaNagell[n_] := Reduce[x^2 + 7 == 2^n, x, Integers] =!= False; Select[ Range[100], ramaNagell] (* JeanFrançois Alcover, Sep 21 2011 *)


PROG

(MAGMA) [n: n in [0..100]  IsSquare(2^n7)]; // Vincenzo Librandi, Jan 07 2014
(PARI) is(n)=issquare(2^n7) \\ Anders Hellström, Dec 12 2015


CROSSREFS

Cf. A002249, A038198, A076046, A077020, A077021, A107920, A215795, A227078
Sequence in context: A089560 A248077 A239547 * A295988 A216433 A101761
Adjacent sequences: A060725 A060726 A060727 * A060729 A060730 A060731


KEYWORD

fini,full,nonn


AUTHOR

Lekraj Beedassy, Apr 25 2001


EXTENSIONS

Added keyword "full", M. F. Hasler, Feb 23 2009


STATUS

approved



