Fungrim home page

Fungrim entry: 6db705

p∣Fp−(p5)p \mid F_{p - \left( \frac{p}{5} \right)}
Assumptions:p∈Pp \in \mathbb{P}
TeX:
p \mid F_{p - \left( \frac{p}{5} \right)}

p \in \mathbb{P}
Definitions:
Fungrim symbol Notation Short description
FibonacciFnF_{n} Fibonacci number
PPP\mathbb{P} Prime numbers
Source code for this entry:
Entry(ID("6db705"),
    Formula(Divides(p, Fibonacci(Sub(p, KroneckerSymbol(p, 5))))),
    Variables(p),
    Assumptions(Element(p, PP)))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC