A Rigorous Proof of a Ramanujan Machine Identity for $-π/4$ via Exact Recurrence Solving
We prove a polynomial continued fraction identity for the constant $-π/4$, conjectured by the Ramanujan Machine project. The proof proceeds by explicitly solving the underlying second-order linear difference equation. We derive a closed-form expression for the denominator sequence, $q_n = (-1)^n (2n-3)!!\,(n^2+n-1)$, and establish absolute convergence via a Wronskian telescoping argument. The limiting value is reduced by Abel summation to a Beta-function integral, which is evaluated in closed form through an elementary substitution and a single integration by parts, yielding the exact value…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.08461
curl -X POST /api/v1/records/arxiv/2601.08461/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.08461/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'