デカルトの円定理

今回は、算法の定理【六斜術】を使って、以前出てきたデカルトの円定理を導くというものです。
デカルトの円定理とは次のようなものです。

これを六斜術で解きます。

しかし、この計算はとても面倒です。暑い夏の最中にやるものではない！？
そこで、Chat-GPT5に任せましたところ、スイスイと式変形をして解答を導きます。

ということで、おしまいですが、なかなかのものです。