mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Miscellaneous Math

Reply
 
Thread Tools
Old 2017-01-26, 11:03   #1
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Remote to Here/There

25·32·7 Posts
Default Regarding Squares

Can there be a square s such that 2 does not divide s and 3 does not divide s.
And
s-1 does not divide 6?
For example s+1 divides 6?
In other words are there any such squares which are not of the form 6n+1?
If not, why not?
Thank you in advance.
a1call is offline   Reply With Quote
Old 2017-01-26, 11:12   #2
axn
 
axn's Avatar
 
Jun 2003

5·991 Posts
Default

Let r be the root of s. If neither 2 nor 3 divides s, then neither 2 nor 3 divides r, Hence r=+/-1 (mod 6) ==> r^2 = s == 1 (mod 6).

QED

Last fiddled with by axn on 2017-01-26 at 11:16
axn is offline   Reply With Quote
Old 2017-01-26, 11:24   #3
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Remote to Here/There

201610 Posts
Default

That does not prove that it can not be of the form 6n-1. But it never is.
Why always of the form 6n+1 and never of the form 6n-1?
a1call is offline   Reply With Quote
Old 2017-01-26, 12:37   #4
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

26×131 Posts
Default

Quote:
Originally Posted by a1call View Post
Why always of the form 6n+1 and never of the form 6n-1?
quite obvious:

if we don't allow divisibility by 2 or 3 we get a number of form 6n+1 or 6n-1 as axn says let's think what happens when we multiply them together if we allow them to be different numbers we get that:

(6n+1)*(6v+1) =36nv+6n+6v+1 which is of form 6n+1
(6n+1)*(6v-1) =36nv-6n+6v-1 which is of form 6n-1
(6n-1)*(6v-1) =36nv-6n-6v+1 which is of form 6n+1

so the only way to get a number of form 6n-1 is by multiplying two values that aren't the same remainder on division by 6 and hence their product is not a square.

Last fiddled with by science_man_88 on 2017-01-26 at 13:02
science_man_88 is offline   Reply With Quote
Old 2017-01-26, 12:44   #5
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Remote to Here/There

25×32×7 Posts
Default

Yes I think I figured it out too.
The reminder of such numbers over 6 can only be 1 or 5
And 1 squared and 5 squared will always have a reminder 1 over 6.

Now the ingesting implication is that 6n-1 will always be a prime or multiples of singular primes. It will never factor into squares, cubes or the likes.

Isn't that correct?
a1call is offline   Reply With Quote
Old 2017-01-26, 13:00   #6
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

26×131 Posts
Default

Quote:
Originally Posted by a1call View Post
Yes I think I figured it out too.
The reminder of such numbers over 6 can only be 1 or 5
And 1 squared and 5 squared will always have a reminder 1 over 6.

Now the ingesting implication is that 6n-1 will always be a prime or multiples of singular primes. It will never factor into squares, cubes or the likes.

Isn't that correct?
my example was too simple. Technically, it can be divisible by any odd number of 6v-1 for some value v and any number of 6n+1.
for example (6*n+1)^2*(6v-1)^3 works out to be 6j-1 edit: as does (6v-1)^(2x+1) for any value x>=0 and really the correct implication is that it can never be an even power.

Last fiddled with by science_man_88 on 2017-01-26 at 13:30
science_man_88 is offline   Reply With Quote
Old 2017-01-26, 14:12   #7
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Remote to Here/There

25·32·7 Posts
Default

Do you have a counter example where 6n-1 factors into odd powers?
a1call is offline   Reply With Quote
Old 2017-01-26, 14:15   #8
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

26·131 Posts
Default

Quote:
Originally Posted by a1call View Post
Do you have a counter example where 6n-1 factors into odd powers?
5^3 = 125 is -1 mod 6
11^3 = 1331 is -1 mod 6
17^3 = 4913 is -1 mod 6
23^3 = 12167 is -1 mod 6
29^3 = 24389 is -1 mod 6
35^3=5^3*7^3=42875 is -1 mod 6

etc.

Last fiddled with by science_man_88 on 2017-01-26 at 14:24
science_man_88 is offline   Reply With Quote
Old 2017-01-26, 16:48   #9
carpetpool
 
carpetpool's Avatar
 
"Sam"
Nov 2016

2×163 Posts
Post

Quote:
Originally Posted by a1call View Post
Can there be a square s such that 2 does not divide s and 3 does not divide s.
And
s-1 does not divide 6?
For example s+1 divides 6?
In other words are there any such squares which are not of the form 6n+1?
If not, why not?
Thank you in advance.
x^2 = (0, 1, 3, 4) mod 6. for any integer x. Meaning 0, 1, 3, 4 are quadratic residues mod 6 and 2, 5 are non residues.

The way you look at it squares take one of the 4 forms:

6n+0, 6n+1, 6n+3, 6n+4

So if you were asking if any squares of the form 6n-1 exist then the answer to your question is no.
carpetpool is offline   Reply With Quote
Old 2017-01-26, 17:52   #10
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Remote to Here/There

37408 Posts
Default

Thank you for all the replies.
Are there any counter examples for even powers greater than squares?
Say powers 6, 10 or the likes?
Thank you SM
a1call is offline   Reply With Quote
Old 2017-01-26, 18:02   #11
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

838410 Posts
Default

Quote:
Originally Posted by a1call View Post
Thank you for all the replies.
Are there any counter examples for even powers greater than squares?
Say powers 6, 10 or the likes?
Thank you SM
there are no even powers greater than squares x^4= (x^2)^2 is the square of another value. x^6= (x^3)^2 is the square of another value they can all be turned into squares.
science_man_88 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Find the Squares a1call Puzzles 18 2018-03-02 16:47
Perfect squares in NFS paul0 Computer Science & Computational Number Theory 2 2015-01-02 14:21
A Sum of Squares Problem MattcAnderson Puzzles 7 2014-08-17 07:20
parsimonious squares fivemack Miscellaneous Math 11 2011-06-29 02:09
squares or not squares m_f_h Puzzles 45 2007-06-15 17:46

All times are UTC. The time now is 09:23.

Thu May 6 09:23:48 UTC 2021 up 28 days, 4:04, 0 users, load averages: 1.40, 1.47, 1.46

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, 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.