About: 多角数定理

多角数定理（たかくすうていり、polygonal number theorem）とは、「すべての自然数は高々 m 個の m 角数の和である」という数論の定理である。m = 3 の場合を三角数定理、m = 4 の場合を四角数定理というが、五角数定理といえば全く別のオイラーの五角数定理を指す。多角数定理は1638年にフェルマーによって定式化されたが、 三角数については1796年にガウスによって、 四角数については1772年にラグランジュによって、一般には1813年にコーシーによって証明された。