# How do I prove these three statements true/false?

I am still being taught maths at school, so all these fancy symbols like $\sum$ I have no idea about (although writing it out through mathjax, I think it possibly means the "sum" of something) but I believe to have made three potential discoveries of always finding a prime number:

$1. \qquad (2n + 1)^2 - 2 = p$

$2. \qquad n^3 - (n - 1)^3 = p$

$3. \qquad \text{The first number after$(2n)^2$to have the number$7$as its last digit is always prime.}$

I do not know if these are facts, but I do not know how to prove if any of these are true or false.

My Attempt:

$$(a + b)^2 = (a + b)(a + b) = a^2 + ab + ba + b^2 = a^2 + b^2 + 2ab \tag1$$ $$\implies (2n + 1)^2 = (2n)^2 + 1^2 + 2\times 2n\times 1 = 4n^2 + 4n + 1$$ $$\implies (2n + 1)^2 - 2 = 4n^2 + 4n + 1 - 2 = 4n^2 + 4n - 1= p$$ $$\implies 4n^2 + 4n - 1 - p = 4n^2 + 4n - (1 + p) = 0$$ $$\therefore n = \frac{-4 \pm \sqrt{16 - 16(1 + p)}}{8}$$ This is where I get stuck because any prime number must be greater than $1$ which implies that we will be square rooting a negative number in the numerator of the above fraction. Doing a little bit of research, the square root of a negative number is not "real" so how can there be real solutions for $n$ such that $(2n + 1)^2 - 2 = p?$ For example, $(2\times3 + 1)^2 - 2 = 47$ which is a prime number. I cannot see if I am doing something wrong here. Is this a contradiction of some sort?

$$(a - b)^3 = (a - b)(a - b)(a - b) = \cdots = a^3 - 3a^2b + 3ab^2 - b^3\tag2$$ $$\implies (n - 1)^3 = n^3 - 3\times n^2\times1 + 3\times n\times1^2 - 1^3 = n^3 - 3n^2 + 3n - 1$$ $$\implies n^3 - (n^3 - 3n^2 + 3n - 1) = n^3 - n^3 + 3n^2 - 3n + 1 = 3n^2 - 3n + 1 = p$$ $$\implies 3n^2 - 3n + (1 - p) = 0$$ $$\therefore n = \frac{3 \pm \sqrt {9 - 12(1 - p)}}{6}$$

Since $(1 - p) < 0$ then this implies that $12(1 - p) < 0$ and so we will be square rooting a positive number in the numerator of the above fraction because: $$\forall (x, y) \in \mathbb{Z}, \ x - (-y) = x + y > 0 : x = 9\land 12\mid y$$ But I am unsure that I completed this problem correctly because I used the same steps of working out compared to $(1)$, however I cannot find a problem here. For example: $$(\pm 3)^3 - 2^3 = 19 \qquad \text{ and } \qquad \pm 3 = \frac{3 \pm \sqrt {9 - 12(1 - 19)}}{6}$$

But as for $(3)$, I do not know where to begin. Could somebody please help me and show me step by step how to prove any one of these statements true or false? You do not have to prove all three statements true or false, but if you wish to do so, it would be much appreciated. I tried solving for $n$ via the quadratic formula, and completing the square just gave me a simplified fraction for $n$ and nothing more. If you are willing to use other mathematical techniques of solving for $n$, please be clear and try not to skip too many steps in the process. Thank you in advance.

Edit: Can I just say, this was my first question on the MSE and it said "be clear" and "be specific" and things like that, so I tried to make this question as understandable as possible, and for my first question, I got +10 which is AMAZING! Thank you so much all of you people for helping me with this. Your answers and explanations were very clear and helped me have a further understanding of these problems, and now I can use other methods of solving problems like these (or perhaps simply trial and error). I absolutely love this community even if some math questions are WAY beyond my years! Once again, thank you so much! :)

• Sorry, are you saying that $(2n+1)^2-2$ is always prime? But $11^2-2$ isn't. – lulu Sep 4 '17 at 11:25
• A suggestion: in testing forms like this, you need to look at a lot of examples, not just the first two or three. There are a lot of small primes so if you only look at small numbers you get a distorted view of things. – lulu Sep 4 '17 at 11:27
• Note: it's not too hard to prove that there is no non-constant polynomial $p(n)$ with integer coefficients that only takes prime values. Worth doing as an exercise. – lulu Sep 4 '17 at 11:28
• @AndrewTawfeek Well, $\mathbb Z \to \mathbb Z$ will do. It's a divisibility claim, not a statement about positivity. – lulu Sep 4 '17 at 11:40
• For examples like the last one you can construct counterexamples as follows - since the final digit is controlled, take $n$ a multiple of $5$ so that $(2n)^2$ ends in a zero - then you know that "last digit $7$" means adding $7$. Then if $(2n)^2$ is a multiple of $7$ the sum will have a factor equal to $7$ and won't be prime. So $n$ a multiple of $35$ will provide counterexamples. This strategy of knowing some part of the result (like the last digit), identifying a divisor, and then controlling the bit you don't know about so that it shares the same divisor is useful to know. – Mark Bennet Sep 4 '17 at 11:53

For the first proposition $n=5$ is a counterexample. $$(2\cdot 5 +1)^2 -2 = 7 \cdot 17$$

For the second proposition, $n=6$ is a counterexample. $$6^3-(6-1)^3=7\cdot 13$$

For the last proposition, $n=6$ is a counterexample.

$$(2\cdot 6)^2=144 \text { and } 147=3\cdot 7^2$$

• Oh, sorry about that. I must have overlooked that. I mean, $7\times17 = 119$ which looks like a prime number....yeah perhaps I need to test just a little bit more... – Mr Pie Sep 4 '17 at 11:26
• @user477343 Please see my edit for the remaining propositions. – Andrew Tawfeek Sep 4 '17 at 11:30
• Well, if you don't bound n>1, 2 can be contradicted with n=1. – Jesse P Francis Sep 4 '17 at 11:31
• Ok thank you for those. – Mr Pie Sep 4 '17 at 11:32
• @user477343 On the note of proving things like this though, I highly recommend reading up on a method of proof called induction. Good try though! – Andrew Tawfeek Sep 4 '17 at 11:34

You can disprove such a statement by finding a counterexample.

• For small values of $n$ you can do this manually. There are at least 2 counterexamples for $n\le 10$ for each of your claims.
• Your claims are wrong for at least 50% of all $n\le100$. For larger $n$ these values increase. So if you select an arbitrary two digit number you have at least 50% chance to find a counterexample. You can use Wolfram Alpha to check if a number is a prime number.
• To check a larger range of values you can write a program, e.g. in Python or Mathematica.
• Yes I have heard of Mathematica whilst browsing on this site, but thank you for this. How do they put it? "I give you a (+1)" :) – Mr Pie Sep 5 '17 at 1:00

Disproving by simple counterexample is the right approach.

In your (1), the quadratic formula result has a sign error. It should be $\sqrt{16+16(1+p)}$, not $16-16(1+p)$.

Building solutions using the quadratic formula requires a lot of steps where there can be errors, so you should always test the result with a simple case, e.g. plug $n=1$ into (1), get $p=7$, and see if those values solve your quadratic.

• Welcome to MSE. Please use MathJax. – José Carlos Santos Sep 4 '17 at 17:17
• Ok I will fix my error. Thank you. And by the way, even though you have not used mathjax, I still understand your comment so thank you. +1 – Mr Pie Sep 5 '17 at 1:02