CTK Insights

Tweet

I am not sure who coined the term "The Star of David Theorem" to designate the identities discovered in the early 1970s. There are in fact two of them, both related to the "Star of David" configuration in Pascal triangle

(The diagram is courtesy wikipedia.org.)

The first result discovered by Hoggatt and Hansell in 1971 comes in a round-about way as a corollary of the following

Theorem 1

For , the product of the six binomial coefficients surrounding is a perfect integer square.

The proof is a little bit strange in my view so that I reproduce it below:

Proof

The six binomial coefficients are:

The product is

which is equal to

Since each binomial coefficient is an integer, the product is an integer, and since the square of a rational number is an integer if and only if the rational number is an integer, it follows that the product is an integer square.

Corollary

Each alternate triad of the six binomial coefficients have equal products.

Or, formally,

which can be verified directly, since each of the two products equals

The round-about derivation may be a curiosity, but I believe that its form led H. W. Gould to a 1972 conjecture which has been proved by Hoggatt and Hillman later that year.

Theorem

Both theorems are now known under the moniker of The Star of David Theorem. They were mentioned in the blogosphere here and here.

References

1. H. W. Gould, A New Greatest Common Divisor Property of The Binomial Coefficients, Fibonacci Quarterly 10 (1972), 579–584. (Part 1, Part 2)
2. V. E. Hoggatt, Jr., W. Hansell, "The Hidden Hexagon Squares", Fibonacci Quarterly, Vol. 9, No. 2 (1971), pp. 120, 133. (Part 1)
3. V. E. Hoggatt, Jr., A. P. Hillman, "Proof of Gould's Conjecture on Greatest Common Divisors", Fibonacci Ouarterly. Vol. 10, No. 6 (1972), pp. 565-568. (Part 1, Part 2)