Maximaで3点を通る放物線

高校数学で3点を通る放物線を求める問題を以下のYoutube動画のように習いました。



高校数学の範囲では、答えを数値的に求めましたが、では独立な3点(x1, y1), (x2, y2), (x3, y3)を通る放物線を解析的に解くにはどうしたらよいでしょうか?Maximaをつかえば、以下のように入力するだけで y = a x2 + b x + c の係数(a, b, c)を求めることができます。

solve([y[1]=a*x[1]^2+b*x[1]+c,
y[2]=a*x[2]^2+b*x[2]+c,
y[3]=a*x[3]^2+b*x[3]+c],
[a,b,c]);



放物線の式(二次方程式)


放物線の式は、以下のような形で表すことができます。
一般型: y=a x2 + b x + c
頂点型: y=a (x - p)2 + q

独立な3点(x1, y1), (x2, y2), (x3, y3)を通る放物線を求めたいとします。

(x1, y1), (x2, y2), (x3, y3)が全て数値的に与えられていれば、冒頭のyoutube動画のように手計算で式を求めることができますし、Scilabで連立一次方程式のように数値計算ソフトでも係数を決定することができます。

しかしながら、一般型(a, b, c)にせよ頂点型(a, p, q)にせよ、3点が文字のままでも解析的に形を求めることができるはずです。
こういう時にはMaximaが便利です。

一般型


放物線 y=a x2 + b x + c が独立な3点(x1, y1), (x2, y2), (x3, y3)を通るとき、係数a, b, cを求めるという問題は以下の連立方程式をa, b, cについて解くことと同じです。

\begin{equation}
y_1 = x_1^2 a + x_1 b + c \\
y_2 = x_2^2 a + x_2 b + c \\
y_3 = x_3^2 a + x_2 b + c
\end{equation}

行列で書くと以下のようになります。

\begin{equation}
\begin{pmatrix}
x_1^2 & x_1 & 1 \\
x_2^2 & x_2 & 1 \\
x_3^2 & x_3 & 1
\end{pmatrix}
\begin{pmatrix}
a \\
b \\
c
\end{pmatrix}
=
\begin{pmatrix}
y_1 \\
y_2 \\
y_3
\end{pmatrix}
\end{equation}

これはMaximaに以下のように入力することで解くことができます。
solve([y[1]=a*x[1]^2+b*x[1]+c,
y[2]=a*x[2]^2+b*x[2]+c,
y[3]=a*x[3]^2+b*x[3]+c],
[a,b,c]);


\begin{equation}
a=\frac{{x}_{1}\,\left( {y}_{3}-{y}_{2}\right) -{x}_{2}\,{y}_{3}+{y}_{2}\,{x}_{3}+{y}_{1}\,\left( {x}_{2}-{x}_{3}\right) }{{x}_{1}\,\left( {x}_{3}^{2}-{x}_{2}^{2}\right) -{x}_{2}\,{x}_{3}^{2}+{x}_{2}^{2}\,{x}_{3}+{x}_{1}^{2}\,\left( {x}_{2}-{x}_{3}\right) }
\end{equation}
\begin{equation}
b=-\frac{{x}_{1}^{2}\,\left( {y}_{3}-{y}_{2}\right) -{x}_{2}^{2}\,{y}_{3}+{y}_{2}\,{x}_{3}^{2}+{y}_{1}\,\left( {x}_{2}^{2}-{x}_{3}^{2}\right) }{{x}_{1}\,\left( {x}_{3}^{2}-{x}_{2}^{2}\right) -{x}_{2}\,{x}_{3}^{2}+{x}_{2}^{2}\,{x}_{3}+{x}_{1}^{2}\,\left( {x}_{2}-{x}_{3}\right) }
\end{equation}
\begin{equation}
c=\frac{{x}_{1}\,\left( {y}_{2}\,{x}_{3}^{2}-{x}_{2}^{2}\,{y}_{3}\right) +{x}_{1}^{2}\,\left( {x}_{2}\,{y}_{3}-{y}_{2}\,{x}_{3}\right) +{y}_{1}\,\left( {x}_{2}^{2}\,{x}_{3}-{x}_{2}\,{x}_{3}^{2}\right) }{{x}_{1}\,\left( {x}_{3}^{2}-{x}_{2}^{2}\right) -{x}_{2}\,{x}_{3}^{2}+{x}_{2}^{2}\,{x}_{3}+{x}_{1}^{2}\,\left( {x}_{2}-{x}_{3}\right) }
\end{equation}

頂点型


頂点型の場合も同様です。

\begin{equation}
y_1 = a (x_1 - p)^2 + q \\
y_2 = a (x_2 - p)^2 + q \\
y_3 = a (x_3 - p)^2 + q
\end{equation}

Maximaに以下のように入力します。
solve([y[1]=a*(x[1]-p)^2+q, 
y[2]=a*(x[2]-p)^2+q,
y[3]=a*(x[3]-p)^2+q],
[a,p,q]);


答えは以下のようになりました。
\[a=\frac{\left( {x}_{2}-{x}_{1}\right) \,{y}_{3}+\left( {y}_{1}-{y}_{2}\right) \,{x}_{3}+{x}_{1}\,{y}_{2}-{y}_{1}\,{x}_{2}}{\left( {x}_{2}-{x}_{1}\right) \,{x}_{3}^{2}+\left( {x}_{1}^{2}-{x}_{2}^{2}\right) \,{x}_{3}+{x}_{1}\,{x}_{2}^{2}-{x}_{1}^{2}\,{x}_{2}}\]

\[p=\frac{\left( {x}_{2}^{2}-{x}_{1}^{2}\right) \,{y}_{3}+\left( {y}_{1}-{y}_{2}\right) \,{x}_{3}^{2}+{x}_{1}^{2}\,{y}_{2}-{y}_{1}\,{x}_{2}^{2}}{\left( 2\,{x}_{2}-2\,{x}_{1}\right) \,{y}_{3}+\left( 2\,{y}_{1}-2\,{y}_{2}\right) \,{x}_{3}+2\,{x}_{1}\,{y}_{2}-2\,{y}_{1}\,{x}_{2}}\]

qは長くなりすぎるので割愛...

関連エントリ




参考文献/使用機器




フィードバック



にほんブログ村 その他趣味ブログ 電子工作へ

 ↑ 電子工作ブログランキング参加中です。1クリックお願いします。


コメント・トラックバックも歓迎です。 ↓      


 ↓ この記事が面白かった方は「拍手」をお願いします。


tag: Maxima  

comment

Secret

FC2カウンター
カテゴリ
ユーザータグ

LTspiceAkaiKKRmachikaneyamaScilabKKRPSoC強磁性CPAPICOPアンプecalj常微分方程式モンテカルロ解析状態密度トランジスタodeDOSインターフェース定電流スイッチング回路PDS5022半導体シェルスクリプト分散関係レベルシフト乱数HP6632AR6452A可変抵抗トランジスタ技術温度解析ブレッドボードI2C反強磁性確率論数値積分セミナーバンドギャップバンド構造偏微分方程式非線形方程式ソルバ熱設計絶縁ISO-I2Cカオス三端子レギュレータLM358GW近似マフィンティン半径A/DコンバータフォトカプラシュミットトリガLEDPC817C発振回路数値微分直流動作点解析サーボカレントミラーTL431アナログスイッチUSB74HC4053bzqltyVESTA補間電子負荷アセンブライジング模型BSch量子力学単振り子2ちゃんねるチョッパアンプLDA開発環境基本並進ベクトルFFT標準ロジックブラべ格子パラメトリック解析抵抗SMPMaxima失敗談ラプラス方程式繰り返し位相図スイッチト・キャパシタ熱伝導状態方程式キュリー温度gfortranコバルトTLP621不規則合金Quantum_ESPRESSO六方最密充填構造ランダムウォーク相対論ewidthスピン軌道相互作用FETQSGWVCAcygwinスレーターポーリング曲線GGA仮想結晶近似PWscfシュレディンガー方程式LM555ハーフメタル固有値問題NE555最小値ガイガー管QNAPUPS自動計測ダイヤモンドマントルTLP552格子比熱最適化MCU井戸型ポテンシャル最大値xcrysdenCIF条件分岐詰め回路フェルミ面差し込みグラフスーパーセルfsolveブラウン運動awk過渡解析起電力三角波第一原理計算FXA-7020ZRWriter509Ubuntuテスタ熱力学データロガーTLP521OpenMPubuntu平均場近似MAS830LトランスCK1026PIC16F785PGA2SC1815EAGLEノコギリ波負帰還安定性ナイキスト線図MBEOPA2277P-10フィルタCapSenseAACircuitLMC662文字列固定スピンモーメントFSMTeX結晶磁気異方性全エネルギーc/a合金multiplotgnuplot非線型方程式ソルバL10構造正規分布等高線ジバニャン方程式初期値interp1fcc面心立方構造ウィグナーザイツ胞半金属デバイ模型電荷密度重積分SIC二相共存磁気モーメント不純物問題PWgui擬ポテンシャルゼーベック係数ZnOウルツ鉱構造edeltquantumESPRESSOフォノンリジッドバンド模型スワップ領域BaO岩塩構造ルチル構造ヒストグラム確率論マテリアルデザインフラクタルマンデルブロ集合キーボードRealforceクーロン散乱三次元疎行列縮退化学反応関数フィッティング最小二乗法Excel直流解析PCTS-110TS-112日本語パラメータ・モデル等価回路モデルcif2cell入出力陰解法熱拡散方程式HiLAPW両対数グラフCrank-Nicolson法連立一次方程式specx.fifort境界条件片対数グラフグラフの分割円周率ヒストグラム不規則局所モーメントGimpシンボル軸ラベル凡例線種トラックボール

最新コメント
リンク

にほんブログ村 その他趣味ブログ 電子工作へ