ABC435のA問題の振り返り

AtCoder ABC435のA問題の振り返りです。

A - Triangular Number

この問題はいろんな書籍でも見るものだったのでOKでした。

function Main(input) {
  input = input.split("\n");
  N = parseInt(input[0]);
  console.log(((N + 1) * N) / 2);
}

Main(require("fs").readFileSync("/dev/stdin", "utf8"));

この足し算の公式の名前はあるのかな？と思い、AIに聞いてみました。 すると、この公式には一般に広く使われている固有名はありませんが「三角数（triangular number）の公式」と呼ばれることが多いです、と答えが返ってきました。 三角数をWikipediaで調べてみると「なるほど」という感じだったのですが、文章から届いてくる熱量は今の私では受け止められない感じでした。がんばって理解できるようにしようと思います。