菫青さんの答案と似てますが、多少テクニックを交えた解法を紹介します。
— SSS Education｜東大理３の教育集団 (@sss_education_) 2023年12月19日
この (a,b,c) → (x,y,z) 変換は Ravi 変換といい、三角形の成立条件を x,y,z > 0 と簡略化できます。
このときヘロンの公式も S = √(x+y+z)xyz と簡単です。
画像①を k = とすれば以降は菫青さんと同じ解法になります。 https://t.co/QHCh8ieJyl pic.twitter.com/ZEdiZtT7Hf
（，
，
つまり
，
，
とするとき）
(a,b,c) → (x,y,z) 変換は Ravi 変換といい、三角形の成立条件を x,y,z > 0 と簡略化できます。
このときヘロンの公式も S = √(x+y+z)xyz と簡単です。
