| Yatir
Halevi |
It is actually not precisely a riddle because I don't know the answer. Let N be an integer that is not a power of 10 and composed of only 1s and 0s. Can N be a square number? If so, are there infinitely many square numbers of this kind? I managed to prove that if N is a sequence of 1s then N is not a square number. Any Suggestions? If anybody knows the answer please post only a tip so it wont spoil it for me and the others. Thanks, Yatir |
|||
| Richard
Mycroft |
It's easy to show that if there is one such N, then there is an infinite number of such N. Too tired to think about the rest of it now though. Richard. |
|||
| Yatir
Halevi |
Why is that? |
|||
| Arun
Iyer |
yatir, what Richard is trying to say i think is, if N is a perfect square,then 100N,10000N,... are all perfect squares .. Now,as far as the problem is concerned,it is quite clear that, if M2 =N,then either M=10k+1 or 10k+9 where k is any integer.... however,i don't see any immediate way to find a contradiction(or a way to prove the existence of M)!!!! love arun |
|||
| Yatir
Halevi |
Thanks Arun, OR M=10k |
|||
| Arun
Iyer |
Yatir, if M=10k,then k=10p+1 or 10p+9 if k=10p then p=10q+1 or 10q+9 and so on... so the base cases are nothing but M=10k+1 or 10k+9 love arun |
|||
| Yatir
Halevi |
You're right Arun. I think I can prove there are none! Let N be a square number satisfying our conditions. If N ends in a zero it must also end in 2 zeros, so lets divide it by 100, and do so until it ends in 1. N-3 must end in either 08 or 98, both divisible by 4...So N=4k+3 meaning that it can't be a square number, hence a contradiction! Yatir |
|||
| Arun
Iyer |
I think that works!!Nice proof! love arun |
|||
| Yatir
Halevi |
This result surprised me. I was almost sure that there must be one... |
|||
| Angelina
Lai |
Yatir, how is 98 divisible by 4? |
|||
| Yatir
Halevi |
You are right Angelina...I just saw that...I have no idea where my mistake came from... Yatir |
|||
| Arun
Iyer |
ok we are back to square 1. love arun |
|||
| Angelina
Lai |
Not quite, we proved the case when N = 100k+11 will never be a square. Now we just need to consider the case when N = 100k+1 |
|||
| Arun
Iyer |
yes angelina i was thinking of that myself a minute after i posted that message. as for the other case, i think N=4k+5 gives us an equation.. i think only for k=5,N becomes a perfect square.Only thing remaining is to prove that k=5 is the only solution. love arun |
|||
| Yatir
Halevi |
Arun N=4k+5 is identical to N=4j+1 think of 81 and 121 and there are many more. |
|||
| Arun
Iyer |
Yatir, now that you mention ... err .. my brain thought of it too ok so we are back to square 51. love arun |
|||
| Philip
Ellison |
Does anyone know how to prove no multiple of 3 can consist solely of 1s and 0s? I've been trying to solve this riddle using a different method, but can't see how to prove this (I'm not even sure if it's true!). |
|||
| Paul
Smith |
Philip, it can be proved that every integer has a multiple that consists entirely of 0s and 1s. Paul |
|||
| Philip
Ellison |
Okay, thanks... I thought that this was a bit dubious, but couldn't elicit a counterexample from small multiples. Could you give me this proof please? |
|||
| Paul
Smith |
This is a procedure for generating a multiple of any natural number N that consists entirely of 0s and 1s, written in Word (I didn't discover this myself - someone else showed me!). Notice that it doesn't necessarily generate the smallest such multiple of N, but it does nonetheless prove the existence of such a multiple.
Paul |
|||
| Philip
Ellison |
Thanks for both of the methods... Paul, your proof has a number of characters that my computer can't read for some reason... I'll set to deciphering it when I get back from work! |
|||
| Paul
Smith |
Hmm ... OK (curse Microsoft!), here is a pdf version, instead.
Paul |
|||
| Yatir
Halevi |
How do you convert a word document to an acrobat file? |
|||
| Paul
Smith |
Err ... I don't know! That's not what I did - I copied it into a LaTeX editor. Paul |
|||
| Arun
Iyer |
Converting Word Docs to PDF 1.install a postscript printer driver (in file mode) 2.open the doc file and "print"(remember here it is referred to as Save)it out as .ps file 3.Use acrobat distiller or ghostview to convert .ps file to .pdf hope this is understood. love arun |
|||
| Kerwin
Hui |
An alternative way to convert *.doc to *.pdf is to install OpenOffice (or to be really pedantic, OpenOffice.org), open the doc file and export as pdf. Kerwin |
|||
| Philip
Ellison |
Excellent... that works fine, thanks very much. |
|||
| Yatir
Halevi |
Thanks. Kerwin, I installed OpenOffice (cool program BTW), and I don't have an option to export/save as PDF... Yatir |
|||
| Arun
Iyer |
i have "SOT office".however there is no option for conversion in that too.(Also this soft seems to be very slow and sometimes gets hung up in the middle) love arun |
|||
| Kerwin
Hui |
Yatir, you will need OpenOffice.org 643C. The file is quite large (59MB for Win32). Kerwin |
|||
| Angelina
Lai |
Lol, back to the problem! What was the way you used, Philip? I started off by considering the cases of n (let n2 =N) = 10a+1 and 10a+9 and find out what a can hold. Now we've proved the cases when S (S = N dividing by powers of 100 until we reach 1) ends with 11, we just need to do the same when S end with 01. I think I might have proven it for the case n=10a+9 (still putting everything together and checking through) but not quite for 10a+1 though. Hows everyone else doing? |
|||
| Tom
Close |
Dunno if this is right. As you have already mentioned if N exists it must have and even number of 0s (or no 0s) on the end. Each pair correspond to single 0s on the end of n (where n2 = N). We can therefore ignore these 0s and consider only the case where N ends in a 1. It should be noted that this also means that if there is one solution there are infinite solutions. A Proof by induction: Let Ck denote the statement N = 1 (mod102k ) I wish to show that Ck is true for all k, thus showing that N = 1 1. All square numbers are either 0 or 1 (mod 4). As N ends in a 1 it must be 1 (mod 4). Notice that 100m + 11 = 3 (mod 4) N ends in .....01. So C1 is true. 2. Assume N = 1 (mod 22k ). I need to show N = 1 (mod 102(k+1) ) Part 1 As N is a perfect square, N = { 1 or 4 or 9 or ..... or (2k+1 -1)2 } (mod 22(k+1) ) The largest it could be out of these choices is (2k+1 -1)2 However 102k > (2k+1 -1)2 (providing k> 0 , which it is) and we know from the induction assumption that N = 1 (mod 10+(2k)) and so we can see N = 1 ( mod 22(k+1) ) Part 2 As N = 1 (mod 102k ) there are 4 possibilities: N = 1 (mod 102(k+1) ) N = 102k + 1 (mod 102(k+1) ) N = 102k+1 + 1 (mod 102(k+1) ) N = 102k+1 + 102k + 1 = 11 x 102k + 1 (mod 102(k+1) ) Using the result from Part 1, that N = 1 ( mod 22(k+1) ), you can see that only the first of these possibilities is possible. I have shown N = 1 (mod 102(k+1) ), so Ck => Ck+1 and as C1 is true Ck is true for all k. Therefore any N must consist of a 1 preceded by an infinite number of 0s and so is not possible. |
|||
| Philip
Ellison |
Oh dear, when checking my "no multiples of 3 consist of solely 1s and 0s" hypothesis, I actually checked powers... obviously 111, 111111, 1011, 10101, 10100000001, etc. are all divisible by 3... perhaps I should do maths whilst more awake! |
|||
| Chris
Tynan |
Maybe I'm wrong, but it seems as if 1 preceeded by any number of 0s would still be a power of 10 and so not count. Very nice proof by the way. Chris |
|||
| Philip
Ellison |
Tom, I'm probably just being stupid, but I can't follow your proof. I don't understand your reasoning for the final line of part 1. To see if I could grasp the general idea from a few specific examples, I tried k=3, which didn't work... please could you explain |
|||
| Tom
Close |
Chris You are right of course. I had meant to say that (but probably didn't). As N is 1 (or 1 followed by even numbers of 0s) the answer to the original question is "no". There is no N, where N is a perfect square made from 1s and 0s and not a power of 10. Philip It's probably my fault. The line before Part 1 should read: 2. Assume N = 1 (mod 10 2k ) (not 2 ) The formatting stuff all got a bit confusing....... Sorry (Thank you Angelina for also pointing this out) For k = 3 From the induction assumption N = .......000001 (i) Considering N (mod 28 ) it must be 0, 1, 4, 9, ..........225 (mod 256) Note this is just an extension of the idea that a square number is always 1 or 0 (mod 4), which is where the idea came from Of all of these numbers it has to be 1 because all of the others are less than 1000000 and if it were any of them then (i) wouldn't be true. So N = 1 (mod 256). (Which is all we wanted to show). |
|||
| Arun
Iyer |
Nice proof Tom .. (though i must admit that it took me a bit of time to get my heads around the last part,i had to largely verify it through examples) However,i have been looking at alternatives. we know that, if M2 =N,then M=10k+1 or 10k+9 now,(10k+1)2 = 100k2 +20k+1 & (10k+9)2 =100k2 +180k+81 we can come up with logical deductions to show that (10k+1)2 & (10k+9)2 cannot be a sequence of 1's and 0's.However my concerns are whether that would be a concrete enough proof. love arun |
|||
| Yatir
Halevi |
Tom, Could you clarify a thing for me regarding your proof and that is how did you get to the 4 possibilities in part 2. (I think I know the answer to it, but I would like to hear your explanation) Arun, I would love to hear more. Yatir |
|||
| Anuj
Shah |
Arun, I also tried that method for M=10k+1 and came to a quite nice contradiction. If N=100k2 +20k+1 this will end in 01 So we can take away one and divide by 10 with no problems, leaving 2k(5k+1) this is even so must end in a 0 We can therefore divide by 10 using k=10p leaving 2p(50p+1) which must also end in a 0 We can now continuely divide by 10 showing the preceding figure cannot be a 1. therefore showing N is equal to 1 QED I haven't worked through M=10k+9 as Tom gave his great proof by then. By the way what does QED stand for, all i know is its used to show the end of a proof. |
|||
| Marcos |
Anuj, that's basically how I approached it too :) but likewise didn't do it for (10k+9)... QED stands for ''quod erat demonstrandum'' (it's Latin) and means something along the lines of ''that which was to be demonstrated'' I've heard a sort of math 'legend' that the first person to use it chose it because it looked very similar to O ED which is found in Euclid's Elements (it's greek and stands for Oper Edei Deixe which basically means something very similar to QED) Marcos |
|||
| Angelina
Lai |
Arun, your method is what I have tried right at the first place. Anuj, I got what you had for M=10k+1. For M=10k+9, all I tried to prove was that N=M2 cant end in 01 (since the case 11 has been proven that cant happen). Now N = (10k+9)2 = 100k2 +180k+81 which must end it 01 => N1 = N-1 = 100k2 +180k+80 must be divisible by 100 => 10k2 +18k+8 = 2(5k2 +9k+4) mod 10 = 0 => P = (5k2 +9k+4) mod 5 = 0 However, if k is odd then P is even, and if k is even then P is still even, i.e. P mod 5 cant be 0. QED In fact, (thanks to Tom who put it together and I hope you dont mind I put it up for you) this method can work for both cases where M = 10k+1 or 10k+9 however it ends. It's slightly messy but you can have a go yourself Angelina |
|||
| Angelina
Lai |
Oops, think i made a mistake in my proof above - what i meant to say is not that just p(mod5)=0 (well, to just prove that N1 (mod 100)= 0, yes...) but to get only sequences of 1s and 0s P can only end with 5, which then my final line of that proof works (i think). Correct me if I'm wrong please, ppl! |
|||
| Angelina
Lai |
Doh! Still wrong! |
|||
| Arun
Iyer |
Well,it seems Anuj and Angelina have got their best foot forward here!(Applauds!!) As for the problem,i ran a thought process to make my deductions. if M=10k+1,N=100k2 +20k+1 if the last two digits of N are to be 01,then k must be a multiple of 5.(guess how??) if k=5,15,25,35,.... then the term 100k2 assures that atleast one of the digits of N is neither 1 nor 0. if k=10,20,30,40,.... then the term 20k assures that atleast one of the digits of N is neither 1 nor 0. if M=10k+9,N=100k2 +180k+81 if the last two digits of N are to be 01,then k=10p+4 or 10p+9.(guess how??) if k=10p+4, then the term 100k2 assures that atleast one of the digits of N is neither 1 nor 0. if k=10p+9, here we get two cases .... case 1-> k2 is a sequence of 1's and 0's by our original assumption. case 2-> k2 is not a sequence of 1's and 0's for case 2,the term 100k2 assures that atleast one of the digits of N is neither 1 nor 0. for case 1,the term 180k assures that atleast one of the digits of N is neither 1 nor 0.(This is odd isn't it??an assumed statement being used to disprove the same) love arun P.S-> i am not sure who would buy this for a good proof |
|||
| Yatir
Halevi |
I didn't have time (yet!) to go over all your proofs. Anuj, in your fourth line, k could also be =5p... Yatir |
|||
| Tom
Close |
Something about the last stage of the 10m+9 part makes me a bit uncomfortable. How can you justify assuming that because k2 is not a sequence of 1s and 0s that N won't be? It could begin with a sequence of 1s and 0s and then have other bits which will 'interact' with the later terms. Just because the parts don't have just 1s and 0s doesn't mean the total won't eg. 9999998+3=10000001. Also how can you be sure earlier on that the same thing doesn't happen with the different terms affecting each other. I think it would probably not take much to clear up this little point, but until it is cleared up I find myself unwilling to accept some of the assumptions you have made which are probably obvious to you but not to some of us who take a little longer to catch onto these sorts of things. Apart from that the proof looks good. |
|||
| Anuj
Shah |
Good point Yatir, If k=5p p(25p+1) ends in 0 or 1 Both p and 25p+1 cannot be odd therefore it will end in a 0. So using p=10q q(250q+1) ends in 1 or 0 aqain both cannot be odd so it must end in 0. This process can be kept going until once again we find N must be equal to 1. QED |
|||
| Arun
Iyer |
Tom, i have not assumed anything except for one thing that there exists an M such that M2 =N. "k2 is not a sequence of 1s and 0s that N won't be?" well i have not assumed this.Infact,i have proved that even if k2 is a sequence of 1's and 0's,N is not a sequence of 1's and 0's (which recursively proves that k2 cannot be a sequence of 1's and 0's and thus eliminating that case in its entirety.) As for my conclusion as to how there would be atleast one digit in N which is neither 1 nor 0,well just look at N. N=100k2 +20k+1 or N=100k2 +180k+81 both these expressions assure us that the last digit would be 1.Now i attained my conditions of k by seeing to it that the second last digit is a zero. For N=100k2 +20k+1,k=multiple of 5 For N=100k2 +180k+81,k=10p+4 and k=10p+9 Now,one thing you have to note is that 100k2 does not play a role in determining the last two digits of N.That means,if and only if,100k2 is a sequence of 1's then N would be a sequence of 1's. now,if 100k2 is a sequence of 1's and 0's,then the middle terms(namely 20k and 180k) assures that there will be some terms which are neither 1 nor 0. love arun P.S-> i don't know .. how far i have made myself clear!!if any further doubts,then feel free to write back.(of course,i don't claim that my proof is perfect or for that matter even i doubt it to be called a proof,so all the criticisms are warmly welcomed) |
|||
| Anuj
Shah |
Oops i made a mistake above q(250q+1) can be odd, with any odd numbered q. Oh well this is a lot harder than it thought it would be. |
|||
| Yatir
Halevi |
Tom gave a proof that there are none. I managed to prove his last part by the theory of linear equations. But I have a problem with part I. This part relies on the fact that if n=1 (mod 102k ) then n=1 (mod 22(k+1) ) because 102k > 22(k+1) this seemed a reasonible argument at first but then I gave it some more thought and wouldn't this be true only if n < 102k (which it isn't neccessarly true... Comments? Thanks, Yatir |
|||
| Arun
Iyer |
i think you got confused because of the statement "Assume N=1(mod 22k )..." . This statement should actually been "Assume N=1(mod 102k )....."(Infact i think someone noticed that and pointed it out!!) love arun |
|||
| Yatir
Halevi |
No, I didn't. Here is an example: if n=1 (mod 10) then n is isn't neccesseraly congruent to 1 modulo 8.... Or any two example where one modulo is bigger than the other... Yatir |
|||
| Arun
Iyer |
102k not equal to 10 (given that k is an integer) love arun |
|||
| Yatir
Halevi |
I know. All I wanted to say is that if n=1 (mod d) and d> c then n isn't neccessarly congruent to 1 modulo c. I think that Tom proved part I using the fact that what I said above is always true...Maybe I misunderstood is proof for Part I... |
|||
| Arun
Iyer |
Yatir, err..he actually says, if n=1(mod a) and n = b(mod c),then if a> b then n=1(mod c). This statement again is not true but given the nature of the N,a,b,c in the problem ... i think it is true (intuitively!!) i must say that i got confused myself over this statement and spent a lot of time trying to prove it but every effort was in vain. love arun P.S-> It took me two whole days to understand that proof and i must say that my understanding was totally intuitional because some of the statements made in the proof seemed very surprising to me. |
|||
| Yatir
Halevi |
Arun, that is exactly what I am saying. I didn't even try to prove it because intuitively it seemed correct to me. But it isn't true. Just test some numbers to realize this. I wish Tom could enter this discussion... Yatir |
|||
| Arun
Iyer |
Yatir, i have verified it through examples.Hence i am in a dilemma. Consider, 492 =1(mod 102 ) ... (k=1) therefore,(2k+1 -1)2 = 9 and 22(k+1) = 16 = 24 hence, 492 = 1 or 4 or 9 (mod 24 ) out of these,the answer is 492 = 1 (mod 24 ) hence his statement is true. love arun |
|||
| Yatir
Halevi |
I agree with you 100%, this is true whenever n < a (and quite easily proven) Check cases when n is bigger than a.... Yatir |
|||
| Arun
Iyer |
hmm, you are right here. 1492 = 1 (mod 102 ) 1492 = 9 (mod 24 ) and as such the proof does come to a standstill here. love arun |
|||
| Arun
Iyer |
Still i must say that this statement is something very new to me and i am very much amazed by it. Statement : if N=1 (mod 102k ) then N=1 or 4 or .... or (2k+1 -1)2 (mod 22(k+1) ) love arun |
|||
| Yatir
Halevi |
Why is this new to you? I remember you dealing with similar stuff before... Yatir |
|||
| Arun
Iyer |
me?? i did this?? whoa!! i am having serious memory lapses here.I think its bcos i had bad run of exams recently(which completes on 14th).After 14th i think i will be my normal self again. love arun |
|||
| Yatir
Halevi |
Yeah!. Sure...Why not? |
|||
| Yatir
Halevi |
Arun, My world has now been shattered. Even, your statement isn't true! If N is a square number, it doesn't have to be congruent to a square residue. Example: (working modulo 28 ) (24 +1)2 =33 I think this is another problem with the proof... |
|||
| Arun
Iyer |
Yatir, i am unable to understand that. BTW which statement are you talking about? Are you talking about this statement? Statement :if N=1 (mod 102k ) then N=1 or 4 or .... or (2k+1 -1)2 (mod 22(k+1) ) If yes,then actually i find it true for nearly all cases where N=1(mod 102k ).However,i specifically don't understand the counter-example you have provided.Could you clarify on that a bit? love arun |
|||
| Yatir
Halevi |
Sorry. You're right, I didn't express myself right. Here is a proper counter-example Let N=25010001 (it is a square-number!) We know that N=1 (mod 104 ) BUT N=17 (mod 26 )! Yatir |
|||
| Arun
Iyer |
Yeap!! you are right again here !!! Now the proof is in jeopardy,unless some rationalistic comments are added to it. Well i am still trying to make the "thought process" i suggested in that link into a rigorous proof but so far that has eluded me entirely.So maybe we still are stuck on the question. love arun |
|||
| Yatir
Halevi |
There is nothing better than an unsolved problem! |
|||
| Tom
Close |
Sorry for not realising this conversation existed earlier. You have to admit the proof was good while it lasted (!). I will look at what you have said and try and work out how I went so wrong. |
|||
| Yatir
Halevi |
Yes it was! Just to let you know, I had a conversation in a hebrew forum about your proof (with the one who gave me the question) and I defended each line of it until finally I had to admit that there was a flaw! Yatir |
|||
| Tom
Close |
If it is any consolation I think I can prove it in a different way. I know its sort of already been done in the conversation, but here it is anyway. I haven't put it in the right format so it might be difficult to read. I think it is more likely to be right as I tried to keep it less jumpy. Any N written using 1s and 0s can be expressed as: N = 10^a(10^b1 + 10^b2 +10^b3 +......etc..... +1) Note that b2 is not b1+1. Ie the above just represents 1s dotted in random places in a sea of 0s As already discussed in this case a is even as there are an even number of 0s on the end. As in previous proofs I will ignore the 0s on the end and show that there is no N', where N' is a perfect square written with 1s and 0s. Using the above notation N' = 10^b1 +10^b2 + ......... +1 As also already shown if N' = n^2, n must be of the form 10k +1 or 10k +9. We will consider these 2 cases separately. n of form 10 k +1: (10k +1)^2 = 10k(10k+2) +1 = 10^b1 +10^b2 + ......... +1 So 10k(10k+2) = 10^b1 +10^b2 + ......... + 10^bt The right hand side must have at least a factor of 10 as the LHS divides by 10. We can factorise the RHS taking out a the largest factor of 10 possible (this is 10^bt). 10k(10k+2) = 10^bt (10^(b1 - bt) + 10 ^(b2 -bt) + ...... +1) (i) Now (10k + 2) can never divide by 10 so 10k must divide by 10^bt => 10k=10^bt*q k=10^(bt-1)*q Substituting in and cancelling the 10^bt from each side: q(10^bt*q +2) = 10^(b1 -bt) + 10 ^(b2 -bt) + ...... +1 LHS odd, RHS even, contradiction reached n of form 10 k +9 Following the same procedure as before and skipping to the equivalent of (i) 10(10k^2 + 18k + 8) = 10(10k+8)(k+1) = 10^bt (10^(b1 -bt) + 10 ^(b2 -bt) + ...... +1) So, as (10k +8) will never divide by 10: 10(k+1) = 10^bt => (k+1) = 10^(bt-1)q (ii) Then cancelling and substituting in (10k+8) = (10^(b1 -bt) + 10 ^(b2 -bt) + ...... +1) (iii) LHS even, RHS odd. The second part is very interesting. It is worth looking at what 99^2, 999^2 etc are generalising the general pattern and then looking again at lines (ii) and (iii) and seeing how this result ties in. |
|||
| Yatir
Halevi |
Tom, n has to be in the form of 10k+1 or 10k+9, not 10k+2.... What you've proved is that n =/= 10k+9. Yatir |
|||
| Tom
Close |
(10k + 1)2 = 100k2 + 20k + 1 = 10k(10k+2) + 1 Then take one from both sides and factor out the remaining highest power of 10. I think I have proved both parts. |
|||
| Yatir
Halevi |
"Now (10k + 2) can never divide by 10 so 10k must divide by 10^bt => 10k=10^bt*q k=10^(bt-1)*q " 10k=25*4 10 doesn't divide 25 and it doesn't divide 4, but it does divide 25*4. There is a lemma called: Euclid's Lemma: if a|bc and gcd(a,b)=1 then a|c |
|||
| Yatir
Halevi |
I checked into it more. the last 3 digits of our number must be '001', but you can't argue about the other digits... |