Binomial Primes
 

[P.S. Sorry if i posted in the wrong section, and sorry for my bad English too]

Please note that prime numbers here excludes 1 and includes 2.

Firstly, allow me to introduce and define some terms.

[B]Binomial numbers[/B] : Numbers of the form a^n +/- b^n, where a,b,n are integers >1
[B]
Decremental binomial numbers[/B] : Binomial numbers of the form (a+1)^n -a^n

[B]Decremental binomial primes[/B] : Decremental binomial numbers which are prime
[B]
Binomial exponent[/B] : The value of n in a decremental binomial number of the form (a+1)^n -a^n, where a,n are integers >1

[B]Binomial base[/B] : The value of a in a decremental binomial number of the form (a+1)^n -a^n, where a,n are integers >1


I have came out with the following statements, and the tried to prove/disprove them.

[B]Statement 1 [/B]: All primes of the form a^n - b^n, where a,b,n are natural numbers, must be decremental primes.

[B]Statement 2[/B] : All decremental binomial primes must have a prime binomial exponent.

[B]Statement 3[/B] : All decremental binomial primes must have a prime binomial base.

[B]Statement 4[/B] : There exists infinitely many decremental binomial primes.

[B]Statement 5[/B] : There exists a deterministic test to determine the primality of a decremental binomial number for all positive binomial exponents and binomial base.


So far, I have only managed to prove statements 1 and 2, and disprove statement 3. (Although i am unsure of the validity of my proofs)

[B]Proof of statement 1 : [/B]
Let a^n - b^n be a prime, where a,b,n are integers >1.
By polynomial factorization,
a^n - b^n = (a - b)[a^(n-1) + a^(n-2)b +... + ab^(n-2) + b^(n-1)]
It follows that a - b is a factor of a^n - b^n.
Since a^n - b^n is a prime, a - b = +/-(a^n - b^n) or +/- 1
The only solution to a - b = +/-(a^n - b^n) is a = b. For a = b, a^n - b^n = 0, hence a - b = +/-1
For a - b = -1, a = b - 1.
For a = b - 1, a^n - b^n <= 0. Therefore, a = b + 1.
It follows that for a binomial number of the form a^n - b^n to be prime, it must be a decremental binomial number. QED

[B]Proof of statement 2 : [/B]
Let (a+1)^n - a^n be a prime, where a,n are natural numbers.
Suppose n is composite. It can then be expressed in the form n = r X s for some r and s.
By binomial expansion,
(a+1)^n - a^n
= (a+1)^(rs) - a^(rs)
=[(a+1)^r - a^r][a^(r(s-1)) + a^(r(s-2))b +... + b^(s(r-1))]
Hence, if n is composite, (a+1)^n - a^n will always be factorized into 2 distinct numbers, making it composite, contradicting it being prime.
It follows that the binomial exponent must be prime. QED

[B](Dis)Proof of statement 3:[/B]
A counter example is 7^2 - 6^2 = 13
Here, the binomial base is 6, which is composite.


However, i have yet to proof or disprove statements 4 and 5, and i am here today to kindly ask you for your help in helping me with improving the statements and their respective proofs/disproofs, and also to proof/disproof statements 4 and 5. If possible, it would be great to come out with a deterministic test for decremental binomial numbers and a proof of correctness for this test as well.

[QUOTE=Lee Yiyuan;298427][P.S. Sorry if i posted in the wrong section, and sorry for my bad English too]

Firstly, allow me to introduce and define some terms.

[B]Binomial numbers[/B] : Numbers of the form a^n +/- b^n
[B]
Decremental binomial numbers[/B] : Binomial numbers of the form (a+1)^n -a^n

[B]Binomial primes[/B] : Decremental binomial numbers which are prime
[B]
Binomial exponent[/B] : The value of n in a decremental binomial number of the form (a+1)^n -a^n

[B]Binomial base[/B] : The value of a in a decremental binomial number of the form (a+1)^n -a^n


I have came out with the following statements, and the tried to prove/disprove them.

[B]Statement 1 [/B]: For a binomial number to be prime, it must be a decremental binomial number.

[B]Statement 2[/B] : For a decremental binomial number to be prime, it's binomial exponent must be prime.

[B]Statement 3[/B] : For a decremental binomial number to be prime, it's binomial base must be prime.

[B]Statement 4[/B] : There exists infinitely many binomial primes.

[B]Statement 5[/B] : There exists a deterministic test to determine the primality of a decremental binomial number.


So far, I have only managed to prove statements 1 and 2, and disprove statement 3. (Although i am unsure of the validity of my proofs)

[B]Proof of statement 1 : [/B]
Let a^n - b^n be a prime.
By binomial factorization,
a^n - b^n = (a - b)[a^(n-1) + a^(n-2)b +... + ab^(n-2) + b^(n-1)]
It follows that a - b is a factor of a^n - b^n.
Since a^n - b^n is a prime, a - b = +/-(a^n - b^n) or +/- 1
The only solution to a - b = +/-(a^n - b^n) is a = b. For a = b, a^n - b^n = 0, hence a - b = +/-1
For a - b = -1, a = b - 1.
For a = b - 1, a^n - b^n <= 0. Therefore, a = b + 1.
It follows that for a binomial number to be prime, it must be of the form (a+1)^n - a^n. QED

[B]Proof of statement 2 : [/B]
Let (a+1)^n - a^n be a prime.
Suppose n is composite. It can then be expressed in the form n = r X s for some r and s.
By binomial expansion,
(a+1)^n - a^n
= a^(rs) - a^(rs)
=[(a+1)^r - a^r][a^(r(s-1)) + a^(r(s-2))b +... + b^(s(r-1))]
Hence, if n is composite, (a+1)^n - a^n will always be factorized into 2 distinct numbers, making it composite, contradicting it being prime.
It follows that the binomial exponent must be prime. QED

[B](Dis)Proof of statement 3:[/B]
A counter example is 7^2 - 6^2 = 13
Here, the binomial base is 6, which is composite.


However, i have yet to proof or disprove statements 4 and 5, and i am here today to kindly ask you for your help in helping me with improving the statements and their respective proofs/disproofs, and also to proof/disproof statements 4 and 5. If possible, it would be great to come out with a deterministic test for decremental binomial numbers and a proof of correctness for this test as well.[/QUOTE]

a=2; 3^2+2^2 -> 9+4->13 a prime

[QUOTE=science_man_88;298428]a=2; 3^2+2^2 -> 9+4->13 a prime[/QUOTE]

True, but what i meant by binomial primes were numbers of the form (a+1)^n - a^n
This of course is my own definition of a binomial prime (i couldnt find any definitions after a google search on the term)

[QUOTE=Lee Yiyuan;298430]True, but what i meant by binomial primes were numbers of the form (a+1)^n - a^n
This of course is my own definition of a binomial prime (i couldnt find any definitions after a google search on the term)[/QUOTE]

[QUOTE]For a binomial number to be prime, it must be a decremental binomial number.[/QUOTE]

you define "a binomial number" as a^n[TEX]\pm[/TEX]b^n so it's possible to have 3^2+2^2 as a binomial number and it's prime and it's not a decremental binomial number under your definitions. this equality disproves your first statement.

[QUOTE=science_man_88;298432]you define "a binomial number" as a^n[TEX]\pm[/TEX]b^n so it's possible to have 3^2+2^2 as a binomial number and it's prime and it's not a decremental binomial number under your definitions. this equality disproves your first statement.[/QUOTE]

Sorry sir, i missed out a decremental before binomial prime in statement 1. Fixed it now.

[QUOTE=Lee Yiyuan;298433]Sorry sir, i missed out a decremental before binomial prime in statement 1. Fixed it now.[/QUOTE]

ran a PARI/gp script this is also false if you have no limit on n :

10^1-3^1 -> 7 -> prime 10-3 =7 not 1.

[QUOTE=science_man_88;298435]ran a PARI/gp script this is also false if you have no limit on n :

10^1-3^1 -> 7 -> prime 10-3 =7 not 1.[/QUOTE]


Thank you for pointing out, ive now limited n to integers more than one in the definition of a binomial number.

[QUOTE]Binomial primes : Decremental binomial numbers which are prime[/QUOTE]

[QUOTE]Statement 1 : For a binomial number of the form a^n - b^n to be prime, it must be a decremental binomial number.[/QUOTE]

these 2 clearly show the same thing, namely, that you only intend that decremental binomials can be prime.

of course:

[U]OEIS seq A138389 [/U]: [QUOTE] Binomial primes: positive integers n such that every i not coprime to n and not exceeding n/2 does not divide binomial(n-i-1,i-1).[/QUOTE]

though I feel like I forgot to leave criticism for R.D.Silverman to make.

[QUOTE=science_man_88;298439]these 2 clearly show the same thing, namely, that you only intend that decremental binomials can be prime.

of course:

[U]OEIS seq A138389 [/U]:

though I feel like I forgot to leave criticism for R.D.Silverman to make.[/QUOTE]


Fixed once again. I am indeed in debt for your guidiance.

[QUOTE=Lee Yiyuan;298443]Fixed once again. I am indeed in debt for your guidiance.[/QUOTE]

sad part is I'm one that needs the guidance half the time.

[QUOTE=science_man_88;298444]sad part is I'm one that needs the guidance half the time.[/QUOTE]

But you have determination, and i respect you for that!
On a related note, have you any idea how to contact the admins? I seem to have troubles editing my thread post as i need to change "natural numbers" to "integers more than 1"