Fermat's factorization method, named after
Pierre de Fermat
Pierre de Fermat (; ; 17 August 1601 – 12 January 1665) was a French mathematician who is given credit for early developments that led to infinitesimal calculus, including his technique of adequality. In particular, he is recognized for his d ...
, is based on the representation of an
odd integer
An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
as the
difference of two squares:
:
That difference is
algebra
Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic ope ...
ically factorable as
; if neither factor equals one, it is a proper factorization of ''N''.
Each odd number has such a representation. Indeed, if
is a factorization of ''N'', then
:
Since ''N'' is odd, then ''c'' and ''d'' are also odd, so those halves are integers. (A multiple of four is also a difference of squares: let ''c'' and ''d'' be even.)
In its simplest form, Fermat's method might be even slower than trial division (worst case). Nonetheless, the combination of trial division and Fermat's is more effective than either by itself.
Basic method
One tries various values of ''a'', hoping that
, a square.
FermatFactor(N): ''// N should be odd''
a ←
b2 ← a*a - N
repeat until b2 is a square:
a ← a + 1
b2 ← a*a - N
// equivalently:
// b2 ← b2 + 2*a + 1''
// a ← a + 1
return a - ''// or a + ''
For example, to factor
, the first try for ''a'' is the square root of rounded up to the next integer, which is . Then
. Since 125 is not a square, a second try is made by increasing the value of ''a'' by 1. The second attempt also fails, because 282 is again not a square.
The third try produces the perfect square of 441. Thus,
,
, and the factors of are
and
.
Suppose N has more than two prime factors. That procedure first finds the factorization with the least values of ''a'' and ''b''. That is,
is the smallest factor ≥ the square-root of ''N'', and so
is the largest factor ≤ root-''N''. If the procedure finds
, that shows that ''N'' is prime.
For
, let ''c'' be the largest subroot factor.
, so the number of steps is approximately
.
If ''N'' is prime (so that
), one needs
steps. This is a bad way to prove primality. But if ''N'' has a factor close to its square root, the method works quickly. More precisely, if ''c'' differs less than
from
, the method requires only one step; this is independent of the size of ''N''.
Fermat's and trial division
Consider trying to factor the prime number , but also compute ''b'' and throughout. Going up from
rounded up to the next integer, which is 48,433, we can tabulate:
In practice, one wouldn't bother with that last row until ''b'' is an integer. But observe that if ''N'' had a subroot factor above
, Fermat's method would have found it already.
Trial division would normally try up to 48,432; but after only four Fermat steps, we need only divide up to 47830, to find a factor or prove primality.
This all suggests a combined factoring method. Choose some bound
; use Fermat's method for factors between
and
. This gives a bound for trial division which is
. In the above example, with
the bound for trial division is 47830. A reasonable choice could be
giving a bound of 28937.
In this regard, Fermat's method gives diminishing returns. One would surely stop before this point:
Sieve improvement
When considering the table for
, one can quickly tell that none of the values of
are squares:
It is not necessary to compute all the square-roots of
, nor even examine all the values for . Squares are always congruent to 0, 1, 4, 5, 9, 16
modulo
In computing and mathematics, the modulo operation returns the remainder or signed remainder of a division, after one number is divided by another, the latter being called the '' modulus'' of the operation.
Given two positive numbers and , mo ...
20. The values repeat with each increase of by 10. In this example, N is 17 mod 20, so subtracting 17 mod 20 (or adding 3),
produces 3, 4, 7, 8, 12, and 19 modulo 20 for these values. It is apparent that only the 4 from this list can be a square. Thus,
must be 1 mod 20, which means that is 1, 9, 11 or 19 mod 20; it will produce a
which ends in 4 mod 20 and, if square, will end in 2 or 8 mod 10.
This can be performed with any modulus. Using the same
,
One generally chooses a power of a different prime for each modulus.
Given a sequence of ''a''-values (start, end, and step) and a modulus, one can proceed thus:
, astart, aend, astep, modulus)
a ← astart
do modulus times:
b2 ← a*a - N
if b2 is a square, modulo modulus:
, a, aend, astep * modulus, NextModulus)
endif
a ← a + astep
enddo
But the
recursion
Recursion occurs when the definition of a concept or process depends on a simpler or previous version of itself. Recursion is used in a variety of disciplines ranging from linguistics to logic. The most common application of recursion is in m ...
is stopped when few ''a''-values remain; that is, when ()/ is small. Also, because ''as step-size is constant, one can compute successive b2's with additions.
Optimal
Premise
An optimal
can be computed using derivative methods.
The cost of executing Fermat’s method from
up to
is roughly proportional to a constant we will call
. Using sieving we can reduce it by some constant we call
. In the combined method the trial division bound becomes
. Writing
, one gets:
Substitute the new formula, we get
The goal is to choose a
such that
is minimized.
Finding the Optimum
Differentiate with respect to
. Due to the linearity of derivatives
Because
doesn't depend on
we can drop that derivative term
for the
term, use the multiple rule
:
For the last term, we use the chain rule
and the power rule
Substitute the known derivate formulas
To find the minimum, notice at the minimum the derivative vanishes, so st the derivative to 0
Square both sides to remove the root then cross multiply
Expand LHS
Bring the right side to the left, Factor the common factor, Then, bring the second term to the right-hand side
Simplify the bracket
So, the equation is now
To apply the quadratic formula to solve
we have to rewrite the equation to a quadratic. Write the right side as:
Since
, you could divide through by it to get
This is the quadratic equation we been looking for, we can now apply the quardratic formula:
Since
we take the positive solution. Since
one gets:
Cost
Substitute our optimal
into
Simplifying the monster of an equation, we get
.
Facts
* If
that means no sieving,
and the cost becomes
, which is still better than pure trial division or pure Fermat
* The
which is the trial division bound becomes
when subsututing the optimal.
Example
Using the same
, if there's no sieving then you should choose
around 55924.69838392813, the reasonable choice
is not that far off from the optimal with a bound of 28937, but the optimal choice gets a bound of 27962. If we are sieving modulo 20, then
and you should choose around
and this should intuitively make sense. If the Fermat part costs less, the spend more time in the Fermat part to lower
Multiplier improvement
Fermat's method works best when there is a factor near the square-root of ''N''.
If the approximate ratio of two factors (
) is known, then a
rational number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (for example,
The set of all ...
can be picked near that value.
, and Fermat's method, applied to ''Nuv'', will find the factors
and
quickly. Then
and
. (Unless ''c'' divides ''u'' or ''d'' divides ''v''.)
Generally, if the ratio is not known, various
values can be tried, and try to factor each resulting ''Nuv''. R. Lehman devised a systematic way to do this, so that Fermat's plus trial division can factor N in
time.
Other improvements
The fundamental ideas of Fermat's factorization method are the basis of the
quadratic sieve and
general number field sieve, the best-known algorithms for factoring large
semiprimes, which are the "worst-case". The primary improvement that quadratic sieve makes over Fermat's factorization method is that instead of simply finding a square in the sequence of
, it finds a subset of elements of this sequence whose ''product'' is a square, and it does this in a highly efficient manner. The end result is the same: a difference of squares mod ''n'' that, if nontrivial, can be used to factor ''n''.
See also
*
Completing the square
In elementary algebra, completing the square is a technique for converting a quadratic polynomial of the form to the form for some values of and . In terms of a new quantity , this expression is a quadratic polynomial with no linear term. By s ...
*
Factorization of polynomials
In mathematics and computer algebra, factorization of polynomials or polynomial factorization expresses a polynomial with coefficients in a given field or in the integers as the product of irreducible factors with coefficients in the same doma ...
*
Factor theorem
In algebra, the factor theorem connects polynomial factors with polynomial roots. Specifically, if f(x) is a polynomial, then x - a is a factor of f(x) if and only if f (a) = 0 (that is, a is a root of the polynomial). The theorem is a special cas ...
*
FOIL rule
*
Monoid factorisation
*
Pascal's triangle
In mathematics, Pascal's triangle is an infinite triangular array of the binomial coefficients which play a crucial role in probability theory, combinatorics, and algebra. In much of the Western world, it is named after the French mathematician Bla ...
*
Prime factor
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
*
Factorization
In mathematics, factorization (or factorisation, see American and British English spelling differences#-ise, -ize (-isation, -ization), English spelling differences) or factoring consists of writing a number or another mathematical object as a p ...
*
Euler's factorization method
*
Integer factorization
In mathematics, integer factorization is the decomposition of a positive integer into a product of integers. Every positive integer greater than 1 is either the product of two or more integer factors greater than 1, in which case it is a comp ...
*
Program synthesis
In computer science, program synthesis is the task to construct a computer program, program that provably correct, provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rat ...
*
Table of Gaussian integer factorizations
*
Unique factorization
Notes
References
*
*
External links
Fermat's factorization running time at blogspot.in
Fermat's Factorization Online Calculator at windowspros.ru
{{number theoretic algorithms
Integer factorization algorithms