benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let f₀=f₁=1 and f_(i+2)=f_(i+1)+f_(i) for all n≥0. Find all real solutions to the equation x²⁰¹⁰=f₂₀₀₉⋅x+f₂₀₀₈ · Discussion

Discussing Let f₀=f₁=1 and f_(i+2)=f_(i+1)+f_(i) for all n≥0. Find all real solutions to the equation x²⁰¹⁰=f₂₀₀₉⋅x+f₂₀₀₈ · Omni-MATH

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.