Binomial number

In mathematics, specifically in number theory, a binomial number is an integer which can be obtained by evaluating a homogeneous polynomial containing two terms. It is a generalization of a Cunningham number.

Not to be confused with Binomial distribution or Binomial coefficient.

Definition

A Binomial number is an integer obtained by evaluating a homogeneous polynomial containing two terms, also called a binomial. The form of this binomial is ${\displaystyle \scriptstyle x^{n}\,\pm \,y^{n}}$, with ${\displaystyle \scriptstyle x\,>\,y}$ and ${\displaystyle \scriptstyle n\,>\,1}$. However, since ${\displaystyle \scriptstyle x^{n}\,-\,y^{n}}$ is always divisible by ${\displaystyle \scriptstyle x\,-\,y}$, when studying the numbers generated from the version with the negative sign, they are usually divided by ${\displaystyle \scriptstyle x\,-\,y}$ first. Binomial numbers formed this way form Lucas sequences. Specifically:

${\displaystyle U_{n}(a+b,ab)={\frac {a^{n}-b^{n}}{a-b}},}$ and ${\displaystyle V_{n}(a+b,ab)=a^{n}+b^{n}}$

Binomial numbers are a generalization of a Cunningham numbers, and it will be seen that the Cunningham numbers are Binomial numbers where ${\displaystyle \scriptstyle y\,=\,1}$. Other subsets of the Binomial numbers are the Mersenne numbers and the Repunits.

Factorization

The main reason for studying these numbers is to obtain their factorizations. Aside from algebraic factors, which are obtained by factoring the underlying polynomial (binomial) that was used to define the number, there are other prime factors (called primitive prime factors, because for a given ${\displaystyle \scriptstyle x^{n}\,\pm \,y^{n}}$ they do not factorize ${\displaystyle \scriptstyle x^{m}\,\pm \,y^{m}}$ with ${\displaystyle \scriptstyle m\,<\,n}$) which occur seemingly at random, and it is these which the number theorist is looking for.

Some Binomial numbers' underlying binomials have Aurifeuillian factorizations,[1] which can assist in finding prime factors. Cyclotomic polynomials are also helpful in finding factorizations.[2]

The amount of work required in searching for a factor is considerably reduced by applying Legendre's theorem.[3] This theorem states that all factors of a binomial number are of the form ${\displaystyle \scriptstyle kn\,+\,1}$ if ${\displaystyle \scriptstyle n}$ is even or ${\displaystyle \scriptstyle 2kn\,+\,1}$ if it is odd.

Observation

Some people write "binomial number" when they mean binomial coefficient, but this usage is not standard and is deprecated.

See also

• Cunningham project

References

1. Riesel 1994, p. 309
2. Riesel 1994, p. 305
3. Riesel 1994, p. 165

• Riesel, Hans (1994). Prime numbers and computer methods for factorization. Progress in Mathematics. 126 (2nd ed.). Boston, MA: Birkhauser. ISBN 0-8176-3743-5. Zbl 0821.11001.

External links

• Binomial Number at MathWorld