Closed Form for Triangular Numbers/Historical Note

Historical Note on Closed Form for Triangular Numbers
Some sources report that the closed-form expression for the $n$th triangular number was proved by during the course of his proofs of the volumes of various solids of revolution in his.

Others suggest that it was known as far back as, circa $550$ B.C.E.