Python に連立方程式を解かせる

定点を通る球の接平面 - オベリスク備忘録
上では手計算で解いたのですが、Python で機械的に解けるようなので。Sympy というライブラリを使っています。

おお、すごい。これ、ライブラリはどうやっているのかな。


※参考
Pythonを使って一瞬で連立方程式を解く - Qiita
3.2. Sympy : Python での代数計算 — Scipy lecture notes