Wolfram Researchfunctions.wolfram.comOther Wolfram Sites
Search Site
Function CategoriesGraphics GalleryNotationsGeneral IdentitiesAbout This Site Email Comments

View Related Information In
The Documentation Center
MathWorld

Download All Formulas For This Function
Mathematica Notebook
PDF File

Download All Introductions For This Function
Mathematica Notebook
PDF File

 

Developed with Mathematica -- Download a Free Trial Version
 











ExtendedGCD






Mathematica Notation

Traditional Notation









Integer Functions > ExtendedGCD[n1,n2,...,nm] > Introduction to the GCD and LCM (greatest common divisor and least common multiple)





The best-known properties and formulas of the GCD and LCM


The functions GCD and LCM , , and have the following values for specialized values:

The first values of the greatest common divisor (gcd(m, n)) of the integers and for and are described in the following table:

The first values of the extended greatest common divisor () of the integers and for and are described in the following table:

The first values of the least common multiple () of the integers and for and are described in the following table:

The functions and are nonanalytical functions defined over with values in . The function is a vector‐valued nonanalytical function defined over .

All three functions , , and do not have periodicity.

The functions and are even functions:

The functions and have permutation symmetry:

The function has the following sum representations:

where is the floor function and is the Kronecker delta function.

The functions and have the following product representations:

The function can be represented as the coefficients of the series expansion of corresponding generating functions, which includes a sum of the Euler totient function:

The GCD and LCM functions , , and satisfy special relations including multiple arguments, for example:

The GCD and LCM functions satisfy some parallel identities that can be presented in the forms shown in the following table:

There are many finite and infinite sums containing GCD and LCM functions, for example:

The following two related limits include the function . The third limit includes lcm():

The functions and satisfy various inequalities, for example: