第1問
0以上の任意の整数iに対して、xのi次式gi(x)を
i=0のとき、g0(x)=1
i≧1のとき、gi(x)=$\small\sf{\begin{align*}\sf \frac{x(x+1)\ldots(x+i-1)}{i\ !}\end{align*}}$
と定義する。
(1) f(x)=$\small\sf{\begin{align*}\sf \sum_{i=0}^n\end{align*}}$ aixi (ただし、a0≠0)をxに関する実数係数のn(≧0)次式
とする。このとき、等式f(x)=$\small\sf{\begin{align*}\sf \sum_{i=0}^n\end{align*}}$ cigi(x) が任意の実数xについて成り
立つような実数ci (0≦i≦n、但しcn≠0)が一意的に存在することを
証明せよ。
(2) (1)において、n>0のとき等式f(x)-f(x-1)=$\small\sf{\begin{align*}\sf \sum_{i=1}^n\end{align*}}$ cigi-1(x) が成
り立つことを証明せよ。
(3) F(x)(≠0)をxに関する実数係数のn(≧0)次式とし、任意の整数aに
対してF(a)が整数であると仮定する。このとき、等式
F(x)=$\small\sf{\begin{align*}\sf \sum_{i=0}^n\end{align*}}$ digi(x)
が任意の実数xについて成り立つような整数di(0≦i≦n、但しdn≠0)
が一意的に存在することを示せ。
--------------------------------------------
【解答】
(1)
数学的帰納法を用いて示す。
(ⅰ) n=0のとき
f(x)=a0より、c0=a0とおくと、
f(x)=c0g0(x)と表されるのでOK。
(ⅱ) n=kのとき
任意の高々k次式f(x)=$\scriptsize\sf{\begin{align*}\sf \sum_{i=0}^k\end{align*}}$ aixi がf(x)=$\scriptsize\sf{\begin{align*}\sf \sum_{i=0}^n\end{align*}}$ cigi(x)
の形で一意的に表されると仮定する・・・・①
k+1次式f(x)=$\scriptsize\sf{\begin{align*}\sf \sum_{i=0}^{n+1}\end{align*}}$ aixi に対して、
h(x)=f(x)-ak+1(k+1)!gk+1(x)
と定義すると、
$\scriptsize\sf{\begin{align*}\sf h(x)=f\ (x)-a_{k+1}(k+1)!\times\frac{x(x+1)\ldots(x+k)}{(k+1)\ !}\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =a_{k+1}x^{k+1}+a_kx^k+\ldots a_1x+a_0-a_{k+1}x(x+1)\ldots(x+k)\end{align*}}$
これを計算すると、xk+1の項が消え、h(x)は高々k次式となる。
ここで、ck+1=ak+1(k+1)!とおけば、
f(x)=ck+1gk+1(x)+h(x)
仮定①より、高々k次式h(x)は、h(x)=$\scriptsize\sf{\begin{align*}\sf \sum_{i=0}^k\end{align*}}$ cigi(x)の形に
一意的に表されるので、
f(x)=ck+1gk+1(x)+$\scriptsize\sf{\begin{align*}\sf \sum_{i=0}^k\end{align*}}$ cigi(x)=$\scriptsize\sf{\begin{align*}\sf \sum_{i=0}^{k+1}\end{align*}}$ cigi(x)
となり、n=k+1のときもOK。
以上より、任意のn(≧0)次式f(x)に対して題意は示された。
1問目からなかなかヘビーな問題ですね。
(2)
f(x)-f(x-1)
$\scriptsize\sf{\begin{align*}\sf =\sum_{i=0}^n\ c_i\ g_{i\ }(x)-\sum_{i=0}^n\ c_i\ g_i(x-1)\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\left(c_0+\sum_{i=1}^n\ c_i\ \frac{x(x+1)\ldots(x+i-1)}{i\ !}\right)-\left(c_0+\sum_{i=1}^n\ c_i\ \frac{(x-1)x(x+1)\ldots(x+i-2)}{i\ !}\right)\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\sum_{i=1}^n\ c_i\ \frac{x(x+1)\ldots(x+i-1)-(x-1)x(x+1)\ldots(x+i-2)}{i\ !}\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\sum_{i=1}^n\ c_i\ \frac{x(x+1)\ldots(x+i-2)\{(x+i-1)-(x-1)\}}{i\ !}\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\sum_{i=1}^n\ c_i\ \frac{x(x+1)\ldots(x+i-2)}{(i-1)\ !}\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\sum_{i=1}^n\ c_i\ g_{i-1}(x)\end{align*}}$
(2)はそのまま計算するだけです。
(3)
1≦iのとき、0≦k≦nの整数kに対して、
$\scriptsize\sf{\begin{align*}\sf g_{i\ }(-k)=\frac{-k(-k+1)\ldots(-k+i-1)}{i\ !}=(-1)^i\ \frac{k(k-1)\ldots\{k-(i-1)\}}{i\ !}\end{align*}}$
なので、
$\scriptsize\sf{\begin{align*}\sf g_{i\ }(-k)=\left\{ \begin{array}{ll}\sf 0 & (\sf k=0,1,2,\ldots,i-1)\\ \\ \ (-1)^{\sf i}\sf \ _kC_{\ i} & (\sf k=i,i+1,\ldots,n) \\\end{array} \right.\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf \Leftrightarrow\ \ g_{i\ }(-k)=\left\{ \begin{array}{ll}\sf 0 & (\sf i=k+1,k+2,\ldots,n)\\ \\ \ (-1)^{\sf i}\sf \ _kC_{\ i} & (\sf i=0,1,2,\ldots,k) \\\end{array} \right.\end{align*}}$ ・・・②
一方、(1)より任意のn次式F(x)に対して、F(x)=$\scriptsize\sf{\begin{align*}\sf \sum_{i=0}^n\end{align*}}$digi(x)
となる実数di(0≦i≦n、dn≠0)が存在する。
任意の整数aに対してF(a)がすべて整数になる・・・(※)
という仮定の下で、diがすべて整数になることを数学的帰納法で示す。
(ⅰ) i=0のとき
d0=F(0)で、(※)よりこれは整数なのでOK。
(ⅱ) i≦kであるすべてのiに対してdiが整数であると仮定する。
すなわち、d0、d1、・・・、dkはすべて整数である。・・・③
このとき、
$\scriptsize\sf{\begin{align*}\sf F(-k-1)=\sum_{i=0}^n\ d_i\ g_i(-k-1)\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\sum_{i=0}^{k+1}\ d_i\ (-1)^{\sf i}\sf \ _{k+1}C_{\ i}\end{align*}}$ ←②より
$\scriptsize\sf{\begin{align*}\sf =d_0-(k+1)d_1+\ldots+(-1)^{\sf k}(k+1)d_{k}+(-1)^{\sf k+1}d_{k+1}\end{align*}}$
ここで(※)より、このF(-k-1)は整数である。
また、②よりd0、d1、・・・、dkはすべて整数であり、
任意のiに対してk+1Ciも整数である。
よって、dk+1は整数である。
以上より、任意の整数iに対してdiは整数となるので、題意は示された。
これはタイヘンな問題ですね。
考え方だけを大まかに書いておくと、
まず、F(0)=d0は整数。
次に、F(-1)=-d1+d0は整数で、d0が整数なので、d1も整数。
さらに、F(-2)=d2-2d1+d0は整数で、d0、d1が整数なので、d2も整数。
・
・
・
まぁこんな感じですかね。
このことを厳密に帰納法で証明したのが上の解答ですが、
この1問に時間を取られるわけにもいかないので、
d0、d1、d2、d3あたりまで具体的に書いておいて、
「以下、帰納的に~」とごまかしておけば、それなりに部分点をもらえると思います。
テーマ:数学 - ジャンル:学問・文化・芸術
- 2018/10/01(月) 01:01:00|
- 大学入試(数学) .関西の公立大学 .奈良県立医大 2011
-
| トラックバック:0
-
| コメント:0
第2問
実数の数列{an}n=1,2,・・・は、任意の正整数p、qに対して不等式
|ap+q-ap-aq|<1
を満たしているとする。
(1) 任意の正整数nと、2以上の任意の整数kに対して、不等式
|akn-kan|<k-1
が成り立つことを証明せよ。
(2) 任意の正整数n、kに対して、不等式
|nan+k-(n+k)an|<2n+k-2
が成り立つことを証明せよ。
--------------------------------------------
【解答】
|ap+q-ap-aq|<1・・・(※)
(1)
|akn-kan|<k-1・・・(A)が成り立つことを、数学的帰納法で示す。
(ⅰ) k=2のとき
(※)においてp=q=nとすると、
|an+n-an-an|<1
⇔ |a2n-2an|<2-1
よって、k=2のとき、(A)は成立する。
(ⅱ) k=mのとき(A)が成立すると仮定すると、
|amn-man|<m-1 ・・・①
k=m+1のとき、
(※)において、p=mn、q=nとすると、
|amn+n-amn-an|<1
これと①より、
|amn-man|+|amn+n-amn-an|<m ・・・②
ここで、任意の実数X、Yに対して常に
|X+Y|≦|X|+|Y| (三角不等式)
が成立するので、
|(amn-man)+(amn+n-amn-an)|≦|amn-man|+|amn+n-amn-an|
⇔ |a(m+1)n-(m+1)an|≦|amn-man|+|amn+n-amn-an|
これと②より、
|a(m+1)n-(m+1)an|<(m+1)-1
となり、k=m+1のときも(A)は成立するので、
(A)は2以上の任意の整数kに対して成立する。
帰納法だときれいに書けますね。
絶対値を含む不等式なので、三角不等式はすぐに思い浮かぶと思います。
(2)
まず、(※)より
|an+k-an-ak|<1
両辺にnをかけると
|nan+k-nan-nak|<n ・・・(ア)
また、(1)の不等式において、k=1のときは
|an-an|=1-1=0
となるので、任意の正整数k、nに対して
|akn-kan|≦k-1 ・・・(イ)
が成り立つ。
(イ)のkとnを入れ換えると、
|akn-nak|≦n-1
⇔ |-akn+nak|≦n-1 ・・・(ウ)
(ア)、(イ)、(ウ)を辺々加えると、
|nan+k-nan-nak|+|akn-kan|+|-akn+nak|<2n+k-2
これと三角不等式 |X+Y+Z|≦|X|+|Y|+|Z|より、
|(nan+k-nan-nak)+(akn-kan)+(-akn+nak)|<2n+k-2
⇔ |nan+k-(n+k)an|<2n+k-2
結論から逆につじつまを合わせていくような感じです。
(1)の不等式はk≧2という条件が付いているので、これを処理しておかなければなりません。
いわゆる限定解除ですね^^
テーマ:数学 - ジャンル:学問・文化・芸術
- 2018/10/01(月) 01:02:00|
- 大学入試(数学) .関西の公立大学 .奈良県立医大 2011
-
| トラックバック:0
-
| コメント:0
第3問
a、bを実数とする。
(1) 定積分
$\small\sf{\begin{align*}\rm I\sf(a,b)=\int_{-\pi}^{\pi}\ (1+a\sin x+bx)^2\ dx\end{align*}}$
を求めよ。
(2) a、bが実数全体を動くとき、(1)の定積分I(a,b)を最小にするような実数
の組(a,b)がただ一組存在することを示し、そのような(a,b)及び、I(a,b)
の最小値を求めよ。
--------------------------------------------
【解答】
(1)
$\scriptsize\sf{\begin{align*}\rm I\sf(a,b)=\int_{-\pi}^{\pi}\ (1+a\sin x+bx)^2\ dx\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\int_{-\pi}^{\pi}\ (1+a^2\sin^2 x+b^2x^2+2a\sin x+2abx\sin x+2bx)\ dx\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =2\int_{0}^{\pi}\ (1+a^2\sin^2 x+b^2x^2+2abx\sin x)\ dx\end{align*}}$ ←sinxとxは奇関数
ここで、半角公式より、
$\scriptsize\sf{\begin{align*}\sf \int\ \sin^2x\ dx=\frac{1}{2}\int\ (1-\cos 2x)\ dx\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\frac{1}{2}\left(x-\frac{1}{2}\sin 2x\right)+C_1\end{align*}}$ (C1は積分定数)
また、部分積分法を用いると、
$\scriptsize\sf{\begin{align*}\sf \int\ x\sin x\ dx=-x\cos x-\int(-\cos x)\ dx\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =-x\cos x+\sin x+C_2\end{align*}}$ (C2は積分定数)
以上より、
$\scriptsize\sf{\begin{align*}\rm I\sf(a,b)=2\left[x+\frac{a^2x}{2}-\frac{a^2\sin 2x}{4}+\frac{b^2x^3}{3}-2abx\cos x+2ab\sin x\right]_0^{\pi}\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\underline{\ 2\pi\left(1+\frac{1}{2}a^2+\frac{\pi^2}{3}\ b^2+2ab\right)\ \ }\end{align*}}$
これは計算するだけですね。
(2)
(1)より、
$\scriptsize\sf{\begin{align*}\rm I\sf(a,b)=\pi\ a^2+4\pi\ ab+\frac{2\pi^3}{3}\ b^2\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\pi\left( a+2b\right)^2+\left(\frac{2\pi^3}{3}-4\pi\right)b^2+2\pi\end{align*}}$ ←平方完成
ここで、$\scriptsize\sf{\pi\gt 0}$ なので、
$\scriptsize\sf{\begin{align*}\sf \frac{2\pi^3}{3}-4\pi=\pi\left(\frac{2\pi^2}{3}-4\right)>\pi\left(\frac{2}{3}\cdot3^2-4\right)=2\pi>0\end{align*}}$
なので、
b=0かつa+2b=0のときI(a,b)は最小で、その値は$\scriptsize\sf{2\pi}$
すなわち、
I(a,b)は最小値$\scriptsize\sf{2\pi}$をとり、
それを与える組(a,b)は(0,0)ただ1組である。
a、b2変数ですが、二次式なので平方完成して終わりです。
この問題は絶対に完答しなきゃダメですよ。
テーマ:数学 - ジャンル:学問・文化・芸術
- 2018/10/01(月) 01:03:00|
- 大学入試(数学) .関西の公立大学 .奈良県立医大 2011
-
| トラックバック:0
-
| コメント:0
第4問
xy平面において原点O(0,0)を中心とする半径1の円をSとし、円S
の任意の点Pに対して、点Pにおける円Sの接線をL(P)とおく。
$\small\sf{\begin{align*}\sf A=\begin{pmatrix}\sf a &\sf b \\ \sf c &\sf d \end{pmatrix}\end{align*}}$
を全ての成分が実数からなる2行2列の行列とし、Aによって定まるxy
平面の一次変換
$\small\sf{\begin{align*}\sf \begin{pmatrix}\sf x' \\ \sf y' \end{pmatrix}=A\begin{pmatrix}\sf x \\ \sf y \end{pmatrix}\end{align*}}$
を$\small\sf{\phi}$ とおく。このとき円Sの任意の点Pに対して円Sの点Qが存在し、接
線L(P)のいかなる点も$\small\sf{\phi}$ によって接線L(Q)の点に移されると仮定する。
(1) 円Sの点Pの座標を(s,t)として、接線L(P)の方程式を求めよ。
(2) 行列Aは逆行列をもつことを示せ。
(3) 円Sの点Qは円Sの点Pにより一意的に定まることを示し、点Qの座標
(u,v)を点Pの座標(s,t)および行列Aの成分a、b、c、dを用いて表
示せよ。
(4) xy平面の一次変換$\small\sf{\phi}$ は、原点O(0,0)を中心とする回転か、または
原点O(0,0)を通るある直線mを対称軸とする対称変換のいずれか
であることを証明せよ。
--------------------------------------------
【解答】
(1)
ベクトル $\scriptsize\sf{\begin{align*}\sf \overrightarrow{\sf OP}=(s,t)\end{align*}}$ に対して、$\scriptsize\sf{\begin{align*}\sf \overrightarrow{\sf m}=(t,-s)\end{align*}}$ を考えると、
$\scriptsize\sf{\begin{align*}\sf \overrightarrow{\sf OP}\ \cdot\ \overrightarrow{\sf m}=0\end{align*}}$ 
となるので、$\scriptsize\sf{\begin{align*}\sf \overrightarrow{\sf m}\end{align*}}$ は接線L(P)の方向ベクトルになる。
よって、L(P)上の点をTは実数kを用いて、
$\scriptsize\sf{\begin{align*}\sf \overrightarrow{\sf OT}=\overrightarrow{\sf OP}\ +k\overrightarrow{\sf m}\end{align*}}$
と表せるので、T(x,y)とすると、
(x、y)=(s+kt,t-ks) ・・・・①
kを消去すると、
sx+ty=s2+t2.
ここで、点P(s,t)は円S上にあり、s2+t2なので、
L(P)の方程式は、
sx+ty=1
この結果は、公式として教科書にも載っていますね。
(2)以降のことも考えて、接線L(P)上の点Tを媒介変数表示する方法で解いてみました。
(2)
点PをP(1,0)とすると、接線L(P)の方程式は、x=1となる。
「円Sの任意の点Pに対して円Sの点Qが存在し、接線L(P)の
いかなる点も$\scriptsize{\sf\phi}$ によって接線L(Q)の点に移される」・・・・(※)
という条件より、このx=1も$\scriptsize{\sf\phi}$ によって、ある接線に移されるはずである。
L(P)上の点T(1,1)を考える。
このとき、P、Tの$\scriptsize{\sf\phi}$ による像をそれぞれP’、T’とすると、
$\scriptsize\sf{\begin{align*}\sf P'\ :\ \begin{pmatrix}\sf a &\sf b \\ \sf c &\sf d \end{pmatrix}\begin{pmatrix}\sf 1\\ \sf 0\end{pmatrix}=\begin{pmatrix}\sf a \\ \sf c\end{pmatrix}\ \ ,\ \ T'\ :\ \begin{pmatrix}\sf a &\sf b \\ \sf c &\sf d \end{pmatrix}\begin{pmatrix}\sf 1\\ \sf 1\end{pmatrix}=\begin{pmatrix}\sf a+b \\ \sf c+d\end{pmatrix}\end{align*}}$ .
この2点を通る直線をL’とすると、その方程式は
d(x-a)=b(y-c) ⇔ dx-by=ad-bc.
ここで、行列Aが逆行列をもたないと仮定すると、ad-bc=0なので、
L’:dx-by=0.
このとき、L’は原点を通るので、円Sの接線とはなり得ず、
(※)に矛盾する。
よって、Aは逆行列をもたない。
背理法で証明するのが楽だと思います。条件(※)に矛盾するような例が
1つでも存在すればよいので、PとL(P)を具体的に決めてしまっても構いません。
(3)
(1)より、点Q(u,v)における接線L(Q)の方程式は
ux+vy=1 ・・・・②
と表される。
一方、①よりL(P)上の点Tの座標は、(s+kt,t-ks)と表され、
Tの$\scriptsize{\sf\phi}$ による像をT’(x’,y’)とすると、
$\scriptsize\sf{\begin{align*}\sf T\ '\ :\ \begin{pmatrix} \sf x'\\ \sf y'\end{pmatrix}=\begin{pmatrix}\sf a &\sf b \\ \sf s+kt &\sf t-ks \end{pmatrix}=\begin{pmatrix}\sf as+bt+(at-bs)k\\ \sf cs+dt+(ct-ds)k\end{pmatrix}\end{align*}}$ .
T’はL(Q)上にあるので、②より、
u{as+bt+(at-bs)k}+v{cs+dt+(ct-ds)k}=1
⇔ {(at-bs)u+(ct-ds)v}k+(as+bt)u+(cs+dt)v-1=0
これが任意のkに対して成り立つので、係数を比較すると、
(at-bs)u+(ct-ds)v=0 かつ
(as+bt)u+(cs+dt)v=1
この連立方程式は、行列を用いて以下のように表すことができる。
$\scriptsize\sf{\begin{align*}\sf \begin{pmatrix}\sf at-bs &\sf ct-ds \\ \sf as+bt &\sf cs+dt\end{pmatrix}\begin{pmatrix}\sf u&\sf v\end{pmatrix}=\begin{pmatrix}\sf 0\\ \sf 1\end{pmatrix}\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf \Leftrightarrow\ \ \begin{pmatrix}\sf t&\sf -s\\ \sf s &\sf t \end{pmatrix}\begin{pmatrix}\sf a &\sf b \\ \sf c &\sf d \end{pmatrix}\begin{pmatrix}\sf u\\ \sf v\end{pmatrix}=\begin{pmatrix}\sf 0\\ \sf 1\end{pmatrix}\end{align*}}$ ・・・・③
ここで、
$\scriptsize\sf{\begin{align*}\sf B=\begin{pmatrix}\sf t &\sf -s \\ \sf s &\sf t \end{pmatrix}\ \ ,\ \ C=\begin{pmatrix}\sf a &\sf b \\ \sf c &\sf d \end{pmatrix}\end{align*}}$
とおくと、それぞれのデターミナントは
detB=t2+s2=1
detC=ad-bc≠0
となるので、逆行列B-1、C-1が存在する。
③の両辺に左から C-1B-1をかけると、
$\scriptsize\sf{\begin{align*}\sf \begin{pmatrix}\sf u\\ \sf v\end{pmatrix}=\begin{pmatrix}\sf a &\sf b \\ \sf c &\sf d \end{pmatrix}^{-1}\begin{pmatrix}\sf t &\sf -s \\ \sf s &\sf t \end{pmatrix}^{-1}\begin{pmatrix}\sf 0\\ \sf 1\end{pmatrix}\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\frac{1}{ad-bc}\begin{pmatrix} \sf d&\sf -c \\ \sf -b& \sf a \end{pmatrix}\begin{pmatrix} \sf t&\sf s \\ \sf -s& \sf t \end{pmatrix}\binom{\ 0\ }{\ 1\ }\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\frac{1}{ad-bc}\begin{pmatrix} \sf d&\sf -c \\ \sf -b& \sf a \end{pmatrix}\begin{pmatrix}\sf s\\ \sf t\end{pmatrix}\end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\frac{1}{ad-bc}\begin{pmatrix}\sf -ct+ds\\ \sf at-bs\end{pmatrix}\end{align*}}$
よって、
$\scriptsize\sf{\begin{align*}\sf \underline{\ u=\frac{-ct+ds}{ad-bc}\ \ ,\ \ v=\frac{at-bs}{ad-bc}\ \ }\end{align*}}$
u,vの連立方程式はそのまま解いても構いませんが、計算が面倒になりそうだったので、
行列を用いて解いてみました。
ただ、③の変形はちょっと難しいので、思い浮かばないかもしれませんね。
さて、最後の(4)ですが、これがまたタイヘンなので、次の記事にまわします。
テーマ:数学 - ジャンル:学問・文化・芸術
- 2018/10/01(月) 01:04:00|
- 大学入試(数学) .関西の公立大学 .奈良県立医大 2011
-
| トラックバック:0
-
| コメント:0
第4問
xy平面において原点O(0,0)を中心とする半径1の円をSとし、円S
の任意の点Pに対して、点Pにおける円Sの接線をL(P)とおく。
$\small\sf{\begin{align*}\sf A=\begin{pmatrix}\sf a &\sf b \\ \sf c &\sf d \end{pmatrix}\end{align*}}$
を全ての成分が実数からなる2行2列の行列とし、Aによって定まるxy
平面の一次変換
$\small\sf{\begin{align*}\sf \begin{pmatrix}\sf x' \\ \sf y' \end{pmatrix}=A\begin{pmatrix}\sf x \\ \sf y \end{pmatrix}\end{align*}}$
を$\small\sf{\phi}$ とおく。このとき円Sの任意の点Pに対して円Sの点Qが存在し、接
線L(P)のいかなる点も$\small\sf{\phi}$ によって接線L(Q)の点に移されると仮定する。
(1) 円Sの点Pの座標を(s,t)として、接線L(P)の方程式を求めよ。
(2) 行列Aは逆行列をもつことを示せ。
(3) 円Sの点Qは円Sの点Pにより一意的に定まることを示し、点Qの座標
(u,v)を点Pの座標(s,t)および行列Aの成分a、b、c、dを用いて表
示せよ。
(4) xy平面の一次変換$\small\sf{\phi}$ は、原点O(0,0)を中心とする回転か、または
原点O(0,0)を通るある直線mを対称軸とする対称変換のいずれか
であることを証明せよ。
--------------------------------------------
【解答】
(3)
$\scriptsize\sf{\begin{align*}\sf u=\frac{-ct+ds}{ad-bc}\ \ ,\ \ v=\frac{at-bs}{ad-bc}\end{align*}}$
(4)
Q(u,v)は円S上にあるので、u2+v2=1.
これに(3)の結論を代入して分母を払うと、
(-ct+ds)2+(at-bs)2=(ad-bc)2
⇔ (b2+d2)s2+(a2+c2)t2-2(ab+cd)st=(ad-bc)2 ・・・・④
ここで、点P(s,t)は円S上にあるので、
s=cos$\scriptsize\sf{\theta}$ 、 t=sin$\scriptsize\sf{\theta}$
と表すことができる。倍角公式より、
2s2=2cos2$\scriptsize\sf{\theta}$ =1+cos$\scriptsize\sf{2\theta}$
2t2=2sin2$\scriptsize\sf{\theta}$ =1-cos$\scriptsize\sf{2\theta}$
2st=2sin$\scriptsize\sf{2\theta}$ cos$\scriptsize\sf{2\theta}$ =sin2$\scriptsize\sf{\theta}$ .
これらを④に代入して整理すると、
(a2-b2+c2-d2)cos2$\scriptsize\sf{\theta}$ +2(ab+cd)sin2$\scriptsize\sf{\theta}$
=a2+b2+c2+d2-2(ad-bc)2.
これが任意の$\scriptsize\sf{\theta}$ に対して成立するので、
a2-b2+c2-d2=0 ・・・・⑤ かつ
ab+cd=0 ・・・・⑥ かつ
a2+b2+c2+d2-2(ad-bc)2=0 ・・・・⑦
が成り立つ。
⑤より、a2+c2=b2+d2=r2 となるr(≧0)が存在する。
r=0のときは、a=b=c=d=0となり、
(2)の結論ad-bc≠0に反するので、r≠0.
よって、
a=rcos$\scriptsize\sf{\alpha}$ 、 c=rsin$\scriptsize\sf{\alpha}$ 、 b=rsin$\scriptsize\sf{\beta}$ 、 d=rcos$\scriptsize\sf{\beta}$ ・・・⑧
となる$\scriptsize\sf{\alpha}$ 、$\scriptsize\sf{\beta}$ が存在する。
⑧を⑥に代入すると、
r2cos$\scriptsize\sf{\alpha}$ sin$\scriptsize\sf{\beta}$ +r2sin$\scriptsize\sf{\alpha}$ cos$\scriptsize\sf{\beta}$ =0
⇔ r2sin($\scriptsize\sf{\alpha}$ +$\scriptsize\sf{\beta}$ )=0 ←加法定理より
r2≠0より、sin($\scriptsize\sf{\alpha}$ +$\scriptsize\sf{\beta}$ )=0 すなわち、
$\scriptsize\sf{\alpha}$ +$\scriptsize\sf{\beta}$ =n$\scriptsize\sf{\pi}$ (nは整数)・・・・⑥’
次に⑧を⑦に代入すると、
2r2-2(r2cos$\scriptsize\sf{\alpha}$ cos$\scriptsize\sf{\beta}$ -r2sin$\scriptsize\sf{\alpha}$ sin$\scriptsize\sf{\beta}$ )2=0
⇔ r4cos2($\scriptsize\sf{\alpha}$ +$\scriptsize\sf{\beta}$ )=r2
⑥’より、cos2($\scriptsize\sf{\alpha}$ +$\scriptsize\sf{\beta}$ )=1なので、r=1(>0)
これと、⑧、⑥’より
a=cos$\scriptsize\sf{\alpha}$
c=sin$\scriptsize\sf{\alpha}$
b=sin(n$\scriptsize\sf{\pi}$ -$\scriptsize\sf{\alpha}$ )
d=cos(n$\scriptsize\sf{\pi}$ -$\scriptsize\sf{\alpha}$ )
(ア) nが偶数のとき
sin(n$\scriptsize\sf{\pi}$ -$\scriptsize\sf{\alpha}$ )=-sin$\scriptsize\sf{\alpha}$ 、 cos(n$\scriptsize\sf{\pi}$ -$\scriptsize\sf{\alpha}$ )=cos$\scriptsize\sf{\alpha}$ より
$\scriptsize\sf{\begin{align*}\sf A=\begin{pmatrix} \cos\alpha &-\sin\alpha\\ \sin\alpha&\cos\alpha\end{pmatrix} \end{align*}}$ .
この行列は、原点O(0,0)を中心として$\scriptsize\sf{\alpha}$ だけ回転する変換を表す。
(イ) nが奇数のとき
sin(n$\scriptsize\sf{\pi}$ -$\scriptsize\sf{\alpha}$ )=-sin$\scriptsize\sf{\alpha}$ 、 cos(n$\scriptsize\sf{\pi}$ -$\scriptsize\sf{\alpha}$ )=-cos$\scriptsize\sf{\alpha}$ より
$\scriptsize\sf{\begin{align*}\sf A=\begin{pmatrix} \cos\alpha&-\sin\alpha\\ \sin\alpha &-\cos\alpha\end{pmatrix} \end{align*}}$
$\scriptsize\sf{\begin{align*}\sf =\begin{pmatrix} \cos\alpha &-\sin\alpha\\ \sin\alpha&\cos\alpha\end{pmatrix}\begin{pmatrix} \sf 1&\sf 0\\ \sf 0&\sf -1\end{pmatrix} \end{align*}}$ .
この行列は、x軸について対称移動した後、
原点Oを中心として$\scriptsize\sf{\alpha}$ だけ回転する変換、
すなわち、x軸と$\scriptsize\sf{\alpha}$ /2の角をなす直線Mに
関する対称移動を表す(右図)。
以上より、題意は示された。
最後の最後にとんでもないボリュームの問題が出てきましたね。
対称移動のくだりは面倒なのでごまかして書いています。
テーマ:数学 - ジャンル:学問・文化・芸術
- 2018/10/01(月) 01:05:00|
- 大学入試(数学) .関西の公立大学 .奈良県立医大 2011
-
| トラックバック:0
-
| コメント:0