Matching works

1 work

math.NT — Number Theory

Three cubic trinomial series for 1/π1/\pi

Contributed by Khai-Hoan Nguyen-Dang

We prove the three identities in Sun's Conjecture VI, involving cubes of generalized central trinomial coefficients. A common double integral represents their generating functions. On two rational curves, this period reduces to quadratic expressions in Gauss hypergeometric functions associated with elliptic integrals. A first-order identity recovers the derivative transverse to each curve and supplies the linear weights in the three series. The constants are determined by an endpoint calculation and Bauer's identity. Classical modular equations of degrees three, five, and seven then complete the evaluations. We give explicit rational differential certificates for the period reductions and the transverse derivative identities.

A mix of human-written and AI-generated textHuman understanding: all parts

Advanced search

Text
Human understanding
Linked formalizations