リンク機構で任意の代数曲線が描けることを確認しましたが、[br]代数曲線に含まれない曲線を描く方法はあるのでしょうか。[br][br]それについて考えるために、[br]リンク機構の挙動を代数で表します。[br][br]n 個の自由点の座標を (x[sub]1[/sub], y[sub]1[/sub]), (x[sub]2[/sub], y[sub]2[/sub]), ... ,(x[sub]n[/sub], y[sub]n[/sub]) とし、[br]m 本のリンクの長さを r[sub]1[/sub], r[sub]2[/sub], ... ,r[sub]m[/sub] とします。[br]例えば、リンク r[sub]1[/sub] が点 (x[sub]1[/sub], y[sub]1[/sub]) と点 (x[sub]2[/sub], y[sub]2[/sub]) をつないでいた場合、そのことを[br](x[sub]1[/sub] - x[sub]2[/sub])[sup]2[/sup] + (y[sub]1[/sub] - y[sub]2[/sub])[sup]2[/sup] = r[sub]1[br][/sub][br]と書き表すことができます。[br]このようにして全てのリンクについて方程式を立てることで、[br]変数 2n 個、m 本の連立方程式となります[sup]*1[/sup]。[br][br]複雑なリンケージの方程式を代数的に解けるかは明らかではありませんが、[br]この方程式の形式を見ると、解は r[sub]1[/sub], ... ,r[sub]m[/sub] 及び媒介変数、有理数とその四則演算・冪根による式で表せる、という予想が立ちます。[br]それが正しければ、三角関数や指数関数などの特殊関数[sup]*2[/sup]は、[br]リンケージでは表せないということになります。[br][br]しかし、これらの関数は、マクローリン展開等の方法によって、[br]代数で近似することが可能です。[br][br][br][b]2019/02/07 訂正及び追記[/b][br]*1[br]この方程式系（連立方程式のこと）は 2n 変数かついずれの式も多項式なので、2n 次元アフィン空間上のアフィン代数多様体（あるいはその和）V を定めます。つまり、V は対象のリンク機構の配置空間（自由点の取り得る座標の組全ての集合）です。[br][br]その中で目的の点 (x[sub]n[/sub], y[sub]n[/sub]) の軌跡だけを考えることは、V を変数 x[sub]n[/sub], y[sub]n[/sub] に対応する2次元のアフィン空間に射影することに対応し、それは方程式系からこれら以外の変数を消去することに関係しています。[br]変数消去した結果もまた代数多様体であり、射影はその代数多様体に含まれることが、代数幾何学の消去理論により分かるのです。[br][br]元のリンク機構の自由度が1なら V の次元及びその射影の次元も1のはずなので、これでこのリンク機構の点 (x[sub]n[/sub], y[sub]n[/sub]) の軌跡が代数曲線に含まれることが分かります。[br][br]*2[br]正確には、平面上の (x, cos(x)) や (x, exp(x)) などのグラフです。