Criterio di triangolarità

$$m = \frac{\sqrt{8n + 1}-1}{2}$$ Se, dato $n$ intero, anche $m$ è intero, allora $n$ è un numero triangolare.

---

P.S.: avevo voglia di scrivere qualcosa sulla somma. Poi alla fine ho pensato ai numeri triangolari ed ecco qui.