菫青さんの答案と似てますが、多少テクニックを交えた解法を紹介します。この (a,b,c) → (x,y,z) 変換は Ravi 変換といい、三角形の成立条件を x,y,z > 0 と簡略化できます。このときヘロンの公式も S = √(x+y+z)xyz と簡単です。画像①を k = とすれば以降は…