Results 1 to 10 of 10

Math Help - False Existential

  1. #1
    Newbie
    Joined
    Feb 2008
    Posts
    3

    False Existential

    Rusty returning student stuck on this one proof:

    Prove false:
    There exists an integer n such that 6n^2 + 27 is prime.

    I know to do this, I have to prove the universal negation true.
    For all integers n such that 6n^2 + 27 is not prime.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    is up to his old tricks again! Jhevon's Avatar
    Joined
    Feb 2007
    From
    New York, USA
    Posts
    11,663
    Thanks
    3
    Quote Originally Posted by MBoogie View Post
    Rusty returning student stuck on this one proof:

    Prove false:
    There exists an integer n such that 6n^2 + 27 is prime.

    I know to do this, I have to prove the universal negation true.
    For all integers n such that 6n^2 + 27 is not prime.
    yes.

    you can factor out a 3. what does that tell you?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Feb 2008
    Posts
    3
    oh no -

    I had 3(2n^2 +9) written down so many times, and kept trying to wrong things with it. Is it as simple as this?:

    (2n^2 +9) is a sum of two squares which is prime. And because a composite is the product of two primes, 3(2n^2 +9) is composite?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Forum Admin topsquark's Avatar
    Joined
    Jan 2006
    From
    Wellsville, NY
    Posts
    9,902
    Thanks
    329
    Awards
    1
    Quote Originally Posted by MBoogie View Post
    oh no -

    I had 3(2n^2 +9) written down so many times, and kept trying to wrong things with it. Is it as simple as this?:

    (2n^2 +9) is a sum of two squares which is prime. And because a composite is the product of two primes, 3(2n^2 +9) is composite?
    First 2n^2 + 9 is not the sum of two squares. 2n^2 is not a perfect square unless n = 0.

    Second, 6n^2 + 27 = 3(2n^2 + 9)

    This means that, for any n, 6n^2 + 27 is divisible by 3 and is thus a composite number. (A composite number is simply the product of two numbers, neither of which are 1, not necessarily two primes.)

    -Dan
    Follow Math Help Forum on Facebook and Google+

  5. #5
    is up to his old tricks again! Jhevon's Avatar
    Joined
    Feb 2007
    From
    New York, USA
    Posts
    11,663
    Thanks
    3
    Quote Originally Posted by MBoogie View Post
    oh no -

    I had 3(2n^2 +9) written down so many times, and kept trying to wrong things with it. Is it as simple as this?:

    (2n^2 +9) is a sum of two squares which is prime. And because a composite is the product of two primes, 3(2n^2 +9) is composite?
    it is, as topsquark says, even easier than that. you have an integer that is three times another integer. it means that your integer is divisible by 3 (an integer n is divisible by 3 if it can be written in the form n = 3k for some integer k), and so is not prime.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member JaneBennet's Avatar
    Joined
    Dec 2007
    Posts
    293
    Quote Originally Posted by topsquark View Post
    This means that, for any n, 6n^2 + 27 is divisible by 3 and is thus a composite number.
    Quote Originally Posted by Jhevon View Post
    it is, as topsquark says, even easier than that. you have an integer that is three times another integer. it means that your integer is divisible by 3 (an integer n is divisible by 3 if it can be written in the form n = 3k for some integer k), and so is not prime.
    Not true! 3 is divisible by 3 but 3 is not a composite number!

    A positive integer divisible by 3 is not prime only if its not equal to 3 itself. It this particular problem, 6n^2+27 is not prime because 3 divides it and 2n^2+9 is not equal to 1 for any integer n.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    is up to his old tricks again! Jhevon's Avatar
    Joined
    Feb 2007
    From
    New York, USA
    Posts
    11,663
    Thanks
    3
    Quote Originally Posted by JaneBennet View Post
    ...and 2n^2+9 is not equal to 1 for any integer n.
    of course. i should have seen that. thanks for the catch, Jane

    that's a big "and," but i think i deserved it
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Newbie
    Joined
    Feb 2008
    Posts
    3
    wow - yeah I have a problem of getting ahead of myself. Answer was right in front of me the whole time. Thx Jhev and top
    Follow Math Help Forum on Facebook and Google+

  9. #9
    is up to his old tricks again! Jhevon's Avatar
    Joined
    Feb 2007
    From
    New York, USA
    Posts
    11,663
    Thanks
    3
    Quote Originally Posted by MBoogie View Post
    wow - yeah I have a problem of getting ahead of myself. Answer was right in front of me the whole time. Thx Jhev and top
    ...and Jane
    Follow Math Help Forum on Facebook and Google+

  10. #10
    Senior Member JaneBennet's Avatar
    Joined
    Dec 2007
    Posts
    293
    Quote Originally Posted by Jhevon View Post
    of course. i should have seen that. thanks for the catch, Jane

    that's a big "and," but i think i deserved it
    I had to learn the hard way too. Once I wanted to prove that, while twin primes exist, you could never have triple primes (three consecutive odd primes). I thought I had cool proof in just one line: Any sequence of three consecutive odd integers must contain a multiple of 3 and so that number in the sequence cannot be prime. Then someone knocked me off my pedestal by showing me that one set of triple primes does exist: 3, 5, 7. I have learnt my lesson since then!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Unique Existential Quantifier
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: February 28th 2011, 10:07 AM
  2. Replies: 7
    Last Post: January 6th 2011, 07:23 PM
  3. True or False. Prove if true show counter example if false.
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: March 2nd 2010, 10:54 AM
  4. Understanding Existential Instantiation
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: October 25th 2008, 11:48 AM
  5. Existential Instantiation
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: October 11th 2008, 02:30 PM

Search Tags


/mathhelpforum @mathhelpforum