mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Miscellaneous Math

Reply
 
Thread Tools
Old 2013-03-03, 14:50   #1
Mickey1
 
Mar 2013

2 Posts
Default Mersenne, Pell’s and the Ramanujan–Nagell equation

Pell’s equation (PE), xx-dyy=1, has the highest solutions for x and y among d<100 for d=61. Looking at various ways to incorporate d=61 in a group of other values of d includes the approaches d=nn-3, and d=n(n+1)(n+2)+1. An observation is that x for primes d=n(n+1)(n+2) is usually much lower than for d=n(n+1)(n+2)+1. (Prof John Robertson has told me – without demonstration - in an email that counter-examples exist. I assume they are very high, certainly higher than d= 1560781 = 115*116*117+1. In this region the x solutions for d=n(n+1)(n+2)+1are often in excess of 1E+300, and very much lower for d=n(n+1)(n+2).

A third approach, presented here (and perhaps already known to you), is made by looking at PE for d=2^n-3, hence the - not quite perfect – connection to the Mersenne numbers, including d= 5, 13, 29, 61, 125, 253..
The sometime large solutions can be generated by solving the companion equation with lower solutions ss-dtt=-1 (eq. 1), xx-dyy=1 for [x,y] =[2ss+1, 2st]

Another equation with even lower solutions is uu-dvv=-4 (eq. 2), xx-dyy=1 for [x,y] =[ (u2 + 3)u/2, (u2 + 1)v/2] (u,v,odd)

Looking at solutions for equation 1, I noted that for some n, t in equation 1 was simply equal to the previous d in the sequence d=2^n-3 i.e. the Mersenne numbers minus 2, i.e. we have for

Code:
N	d=2^n-3	d=2^(n-1)-3	PE

3	5	1	2^2-5*1^2=-1
4	13	5	8^2-13*5^2 =-1
5	29	13	70^2-29*13^2=-1
6	61	29	no solution
7	125	61	682^2-125*61^2=-1
15	32765	16381	2965142^2-32765*16381^2=-1
(I had some difficulties with the spacing in the table).

The reader can appreciate my disappointment that 61 came up only in the solution for n=7 with n=6 without solution.

The general formulation of the equations is
ss-dtt = ss - (2^n-3)*(2^(n-1)-3)^2=-1 requiring that ss= (2^n-3)*(2^(n-1)-3)^2-1 = 0, and therefore that

(2^n-3)*(2^(n-1)-3)^2-1 must be a square of a natural number.

After some rearrangement (and credit to Wolfram Alpha) we have
(2^n-3)*(2^(n-1)-3)^2-1 = 1/4 (-7+2^n) (-4+2^n)^2, i.e. it is required that 2^n-7 is a perfect square, 2^n-7=x^2. We note that (2^n-4)^2/4 will obviously always be a natural number.

This is the Ramanujan-Nagell equation, conjectured by Ramanujan (that solutions exist for 3, 4, 5, 7 and 15 only), proposed independently in 1943 by Wilhelm Ljunggren, and proved in 1948 by Trygve Nagell, (Wikipedia, the Ramanujan-Nagell equation).

Last fiddled with by Batalov on 2013-03-03 at 20:18 Reason: formatted the table, added [code] tags
Mickey1 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Distributed Nagell-Ljunggren Search TeknoHog Open Projects 24 2015-11-11 00:55
What's the basic LLR equation? jasong jasong 4 2012-02-20 03:33
Solve this equation davar55 Puzzles 52 2007-06-26 21:41
Possible solutions to an equation: Vijay Math 6 2005-04-14 05:19
Cuberoot Equation koal Puzzles 3 2003-07-03 11:58

All times are UTC. The time now is 22:01.

Mon Oct 26 22:01:53 UTC 2020 up 46 days, 19:12, 0 users, load averages: 2.18, 1.79, 1.72

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.