Square of n such that 2n-1 is Composite is not Sum of Square and Prime
Jump to navigation
Jump to search
Theorem
Let $n^2$ be a square such that $2 n - 1$ is composite.
Then $n^2$ cannot be expressed as the sum of a square and a prime.
Proof
The case where $n = 1$ is trivial, as there are no prime numbers less than $1$.
Let $n, m \in \Z$ be integers such that $n > 1$.
Let $n^2 = m^2 + p$ where $p$ is prime.
Then:
\(\ds p\) | \(=\) | \(\ds n^2 - m^2\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds \paren {n + m} \paren {n - m}\) | Difference of Two Squares | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds n - m\) | \(=\) | \(\ds 1\) | Definition of Prime Number | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds m\) | \(=\) | \(\ds n - 1\) | Definition of Prime Number | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds n + m\) | \(=\) | \(\ds 2 n - 1\) | |||||||||||
\(\ds \) | \(=\) | \(\ds p\) |
So if $2 n - 1$ is composite, there exists no prime $p$ such that $n^2 = m^2 + p$.
Further, if such a $p$ does exist, then $m = n - 1$, and so:
- $n^2 = \paren {n - 1}^2 + p$
$\blacksquare$