This site is supported by donations to The OEIS Foundation.

User:Richard Penner

From OeisWiki
Jump to: navigation, search

Unpaid sole moderator of http://physforum.com/ and sometime correspondent for the 2010 appeal of the anti-LHC lawsuit in US Federal Court. Very minor contributor to this site and a very weak amateur mathematician. Favorite sequences: A010553, A036450, A036452, A036453, and A178790.

Elementary Proof(s)

  • Trace[Inverse[n * HilbertMatrix[n]]]
  • = (1/n) * Trace[Inverse[HilbertMatrix[n]]] /* this is A189766(n)/n */
  • /* From explicit formula for inverse in Weisstein, Eric W., Hilbert Matrix, from MathWorld—A Wolfram Web Resource. */
  • /* substitution of k+1 for k */
  • /* expansion in terms of factorial */
  • /* Thus A189766(n)/n is an integer sequence */
  • /* Proof of Theorem 1.1 from Sun, Zhi-Wei. “On Apery numbers and generalized central trinomial coefficients”. arΧiv:1006.2776.  */
  • = a(n) /* A178790 */

Thus the sum of (2k+1) A005259(k) from 0 to n-1 = A189766(n).