Register to reply 
Number Theory  Proving x is not a perfect square?by Cornell2017
Tags: irrationality, number, number theory, perfect, proving, square, squares, theory 
Share this thread: 
#1
Mar414, 09:55 PM

P: 4

Hey Guys,
This is my first post to Physics Forums. If I posted this question in the wrong area or am violating some other etiquette, please let me know! I'm working on a proof and am currently stuck. I'm trying to prove that x (a weird number, an infinite product to be specific), is NOT a perfect square. At first I thought I could say that if x converges to a value between two perfect squares, it then can't be a perfect square. Then I realized that 1, 4, 9, 16, 25,... are not the only perfect squares. There are also 0.16 (0.4^2), 6.25 (2.5^2), etc. How could I go about showing that x is a perfect square? or that sqrt(x) is irrational? I'd really appreciate some guidance on this! Thanks so much! Justin 


#2
Mar414, 10:14 PM

P: 446

Usually perfect square refers to integers. That shouldn't be too hard (well, maybe it is... I don't really know what the problem is). If you want to show that sqrt(x) is irrational you might be able to follow the method used for sqrt(2), but, again, the specifics matter.



#3
Mar414, 10:34 PM

P: 4

I tried using the method for sqrt(2), but ran into problems because radicand is not an integer. Any ideas on proving irrationality for the square root of a non integer?



#4
Mar514, 04:35 PM

P: 618

Number Theory  Proving x is not a perfect square?
Apparently this is the product of an infinite series of rational numbers.
Is there a way of counting the number of any particular prime value in either the numerator or denominator? For example, can you show that no matter how many terms are evaluated, the total number of 2's in the numerator and denominator will always be odd? If so, then the square root will be irrational. Bear in mind that may not be a firm yes or no answer. Take this product series, for example: (2/1) (2/4) (2/9) (2/16) (2/25) (2/36) (2/49) ... The square root of that value is both rational and not  or perhaps always undefined. On the other hand: (4)(1/4)(4)(1/4)... would always be rational  assuming it is even defined. 


#5
Mar514, 04:43 PM

P: 4

Scott,
Thanks for the reply, which will surely be useful somepoint in the future. For this specific problem, though, it is quite the opposite actually. Every number is *irrational*. The product contains a bunch of nth roots of 2 and a bunch of nested radicals. How could I go about proving irrationality for an infinite product of irrational numbers? Thanks! 


#6
Mar514, 10:42 PM

P: 618

Since every number is irrational, that says a lot.
We have to assume that the series approaches 1, otherwise the product will not approach a set number and will be undefined. But even if it approaches 1, we still have a problem because, being irrational, it can never reach 1. Let's call the ratio of two perfect squares that is not a perfect square a "good square". A good square is what we are looking for and good squares are always rational. Let's say that up to term "n" we have a good square. Then we know that on term n+1 it will not be a good square. This suggests that the product of an infinite series of irrationals can never be rational  but I'm not actually convinced of this. I think that I could write such a series if I took the time. The key thing to do is to keep tally of the terms in the series to see if the irrationals combine to form rationals. For example, let's say every element of the series is a rational number to a power. Then perhaps you can sum all the exponents of any given prime in the numerator and subtract all the exponents of that same prime that appear in denominators. If the result is not an even number, then you aren't going to end up with a good square. Of course, the same can be done with any prime. 


#7
Mar614, 01:59 AM

P: 1,396

Consider the function [tex] f(x) = \prod_{n=1}^\infty 1+e^{nx}[/tex] is defined for x>0 lim x>0 f(x) = infinite limit x>inf f(x) = 1, it is strictly decreasing it can take on all values >1 


#8
Mar614, 08:08 AM

P: 4

That's incredibly helpful! Thank you so much everyone!



Register to reply 
Related Discussions  
Prove that a perfect square is a multiple of some number?  Calculus & Beyond Homework  9  
Smallest number to get a perfect square  Precalculus Mathematics Homework  7  
Number Thry: Divisibilty, perfect square.  Calculus & Beyond Homework  6  
Help needed in proving a number to be perfect square  General Math  12  
Proving a perfect square with factorials  Introductory Physics Homework  3 