Gaussの定理（三角数）

定理1より、3つの非負整数$\normalsize{a}$,$\normalsize{b}$,$\normalsize{c}$を用いて
$\normalsize{8N+3}$$=$$\normalsize{(2a+1)^{2}+(2b+1)^{2}+(2c+1)^{2}}$
と表される。これを変形して
$\normalsize{N}$$=$$\normalsize{a(a+1)/2+b(b+1)/2+c(c+1)/2}$
を得る。