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

最新コメント
リンク

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