Page 1 of 2 12 LastLast
Results 1 to 15 of 23

Thread: Sqrt of 4 is irrational

  1. #1
    Senior Member Mukilab's Avatar
    Joined
    Nov 2009
    Posts
    468

    Sqrt of 4 is irrational

    Hello please could you tell me if my proof that the sqrt of 4 is irrational is correct.

    $\displaystyle \sqrt{4}=\frac{a}{b}$ therefore $\displaystyle 4=(\frac{a}{b})^{2}$ so $\displaystyle 4b^2=a^2$....1.1

    This implies that a is greater than b and that a is even.

    a is even so a=2k

    put into 1.1 $\displaystyle 4b^2=4k^2$

    cancel by 4 $\displaystyle b^2=k^2$

    this can be written as $\displaystyle (\frac{2k}{2})^{2}=b^2$ this implies that $\displaystyle (\frac{a}{2})^{2}=b^2$ which implies that $\displaystyle a^2=2b^2$....1.2

    Equation 1.2 contradicts equation 1.1. This shows that a and b cannot be whole positive integers.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    7
    Awards
    2
    Going from $\displaystyle (a/2)^{2}=b^{2}$ to $\displaystyle a^{2}=2b^{2}$ is incorrect. You forgot to square the 2.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Senior Member Mukilab's Avatar
    Joined
    Nov 2009
    Posts
    468
    oh. Thanks for that, I didn't realise it. Please can nobody post a solution until I ask for it, I want to solve it on my own
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member Mukilab's Avatar
    Joined
    Nov 2009
    Posts
    468
    I think I've proved it is rational.

    a^2=4b^2 = 2b=a

    Because we have proved a is an even number, b also must be even

    Because a is greater than b and they are both integers we know it cannot be a decimal and we know that if a number can be written as a fraction then it is rational. Because they are both even it can be written as a fraction.

    Q.E.D
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor undefined's Avatar
    Joined
    Mar 2010
    From
    Chicago
    Posts
    2,340
    Awards
    1
    Quote Originally Posted by Mukilab View Post
    I think I've proved it is rational.

    a^2=4b^2 = 2b=a

    Because we have proved a is an even number, b also must be even

    Because a is greater than b and they are both integers we know it cannot be a decimal and we know that if a number can be written as a fraction then it is rational. Because they are both even it can be written as a fraction.

    Q.E.D
    4 is a perfect square, and $\displaystyle \sqrt{4}=2$ which is rational. No need for fancy proof.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member Mukilab's Avatar
    Joined
    Nov 2009
    Posts
    468
    you need to prove that it is a rational number. I know it's a perfect square... that was never the point
    Follow Math Help Forum on Facebook and Google+

  7. #7
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    7
    Awards
    2
    Here's my proof: $\displaystyle (\pm 2)^{2}=4$, therefore, by the definition of square root, $\displaystyle \sqrt{4}=\pm 2$. Now, $\displaystyle -2=\frac{-2}{1}$, and $\displaystyle 2=\frac{2}{1}$. In either case, by the definition of rational number, we have a rational number. Therefore, $\displaystyle \sqrt{4}$ is rational.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Senior Member Mukilab's Avatar
    Joined
    Nov 2009
    Posts
    468
    much simpler
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor undefined's Avatar
    Joined
    Mar 2010
    From
    Chicago
    Posts
    2,340
    Awards
    1
    Quote Originally Posted by Ackbeet View Post
    Here's my proof: $\displaystyle (\pm 2)^{2}=4$, therefore, by the definition of square root, $\displaystyle \sqrt{4}=\pm 2$. Now, $\displaystyle -2=\frac{-2}{1}$, and $\displaystyle 2=\frac{2}{1}$. In either case, by the definition of rational number, we have a rational number. Therefore, $\displaystyle \sqrt{4}$ is rational.
    This is actually not correct. The $\displaystyle \sqrt{}$ sign is defined as nonnegative (for reals).

    Quote Originally Posted by Mukilab View Post
    you need to prove that it is a rational number. I know it's a perfect square... that was never the point
    Writing $\displaystyle \sqrt{4}=2 \in \mathbb{Q} \therefore \sqrt{4}\ \text{is rational.}$ is a valid proof.
    Follow Math Help Forum on Facebook and Google+

  10. #10
    Senior Member Mukilab's Avatar
    Joined
    Nov 2009
    Posts
    468
    Your proof feels like cheating
    Follow Math Help Forum on Facebook and Google+

  11. #11
    MHF Contributor undefined's Avatar
    Joined
    Mar 2010
    From
    Chicago
    Posts
    2,340
    Awards
    1
    Quote Originally Posted by Mukilab View Post
    Your proof feels like cheating
    But it's not. Prove that 6 is composite. $\displaystyle 6=2\cdot3\therefore6\ \text{is composite}.$
    Follow Math Help Forum on Facebook and Google+

  12. #12
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    7
    Awards
    2
    I knew someone was going to flag me on that one. Just interpret it to mean this: either $\displaystyle \sqrt{4}=2$ or $\displaystyle \sqrt{4}=-2$, which is certainly a true statement. I should have written it out in more fullness.
    Follow Math Help Forum on Facebook and Google+

  13. #13
    MHF Contributor undefined's Avatar
    Joined
    Mar 2010
    From
    Chicago
    Posts
    2,340
    Awards
    1
    Quote Originally Posted by Ackbeet View Post
    I knew someone was going to flag me on that one. Just interpret it to mean this: either $\displaystyle \sqrt{4}=2$ or $\displaystyle \sqrt{4}=-2$, which is certainly a true statement. I should have written it out in more fullness.
    Ah, you're right, didn't think of that. In fact it's true that $\displaystyle \forall x\in\mathbb{R}:x=\pm x$. Misinterpretation on my part.

    Edit: Actually, I'm wondering whether this is normal syntax for the "=" sign, or for equations containing an unknown.

    Edit 2: I think the syntax is perfectly valid, after a little thought. I don't think anyone would have a problem with this statement:

    $\displaystyle 5=\pm5$

    Then in the context of solving equations, we have, for example

    $\displaystyle
    \forall x,y\in\mathbb{R}:x=y \Rightarrow x=\pm y$

    Contrasted with

    $\displaystyle
    \forall x,y\in\mathbb{R},y\ge0:x^2=y \Leftrightarrow x=\pm \sqrt{y}$
    Last edited by undefined; Jun 24th 2010 at 09:36 AM.
    Follow Math Help Forum on Facebook and Google+

  14. #14
    Senior Member Mukilab's Avatar
    Joined
    Nov 2009
    Posts
    468
    Quote Originally Posted by undefined View Post
    But it's not.
    Quote Originally Posted by Mukilab View Post
    feels like
    .
    Follow Math Help Forum on Facebook and Google+

  15. #15
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    7
    Awards
    2
    Well, more than that, I was just trying to get at all numbers that square to equal 4. Perhaps that's more even than is called for.
    Follow Math Help Forum on Facebook and Google+

Page 1 of 2 12 LastLast

Similar Math Help Forum Discussions

  1. Prove that sqrt(5) is irrational?
    Posted in the Number Theory Forum
    Replies: 5
    Last Post: Nov 18th 2010, 10:13 PM
  2. proof of infinite n's s.t. sqrt(n) = irrational
    Posted in the Number Theory Forum
    Replies: 8
    Last Post: Oct 8th 2009, 01:46 PM
  3. Prove sqrt(50) irrational
    Posted in the Number Theory Forum
    Replies: 3
    Last Post: Aug 12th 2009, 12:46 PM
  4. Prove sqrt(q) is irrational
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: Jun 15th 2009, 05:32 PM
  5. prove sqrt(3) + sqrt (5) is an irrational number
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: Oct 6th 2006, 06:48 PM

Search tags for this page

Search Tags


/mathhelpforum @mathhelpforum