# S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
 It is currently Fri, 1 Aug 2014 06:44:58 UTC

 All times are UTC [ DST ]

 Page 1 of 1 [ 10 posts ]
 Print view Previous topic | Next topic
Author Message
 Post subject: Square deal!Posted: Sun, 9 Oct 2011 18:15:48 UTC
 Member of the 'S.O.S. Math' Hall of Fame

Joined: Sun, 24 Jul 2005 20:12:39 UTC
Posts: 4181
Location: Ottawa Ontario
1^2 + 2^2 + 3^2 +...+ 20^2 + 21^2 + [22^2 + 23^2 +...+ 67^2 + 68^2]

Sum of bracketed portion of above consecutive squares = 103823
The number of terms is 68 - 21 = 47
103823 / 47 = 2209 = 47^2

In other words, the average of n consecutive squares = n^2

u^2 = the square preceeding the n consecutive squares (u = 21 in example)
v^2 = last square (v = 68 in example)
So n = v - u

What is v in terms of u ?

_________________
I'm just an imagination of your figment...

Top

 Post subject: Re: Square deal!Posted: Sun, 9 Oct 2011 22:10:51 UTC
 Moderator

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 13974
Location: Austin, TX
Denis wrote:
1^2 + 2^2 + 3^2 +...+ 20^2 + 21^2 + [22^2 + 23^2 +...+ 67^2 + 68^2]

Sum of bracketed portion of above consecutive squares = 103823
The number of terms is 68 - 21 = 47
103823 / 47 = 2209 = 47^2

In other words, the average of n consecutive squares = n^2

u^2 = the square preceeding the n consecutive squares (u = 21 in example)
v^2 = last square (v = 68 in example)
So n = v - u

What is v in terms of u ?

Spoiler:
We have:

Now this is the beautiful part:

We get: which is GREAT, because it means our curve secretly has genus 0 and we can actually NAME ALL THE SOLUTIONS.

and clearly is the non-trivial case, so let's get at the others:

Now we can be boring and answer the original question here:

(trivial case) or -- by the quadratic formula -- , and checking against the one solution we already know, we see we should take the negative square root, because was stipulated. And that's OK, if you're into that thing, but I want to do stereographic projection off of -- the point I get when I let and let so that I can find all solutions to your equation just by plugging in some rational numbers.

This yields:

I.e.

and this is MUCH cooler, because you can see the quadratic formula in it again, only this time it's much better because we already know one solution, namely , and the other is given by solving:

which finally is an easy task:

I personally think this is even better than the original answer because if you put in any rational you can get all the rational points on the curve, and if you think about it this gives you all integer solutions to your original question. It's also easy to see that you only need rationals so that , and it's easy to solve for the appropriate intervals. Fun problem all in all.

Edit: Calculation fixed.

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination

Top

 Post subject: Re: Square deal!Posted: Mon, 10 Oct 2011 02:35:03 UTC
 Member of the 'S.O.S. Math' Hall of Fame

Joined: Sun, 24 Jul 2005 20:12:39 UTC
Posts: 4181
Location: Ottawa Ontario

Only 5 solutions keeping u < 100 million:

u = 21; 22^2 to 68^2 : n = 47
u = 988; 989^2 to 3149^2 : n = 2,161
u = 45,449; 45450^2 to 144808^2 : n = 99,359
u = 2,089,688; 2089689^2 to 6658041^2 : n = 4,568,353
u = 96,080,221; 96080221^2 to 306125100^2 ; n = 210,044,879

_________________
I'm just an imagination of your figment...

Top

 Post subject: Re: Square deal!Posted: Mon, 10 Oct 2011 04:39:28 UTC
 Moderator

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6782
Location: On this day Taiwan becomes another Tiananmen under Dictator Ma.
Spoiler:
..., and checking against the one solution we already know, we see we should take the negative square root, because was stipulated. And that's OK, if you're into that thing, but I want to do stereographic projection off of -- the point I get when I let and let so that I can find all solutions to your equation just by plugging in some rational numbers.

This yields:

I.e.

and this is MUCH cooler, because you can see the quadratic formula in it again, only this time it's much better because we already know one solution, namely , and the other is given by solving:

which finally is an easy task:

I personally think this is even better than the original answer because if you put in any rational you can get all the rational points on the curve, and if you think about it this gives you all integer solutions to your original question. It's also easy to see that you only need rationals so that , and it's easy to solve for the appropriate intervals. Fun problem all in all.

I'd diverge starting there
Spoiler:
While rational points is cool, we actually want integer points...

Concentrating on the condition , with the substitution , we get the Pell-like equation . Now the fundamental unit of is , and we know is a solution, so general theory gives , . The four combinations of the s give 4 family of solutions, and now we are tasked with rejecting those with or or .

_________________

Top

 Post subject: Re: Square deal!Posted: Mon, 10 Oct 2011 06:07:55 UTC
 Moderator

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 13974
Location: Austin, TX
outermeasure wrote:
Spoiler:
..., and checking against the one solution we already know, we see we should take the negative square root, because was stipulated. And that's OK, if you're into that thing, but I want to do stereographic projection off of -- the point I get when I let and let so that I can find all solutions to your equation just by plugging in some rational numbers.

This yields:

I.e.

and this is MUCH cooler, because you can see the quadratic formula in it again, only this time it's much better because we already know one solution, namely , and the other is given by solving:

which finally is an easy task:

I personally think this is even better than the original answer because if you put in any rational you can get all the rational points on the curve, and if you think about it this gives you all integer solutions to your original question. It's also easy to see that you only need rationals so that , and it's easy to solve for the appropriate intervals. Fun problem all in all.

I'd diverge starting there
Spoiler:
While rational points is cool, we actually want integer points...

Concentrating on the condition , with the substitution , we get the Pell-like equation . Now the fundamental unit of is , and we know is a solution, so general theory gives , . The four combinations of the s give 4 family of solutions, and now we are tasked with rejecting those with or or .

I forget, do we know that
Spoiler:
is a UFD?
.

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination

Top

 Post subject: Re: Square deal!Posted: Mon, 10 Oct 2011 07:10:16 UTC
 Moderator

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6782
Location: On this day Taiwan becomes another Tiananmen under Dictator Ma.
I forget, do we know that
Spoiler:
is a UFD?
.

Spoiler:
Yes. In fact it is a PID.

We can go through the Minkowski bound as always, only needing to check up to , and does it.

Or you can cheat and look Sloanne A003656 or similar.

_________________

Top

 Post subject: Re: Square deal!Posted: Mon, 10 Oct 2011 14:15:52 UTC
 Moderator

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 13974
Location: Austin, TX
Wonderful, then that's great. And of course we get that since Dedekind domain's only lacked that one quality before being PIDs. Thanks for the clarification, Google wasn't wanting to tell me the answer to my question.

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination

Top

 Post subject: Re: Square deal!Posted: Mon, 10 Oct 2011 14:25:57 UTC
 Moderator

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6782
Location: On this day Taiwan becomes another Tiananmen under Dictator Ma.
Hmm... just realised I missed a step in the solution.
Spoiler:
There is the possibility of using instead of , these are the only ideals of of norm 8, but of course kills that, since the fundamental unit lies in .

_________________

Top

 Post subject: Re: Square deal!Posted: Mon, 10 Oct 2011 14:29:47 UTC
 Moderator

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 13974
Location: Austin, TX
outermeasure wrote:
Hmm... just realised I missed a step in the solution.
Spoiler:
There is the possibility of using instead of , these are the only ideals of of norm 8, but of course kills that.

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination

Top

 Post subject: Re: Square deal!Posted: Mon, 10 Oct 2011 15:23:32 UTC
 Moderator

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6782
Location: On this day Taiwan becomes another Tiananmen under Dictator Ma.
Also, I should say a word or two about generating solutions so Denis can run on the computer without the tiresome exhaustive search.
Spoiler:
There is the recurrence generated by , namely
, or equivalently .
Remembering , you can translate that into recurrence relation involving the u,v:
or

Now the starting conditions:- although there are four point , in the (u,v) space the can be rejected since they will never give you u,v that are integers (they give you starting point , which the recurrence will always keep v strictly quarter-integer and u integer). So you only need to check with the starting conditions .

_________________

Top

 Display posts from previous: All posts1 day7 days2 weeks1 month3 months6 months1 year Sort by AuthorPost timeSubject AscendingDescending
 Page 1 of 1 [ 10 posts ]

 All times are UTC [ DST ]

#### Who is online

Users browsing this forum: No registered users

 You cannot post new topics in this forumYou cannot reply to topics in this forumYou cannot edit your posts in this forumYou cannot delete your posts in this forum

Search for:
 Jump to:  Select a forum ------------------ High School and College Mathematics    Algebra    Geometry and Trigonometry    Calculus    Matrix Algebra    Differential Equations    Probability and Statistics    Proposed Problems Applications    Physics, Chemistry, Engineering, etc.    Computer Science    Math for Business and Economics Advanced Mathematics    Foundations    Algebra and Number Theory    Analysis and Topology    Applied Mathematics    Other Topics in Advanced Mathematics Other Topics    Administrator Announcements    Comments and Suggestions for S.O.S. Math    Posting Math Formulas with LaTeX    Miscellaneous