Results 1 to 2 of 2

Math Help - Proof

  1. #1
    Banned
    Joined
    Sep 2009
    Posts
    502

    Proof

    I found the following exercise in Chartrand's book at the end of chapter 3, and attempted to prove it, but I am not very satisfied because it does not seem legitimate. I have not officially learned the mathematical proofs so kindly please help me.

    Exercise 3.45:

    Prove that if
    a and b are two positive integers, then a^2(b+1)+b^2(a+1) \geq 4ab


    The following is my weak attempt:

    Let
    P(x,y): a, b \in \mathbb{Z}^+, and Q(x,y): a^2(b+1)+b^2(a+1) \geq 4ab

    The algebraic reduction of
    Q(x,y):

    a^2(b+1)+b^2(a+1) \geq 4ab
    a^2(b+1)+b^2(a+1)-4ab \geq 0
    (a-b)^2+a^2b+b^2a-2ab \geq 0
    (a-b)^2+ab(a+b-2) \geq 0

    We can restate the question as
    (a,b \in \mathbb{Z}^+, a >0 and b>0) \Rightarrow (a-b)^2+ab(a+b-2) \geq 0

    Proof:

    By trichotomy law, we have three cases, namely
    a=b, a>b, and a<b.

    Case 1: Assume that
    a=b. Since (a-b)^2 = 0, ab(a+b-2) \geq 0

    Case 2: Assume that
    a<b. Since the square of any integer is a positive integer then (a-b)^2 > 0 and ab(a+b-2) \geq 0. It follows that (a-b)^2+ab(a+b-2) \geq 0

    Since Case 3 is similar to case 2, we will not repeat. Q.E.D

    Last edited by novice; February 12th 2010 at 10:34 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Sep 2009
    Posts
    502
    The proof I wrote above is logically incorrect. I have got the right way to prove it now. Administrator may close the thread.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 15
    Last Post: June 8th 2011, 12:13 PM
  2. Replies: 5
    Last Post: October 19th 2010, 11:50 AM
  3. [SOLVED] direct proof and proof by contradiction
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: February 27th 2010, 11:07 PM
  4. Proof with algebra, and proof by induction (problems)
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: June 8th 2008, 02:20 PM
  5. proof that the proof that .999_ = 1 is not a proof (version)
    Posted in the Advanced Applied Math Forum
    Replies: 4
    Last Post: April 14th 2008, 05:07 PM

Search Tags


/mathhelpforum @mathhelpforum