三角形の数（4）

合同な三角形の数も数えておこう。

T = S₁ + S₂ + S₃ = (S + S₃) / 2

nが3で割り切れるとき、
T = (n²-3n+6)/2 + [(n-1)/2]/2
nが偶数のとき、
T = (n²-3n+6)/2 + (n-1)/4 = (n²+3)/12
nが奇数のとき、
T = (n²-3n+6)/2 + (n-2)/4 = n²/12

nが3で割り切れないとき、
T = (n²-3n+2)/2 + [(n-1)/2]/2
nが偶数のとき、
T = (n²-3n+2)/2 + (n-1)/4 = (n²-1)/12
nが奇数のとき、
T = (n²-3n+2)/2 + (n-2)/4 = (n²-4)/12

あまり意味はないが、まとめると、