login
This site is supported by donations to The OEIS Foundation.

 

Logo

Annual Appeal: Please make a donation (tax deductible in USA) to keep the OEIS running. Over 5000 articles have referenced us, often saying "we discovered this result with the help of the OEIS".

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A076046 Ramanujan-Nagell numbers: the triangular numbers (of the form a*(a+1)/2) which are also of the form 2^b - 1. 12
0, 1, 3, 15, 4095 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,3

COMMENTS

Ramanujan conjectured and Nagell proved, that the given numbers are the only ones. This sequence is equivalent to A060728, the list of numbers n such that x^2 + 7 = 2^n is soluble, by changing from n to 2^(n-3)-1.

2a(n)*{0,1,4,8,24} = Lambda_{0,1,4,8,24}, where Lambda_n is a laminated lattice Kissing number = {0,2,24,240,196560} = A215929. All elements of this sequence are "Sophie Germain triangular numbers of the first or second kind," as defined in A217278. Also see A216162, suggestive of a relationship between the two preceding comments and the Pell numbers. - Raphie Frank, Sep 30 2012

These 5 numbers are therefore the only ones which appear in column k=2 and also in the first subdiagonal of the Stirling2 Sheffer matrix S(n,k) = A048993(n,k). These entries are 0 = S(0, 2) = S(1, 2) = S(1, 0), 1 = S(2, 2) = S(2, 1), 3 = S(3, 2) (intersection of the column k=2 with the first subdiagonal), 15 = S(5, 2) = S(6, 5) and 4095 = S(13, 2) = S(91, 90). The motivation to look into this came from a comment of R. J. Cano on A247024. - Wolfdieter Lang, Oct 16 2014

REFERENCES

J. H. Conway and N. J. A. Sloane, "Sphere Packings, Lattices and Groups", Springer-Verlag, 3rd, 1999. See Chapter 6.

T. Nagell. The Diophantine equation x^2 + 7 = 2^n. Nordisk Mat. Tidskr. 30 (1948), 62-64; Ark. Math. 4 (1960), 185-187.

LINKS

Table of n, a(n) for n=1..5.

Y. Bugeaud and T. Shorey. On the number of solutions of the generalized Ramanujan-Nagell equation, J. reine angew. Math. 539 (2001), 55-74.

H. Hasse, Uber eine diophantische Gleichung von Ramanujan-Nagell und ihre Verallgemeinerung, Nagoya Math. J. 27 (1966), 77-102.

Eric Weisstein's World of Mathematics, Ramanujan's Square Equation.

FORMULA

a(n) = (2^(A060728(n) - 3) - 1) = 1/2*((ceiling[sqrt(2^(A060728(n) - 2) - 1)])^2 - (ceiling[sqrt(2^(A060728(n) - 2) - 1)])) = 1/2*(A180445(n)^2 - A180445(n)). - Raphie Frank, Mar 31 2013

a(n) = ((sqrt(sqrt(A227079(n)) + 1)) * (sqrt(2) * (sqrt(sqrt(A227079(n)) + 1)) - 2))/(sqrt(32)). - Raphie Frank, Aug 08 2013

EXAMPLE

4095 can be written as 90*(90+1)/2, but also as 2^12 - 1.

CROSSREFS

Cf. A060728, A038198, A180445, A215797.

Sequence in context: A016066 A012848 A202621 * A202380 A134807 A004002

Adjacent sequences:  A076043 A076044 A076045 * A076047 A076048 A076049

KEYWORD

fini,full,nonn

AUTHOR

Burt Totaro (b.totaro(AT)dpmms.cam.ac.uk), Oct 29 2002

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent | More pages
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy .

Last modified December 2 11:54 EST 2016. Contains 278678 sequences.