三角数の定義，三角数定理とその証明の一部，三角数かつ平方数であるものの明示的な公式をペル方程式を用いて導出。