多角数定理
とは「すべての自然数は高々 個の 角数の和である」という数論の定理である。
特に の場合を（ガウスの）三角数定理、 の場合を（ラグランジュの）四平方定理という。
多角数定理は1638年にフェルマーによって定式化された。三角数定理は1796年にガウスによって、四平方定理は1772年にラグランジュによってそれぞれ証明された。一般の多角数定理の証明は1813年にコーシーによって与えられている。