bibkey: schulte2024a378277 authors: Werner Schulte year: 2024 title: OEIS A378277, denominators in a harmonic triangle based on products of Fibonacci numbers doi: null url: https://oeis.org/A378277 claim: “Conjecture: Alt. row sums of the harmonic triangle are Fibonacci(n-2) / Fibonacci(n+1), where Fibonacci(-1) = 1.” strata_touched:

• D5/S1/Recurrence/Parity/HarmonicTriangleAlternatingRowSums license: citation-only triage: anchor

OEIS A378277

Werner Schulte’s entry, dated November 21, 2024, defines the denominators as F(n)F(n+1) on the diagonal and F(k)F(k+2) for 1 <= k < n. The harmonic triangle has numerator one at every position. The Lean module proves the conjectured alternating row sum over the rationals for every n >= 2 and treats the first row separately using the stated convention.

Verified locator

• URL: https://oeis.org/A378277
• The entry text and revision-history search were supplied by the orchestrator on September 8, 2026; this implementation seat performed no network lookup.