2

What would be a proof strategy for this? I would like to show a proof of the contrapositive: if the expression is not odd, then $x$ is not an integer. If I go that route, how do I express the expression as odd in algebraic terms?

kate
  • 553
kvax12v
  • 309

2 Answers2

2

I will go the direct way

You have two cases.

case (1)

$x$ is even then $x = 2k$ for some integer $k$ and so $$x^2 + 5x - 1 = (2k)^2 + 5(2k) - 1 = 4k^2 + 10k - 1 = 2(2k^2 + 5k) - 1$$which is an odd number because $2k^2 + 5k$ is an integer , maybe call it $m$ and $2m-1$ is an odd integer.

case(2)

$x$ is odd then $x= 2k+1$ for some integer $k$ and so $$x^2 + 5x - 1 = (2k+1)^2 +5(2k+1) - 1 = 4k^2 + 4k + 1 + 10k + 5 -1 = 4k^2 + 14k + = 2(2k^2 + 7k) + 5$$

Now it should be obvious to you that this is also an odd integer because $2k^2 +7k$ is an integer, call it $n$ and so $2n + 5 = 2(n+3) -1$ is odd and so you are done !

Remember that an any integer has the form of $2k+1$ or $2k-1$ and any even integer has the form of $2k$ where $k$ is an integer of course.

alkabary
  • 6,214
1

Hint: Write polynomials as binomial coefficients (combinatorial polynomials). $$ x^2+5x-1=2\left[\binom{x}{2}+3\binom{x}{1}\right]-1 $$

robjohn
  • 345,667