3
$\begingroup$

Conjecture: If $m^3 = n^2$ and $n$ is even, then n is divisible by $4$.

The proof falls apart from the beginning.

$n$ is even therefore there is a number $k$ such that $n=2k$

$m^3 = n^2$

$m^3 = (2k)^2$

$m^3 = 4k^2$

$4|4k^2$ therefore $4|n^2$


However, I can't think of an example where a cubic is equal to a square. I also ask with hesitation because we have been studying prime numbers and the Euclidean Key theorem as well as other proofs using the Fundamental Theorem of Arithmetic. So, this approach seems out of place for the section of homework that I'm doing.

  • 2
    Try $m = a^2, n = a^3$ for some $a$.2011-11-13
  • 0
    Assuming only integers allowed how about $4^3=8^2$...2011-11-13
  • 0
    Apparently I didn't spend enough time on this one. I'll be stepping back for a bit to think more about it. Thanks for the input.2011-11-13
  • 1
    Try: $n$ even $\Rightarrow$ $m$ even $\Rightarrow$ $m^3$ divisible by 8 $\Rightarrow$ $n^2$ divisible by 8 $\ldots$2011-11-13
  • 0
    If I take n as 2 though, then isn't this not necessarily true? Or is it due in the part that I am constrained by $m^3=n^2$ that I cannot use this as a counterexample?2011-11-13
  • 4
    A cube us equal to a square precisely when it's a sixth power. For example $2^6=64$, so $64=8^2 =4^3$.2011-11-13
  • 0
    @Joel: yes, of course, my apologies.2011-11-14

4 Answers 4

5

Since $n^2 = m^3$ (i.e. $n^2$ is both a perfect square and a perfect cube), the number of factors of 2 in its prime factorization must be a common multiple of 2 and 3.

The smallest such multiple would be zero, but we can discard that possibility on the grounds that $n$ is even.

So, $n^2$ has at least six factors of 2 in its prime factorization. This means that $n$ has at least three factors of 2 in its prime factorization, and so $n$ is divisible by 4 (indeed, it is divisible by 8).

  • 0
    How should I go about showing "So, $n^2$ has at least six factors of 2 in its prime factorization." Is this drawn from the fact that $n^2=m^3$?2011-11-13
  • 0
    @arete It's the next smallest number (after 0) that it is a common multiple of 2 and 3.2011-11-13
4

There are multiple problems here:

(1) If $n$ is even then $4|n^2$, but not necessarily $n$.

(2) Your "proof" doesn't really use the fact that $m^3 = n^2$.

Also, there are numbers that satisfy $m^3 = n^2$. For instance, $2^6 = 4^3 = 8^2$.

  • 0
    Well then, that's a start.2011-11-13
  • 0
    Yes, I suppose I should take the whole "proof" into account. Otherwise, I'm missing important tools. @JyrkiLahtonen's advice was helpful.2011-11-13
3

Here is one way to proceed:

Suppose $m^3=n^2$, and $n$ is even. As you say, $n$ must be $2k$ for some integer $k$. Then $m^3=4k^2$, which means in particular that $2\mid m^3$. Now, either by a quick contradiction, or by using Euclid's lemma, it follows that $2\mid m$. (The point here is that $2$ is prime, so if $2\mid m^3=m\cdot m\cdot m$, then it must divide $m$ or $m$ or $m$. The argument by contradiction is that if $m$ is odd, then $m^3$ is also odd by a direct computation, so $2\mathrel{\not|} m^3$.)

If $2\mid m$ then there is an integer (say, $\ell$) such that $m=2\ell$. Then $m^3=8\ell^3$. Then $8\ell^3=4k^2$, so $2\ell^3=k^2$, so $2\mid k$. Then $k=2a$ for some integer $a$, and $n=2k=4a$ is indeed a multiple of $4$.


But it may be worth thinking about this in slightly more general terms. The equation $m^3=n^2$ tells us that the prime factorizations of the two numbers $m^3$ and $n^2$ must coincide. Start with the prime factorization of $m$ and cube it to find the prime factorization of $m^3$. Similarly, start with the prime factorization of $n$ and square it to find the prime factorization of $n^2$. This tells you that there are primes $p_1

The uniqueness of the prime factorization tells us that $a=b$, $p_1=q_1$, $p_2=q_2$, etc, and $3\alpha_1=2\beta_1$, $3\alpha_2=2\beta_2$, etc.

Now: If $3\alpha_i=2\beta_i$, then $2\mid\alpha_i$ (so $m$ is a square) and $3\mid\beta_i$ (so $n$ is a cube), so $n$, being even, must in fact be a multiple of $2^3=8$.

The advantage of this approach, which perhaps looks a bit more complicated than the first one, is that it generalizes to other situations. So one can now quickly conclude by the same argument that if, say, $m^6=n^{17}$, then $n$ is a sixth power (so if $n$ is even, then it is a multiple of $64$, for example). Or, if $m^6=n^{15}$, then $n$ is a square. Etc.

2

First try to prove that every number that is both a square and a cube is a sixth power. (It is easier to prove that every sixth power is both a square and a cube.) Then you have $m^3=n^2=\ell^6$. If $4\mid \ell^6$ then $2\mid \ell^3$. Then you can show that $2\mid\ell^3$ only if $2\mid\ell$. That implies that $8\mid\ell^3=n$, so of course $4\mid n$.

  • 0
    I'm not quite understanding the approach to show that $m^3=n^2=l^6$ . Is there an abstract example that could be shown? This is the part of the proof that I'm not quite understanding.2011-11-14
  • 0
    Let $m=\ell^2$, $n=\ell^3$. Thus, $m^3=n^2=\ell^6$.2011-11-14