Results 1 to 3 of 3

Math Help - nonnegative integer

  1. #1
    Junior Member
    Joined
    Oct 2009
    Posts
    59

    nonnegative integer

    prove that given a nonnegative integer n, there is a unique nonnegative integer m such that m^2 less than or equal to n less than (m+1)^2
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,605
    Thanks
    1574
    Awards
    1
    Quote Originally Posted by lm6485 View Post
    prove that given a nonnegative integer n, there is a unique nonnegative integer m such that m^2 less than or equal to n less than (m+1)^2
    The floor function has the property that \left\lfloor {\sqrt n } \right\rfloor  \leqslant \sqrt n  < \left\lfloor {\sqrt n } \right\rfloor  + 1
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,517
    Thanks
    771
    This response is best in practice, but having encountered this problem in my research, I'd like to show a "conceptually-minimal" proof. The thing is that square root involves real numbers, and they are pretty complex objects since they are infinite. My proof uses only logic and properties of natural numbers, including induction.

    So, suppose n is given. Towards contradiction, we assume that for every m, it is not the case that m^2 <= n < (m + 1)^2. Then we prove that for all m, m^2 <= n. We do it by induction.

    Obviously, 0^2 <= n. Suppose that for some m, m^2 <= n, and we need to show that (m + 1)^2 <= n. Well, if n < (m + 1)^2, then we have m that contradicts our assumption in the previous paragraph.

    Having proved that m^2 <= n for all n, we now get a contradiction by instantiating m with, say, n + 1.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. nonnegative solution in rationals
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: July 31st 2011, 07:29 PM
  2. NonNegative Bounds in Linear Programming problem
    Posted in the Advanced Applied Math Forum
    Replies: 1
    Last Post: April 5th 2011, 07:10 PM
  3. Nonnegative integers problem
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: February 10th 2010, 06:45 AM
  4. Replies: 2
    Last Post: March 3rd 2009, 01:56 PM
  5. convex due to nonnegative hessian proof
    Posted in the Calculus Forum
    Replies: 0
    Last Post: February 24th 2008, 08:50 PM

Search Tags


/mathhelpforum @mathhelpforum