三角数と平方数に関して, 4 T_n T_{n−1} = n^2 (n^2 − 1) が成り立つ. #math