Welche Folge ist (an)n∈ℕ?

Question

φ:=\( \frac{√5+1}{2} \)

⌈x⌉:=  x auf nächstkleinere natürliche Zahl abgerundet.

a_n:=\( \sum\limits_{k=1}^{n}{⌈φ^2·k}⌉ \) - \( \sum\limits_{k=1}^{n}{⌈φ·k⌉} \).

Welche Folge ist (a_n)_n∈ℕ?

Comments

⌈x⌉:=  x auf nächstkleinere natürliche Zahl abgerundet.

Lenks stehen die Aufrundungsklammern, rechts ist von Abrunden die Rede. Was ist gemeint?

---

Tut mir leid. Da habe ich wohl die falschen Symbole verwendet. Es ist in jedem Falle Abrunden gemeint.

Answer 1

Das sind die Dreieckszahlen, denn

\( \varphi^2=\varphi+1 \) und damit

\(a_n=\sum_{k=1}^n k \).