回転を使ってみて、曲線の式を見てよう

x2、y2、xy、x、y、定数であらわされる x、y 2次多項式=0というグラフ ax2+2bxy+cy2+2dx+2ey+f=0
(係数2をつけているのは、そのほうが変形上、都合がいいから) ただし、2次曲線だから、x2、y2、xyの係数 a、b、c すくなくとも、いずれか1つは0でない。
おそらく、適当な平行移動と回転の1次変換で、2次曲線の標準形にできるだろう。

以下の標準形になるだろう、標準形にはxy項が無いので、xy項の無い式にしてみないとわからない
式を満たすx,yの実数値が存在しない式は除いて、楕円、双曲線、直線、1点、放物線のいずれかに分類できる。

円錐曲線:
x,yという2次の式であらわされる2次曲線は、互いに頂点で倒立した2つの円錐に対し、ある切断面をとるとできる曲線である

ただ以下のようなケースは円錐曲線としては、どうしたらいいかわからない


たまたま、うまく変形できると、どんなものかわかるやつもある。

因数分解できれば2直線である。

(x−2y+1)(4x+y−7)=0       x−2y+1=0 または 4x+y−7=0


2乗和なら2直線の交点である1点である。

(x−2y+1)+(4x+y−7)=0   x−2y+1=0  かつ  4x+y−7=0

因数分解したら因数が同じ、すなわち2つの直線でなくて1つに一致してしまう。
(x−2y+1)=0   
これは、円錐曲線という点で考えると、2直線だと、倒立した円錐同士の接点である円錐の頂点を通るような切り口なわけだが、
平面を傾けていって母線そのものになったら、1つの直線である。さらに傾けると1点になる。

9(4x+3y)+4(−3x+4y)=36
  たまたま、cosθ=4/5、sinθ=−3/5 の回転がなされた座標に置換された楕円の式である。

こういう、たまたま因数分解や完全平方の変形などで、できるケースでなければ、適当な平行移動と回転をして以下のどの標準形になるかをやって曲線がどうなのかってのをやるんだね。
上のような標準形のx、yの替わりに一次式が置換された形に、力ずくでもっていければいいけども。


(X、Y)がXY=aという反比例グラフ上の点としよう(X,Y)という点は、ある(x、y)を 45度回転した点と仮定すると
cosθ
sinθθ=45度のときは、√2/2=2-1/2だから 回転の一次変換の式から
X=2
-1/2(x−y)   Y=2-1/2(x+y)
XY=a を満たすという条件だから上の式を代入して、x,yで整理すると 
2−y2=2a

このようなx座標とy座標の関係は、直角双曲線を表す標準形の式そのものなんだな。

楕円の特別なものが円であるように xとyの二乗の係数が一致するとき双曲線の場合は、直角双曲線なんだな。

aが負のときは両辺に−1をかけて左辺 y2−x2 とすれば、右辺が正になるので、y軸に交わる方の双曲線の式の形である。
これは、反比例でaが正か負でグラフの出てくる象限がどこなのかに対応している。
反比例のグラフは直角双曲線の標準形を45度回転したものであり、曲線の種類としては直角双曲線であったことが明白になる。
次に(X、Y)がX2+Y2=a2という円グラフ上の点としよう これは、原点で回転しても 円上にあるので、円のグラフはそのままでかわらないと予想される。
(A)、(B)の式から
2+Y2(cosθ・x−sinθ・y)2+(sinθ・x+cosθ・y2=(cosθ2+sinθ2)x2+(cosθ2+sinθ2)y2=x2+y2
楕円であればxyの項が消えないので、こうはならない。

また、別のグラフでも双曲線らしきものに高校数学で遭遇しているはずである。

※ 下記は x←x-1、y←y-1 と記載してあるけども x→x+1、y→y+1という置換といっしょのことです。

分数式となった整式の関数式である。下のような式のグラフは、双曲線の回転と平行移動であろう。

上の行列の計算式 X=,Y= を
もとの「Y=(X2-X+1)/(X−1)」を満たす点として代入してみると

(sinθ−cosθ)x2cosθ−(sinθ+cosθ)y2sinθ+(cos2θ−sin2θ+2cosθ・sinθ)xy = 1

加法定理で整理すると
sin2θ−cos2θ−1)/2・x2+(cos2θ−sin2θ−1)/2・y2(cos2θ+sin2θ)xy =1

上式でxyの項 cos2θ+sin2θ=0 にするような回転角度θがあれば、上記は下記に示す双曲線の標準形(xy軸対称)になる。

±{(αx)2−(βy)2}=1 双曲線の標準形:x,y軸と原点に対称な形っていうのが標準なのでね。
まあ、2次曲線(楕円、双曲線、放物線など)で、xy項というのは標準形(x軸かy軸に対称な形)にすると実は現れてこないんですね(ある条件で派生して出てくるものであって)。

このxy項の係数は、…・・「三角関数なのでいろんな求めかたはあるが」

2つの式は、x二乗とy二乗が異符号だから双曲線である。しかも係数からして、長軸が違うだけで形は同じである。
やはり与えられた式は、予想通り 「y=x」と「y軸:x=0」という斜めに交わる2直線の中間に対称軸をもった双曲線だったのである。
この2つの直線が双曲線の漸近線なのだ。

双曲線の例を2つ出したが、式を整理すると xy-a=0 と x2-xy-x+y+1=0 となる

2次式を見れば簡単にどんな種類のものか、わりとすぐわかるケースもあるね。xy=a を基本に考えるとx=0とy=0が漸近線である。直交するから直角双曲線だ
2−y2=2aという形は、(x-y)(x+y)=2a 漸近線がx=yとy=-xになったと考えられる。これも2直線が直交する。
x2-xy-x+y+1=0 についても、(y−x)(x−1)=1漸近線がy=xとx=1になったと考えられる こいつは45度で交わる漸近線だ。


高校生の知識でも、このように力ずくでやれないこともない。
ただし、2x2行列が高校の課程であったときの話ですけど、最近は行列なくなったとかあるらしいけど?

ax2+2bxy+cy2+2dx+2ey+f=0

標準形で、
どうしても邪魔なのは「xy項」であるから、その係数を0にするような回転の角度θを見つければ良い。 
※ 行列をつかったり、完全平方つかったりの都合上 2b、2d、2e なんて わざと係数2をつけていますが、本質的な意味はありません。
「xy」項、有り・無し で話は大きくかわる。
係数b=0、すなわちxy項がなければ ax+cy+2dx+2ey+f=0  
ac≠0なら  a(x+d/a)+c(y+e/c)=定数   と 変形できるから、標準形を平行移動しただけである。
あとは、a,c,定数の符号の正負でもって、放物線以外の2次曲線の標準形の分類になるだけである。
ac=0 なら  (ただし、aとcが同時に0だと2次式にならないから、それは無しよ)。
a(x+d/a)+2ey+定数=0  放物線の平行移動形に変形できる。
c(y+e/c)+2dx+定数=0  放物線の平行移動形に変形できる。

「xy」項が無い b=0  回転する必要がない  
「xy」項がある b≠0 回転する必要がある

これも、同様な力技でなんとか求まります。

実は a=cのときについては
 
実際のxy項を0にする条件では、 x、yを入れ替えても成り立つ対称式(y=xに対称)を平行移動したものと予想され、角度が±45度は満たすことがわかる。
ax2+2bxy+ay2+2dx+2ey+f=a(x2y2)+2bxy+2dx+2ey+f=0
およその予想がつくのだが、
平行移動でx,yの一次項を消すと、xとyを交換しても成り立つ「対称式」 y=xという直線に対称なので±45度回転だとわかる
x=2-1/2(X−Y) y=2-1/2(X+Y)なので  xy=1/2(X2−Y2)、 x2+y2=X2+Y2    変換されてxyの項はなくなる。

(a+b)X2(a-b)Y2+21/2{(d+e)X+(d-e)Y}+f=0  標準形の平行移動した形である

双曲線のときと同様なやり方で,力ずくでやってみましょうか。

とはいえ、大学への数学向けに近づくには、もうちょっと式の変形には2次の行列を使った別のやり方を示すことにします。
それは こちらです。==>回転してみる 別バージョン 発展形へ

上記の結果だが、一次の項もじゃまだから先に消しておきたい。だから事前に平行移動しておくことも考えよう。


平行移動を先にやることは有効なのだろうか
まず、x、y 一次の項をなくすには平行移動を試すが、もし、 ax2+2bxy+cy2+定数=0 という形になるのであれば、
(x,y)の代わりに(-x,-y)をいれても成立する式になるから、原点における
点対称な曲線であるはずである。
楕円や双曲線は原点対称になるから有効な手段だが、
「放物線には無効だろう
(放物線は曲線が点対称ではない、おまけに軸が回転したままなら平行移動しても座標軸の対称性すら無い、なのでさっさと回転させたほうがよい) 


α、βだけ平行移動したとして、 x→x-α,y→y-β  と置換してみることだ。
 一次のx項、y項が0になるような α、βが求まればいい 

a(x-α)2+2b(x-α)(y-β)+c(y-β)2+2d(x-α)+2e(y-β)+f=0
ax2+2bxy+cy2+2(d-aα-bβ)x 2(e-bα-cβ)y+aα2+2bαβ+cβ2-2dα-2eβ+f=0
ax2+2bxy+cy2+2(d-aα-bβ)x 2(e-bα-cβ)y+α(aα+bβ)+β(bα+cβ)-2dα-2eβ+f=0
xとyの一次の項が0になる条件は、以下の(1)となる。
d=aα+bβ、e=bα+cβ ........(1)
ax2+2bxy+cy2
+dα+eβ -2 (dα+eβ)+f=0
ax2+2bxy+cy2 - (dα+eβ)+f=0

上の例だと、Aが逆行列を持たない 行列式 ac-b2=0 のときは、αとβが見つからないから困るが、放物線型である。
特殊なケースは平行な2直線などである。

楕円型とか双曲線型とか有心な形は 平行移動できる(ac-b2≠0) ax2+2bxy+cy2+定数=0 という形になり、2次の項だけが残るが、
こうしておくと、先の回転させてみるだけで一次の項は無視で済むので有効であろう。

ある特殊な条件以外では、ax2+2bxy+cy2の形が2次曲線を特徴付けるもので、一次の項は余談だということがわかるだろう。

大概は 「平行移動でx,yの一次の項を消す=>回転によるxy項を消す」 この操作が一番使えそうだと。

2次の係数同士が同じ符号なら楕円型、異符号なら双曲線型である。

2次の係数の判別式って  ac-b2 =Aの行列式と一緒じゃん
おや? 
Aの行列式の正、負、0で楕円型、双曲線型、放物線型が対応してくる話になる。

==>回転してみる 別バージョン 発展形へ


ac-b2=0 のときは、無中心の曲線で先に回転させれば、xy項と同時にx二乗かy二乗のどちか一方が消える放物線型のようである
回転させれば  Y=係数x2 でも X=係数y2  どちらも形状は一緒なので、一方だけにする


例えば、2次式の元のx,yの代わりに-x,yを代入すると、その曲線はy軸対称で反転する。しかし曲線そのものは形状としてはかわらない。
そのとき、bとdの係数は符号が前の式とは逆になる。bが+5でdが-8だとしたら、bが-5でdが+8でも形状はかわらないはず。
dを含んだ結果の上記の放物線の係数の値は、かわらないはずであるから、bが正のときd=-8で成立した式に、dの値として変わりに+8をいれたら値は変わってしまう。bが負のとき、結果の式がbが正のときとはdの符号が変わっているのは辻褄があう。


まずは、力ずくでもなんでもいいが、求めてみた式は以下である。しかし行列とか大学の数学につながる説明もしたい。

これらは、よくよく見ると、@はCの特別なケースとして包含される。AはBの特別なケースとして包含される。

整理された式ではxy項の有無の場合分けではない
すなわち、 b=0か否かでなくて、ac-b2=0か否か というふうになる

 
楕円型や双曲線の標準形はx軸、y軸の両方に同時に対称性があって、X2乗とY2乗の係数は逆のパターンがある。
放物線の標準形は、 Y〜X二乗系の正負係数、 X〜Y二乗系の正負係数 放物線の頂点の向きが4通りあるが、どれも形が同じで、とりあえず1つだけ示し、符号のパターンはやめにした。
(目的が曲線の分類であるから)

==>回転してみる 別バージョン 発展形へ