Closed Form for Triangular Numbers/Historical Note

Some sources report that the closed-form expression for the $n$th triangular number was proved by Archimedes during the course of his proofs of the volumes of various solids of revolution in his On Conoids and Spheroids.
Others suggest that it was known as far back as Pythagoras of Samos, circa $550$ B.C.E.