https://9lib.co/document/q05x4dmx-行列式計算與幾何定理自動發現.html