Star of David theorem

The greatest common divisors of the binomial coefficients forming each of the two triangles in the Star of David shape in Pascal's triangle are equal:

:$$

\begin{align}

& \gcd\left\{ \binom{n-1}{k-1}, \binom{n}{k+1}, \binom{n+1}{k}\right\} \\[8pt]

= {} & \gcd\left\{ \binom{n-1}{k}, \binom{n}{k-1}, \binom{n+1}{k+1}\right\}.

\end{align}

Rows 8, 9, and 10 of Pascal's triangle are

For n=9, k=3 or n=9, k=6, the element 84 (circled bold) is surrounded by, in sequence, the elements 28, 56, 126, 210, 120 and 36 (bold). Taking alternating values, we have gcd(28, 126, 120) = 2 = gcd(56, 210, 36).

The element 36 (circled italics) is surrounded by the sequence 8, 28, 84, 120, 45 and 9 (italics), and taking alternating values we have gcd(8, 84, 45) = 1 = gcd(28, 120, 9).

The above greatest common divisor also equals $\backslash gcd\; \backslash left(\{n-1\; \backslash choose\; k-2\},\; \{n-1\; \backslash choose\; k-1\},\; \{n-1\; \backslash choose\; k\},\; \{n-1\; \backslash choose\; k+1\}\backslash right).${{Cite web |last=Weisstein |first=Eric W. |title=Star of David Theorem |url=https://mathworld.wolfram.com/StarofDavidTheorem.html |access-date=2024-12-31 |website=mathworld.wolfram.com |language=en}} Thus in the above example for the element 84 (in its rightmost appearance), we also have gcd(70, 56, 28, 8) = 2. This result in turn has further generalizations.

The two sets of three numbers which the Star of David theorem says have equal greatest common divisors also have equal products. For example, again observing that the element 84 is surrounded by, in sequence, the elements 28, 56, 126, 210, 120, 36, and again taking alternating values, we have 28×126×120 = 2⁶×3³×5×7² = 56×210×36. This result can be confirmed by writing out each binomial coefficient in factorial form, using

:$\{a\; \backslash choose\; b\}=\backslash frac\{a!\}\{(a-b)!b!\}.$

• List of factorial and binomial topics

{{reflist}}

• H. W. Gould, "A New Greatest Common Divisor Property of The Binomial Coefficients", Fibonacci Quarterly 10 (1972), 579–584.
• [http://mathforum.org/wagon/fall07/p1088.html Star of David theorem], from MathForum.
• [https://threesixty360.wordpress.com/2008/12/21/star-of-david-theorem/ Star of David theorem], blog post.

• [http://demonstrations.wolfram.com/StarOfDavidTheorem/ Demonstration of the Star of David theorem], in Mathematica.

Category:1972 introductions

Category:Theorems in discrete mathematics

Category:Combinatorics

Category:Factorial and binomial topics

Category:Star of David