実数 $\theta$ が $0 < \theta < \frac{\pi}{2}$ を満たすとする。写像 $f: \mathbb{R}^2 \to \mathbb{R}^2$ を $xy$ 平面上の点を直線 $l: y = (\tan \theta) x$ に下ろした垂線の足に移す一次変換(直線 $l$ への正射影)とし、行列 $A$ を $f = f_A$ を満たす2次正方行列とする。ただし、$f_A$ は行列 $A$ による一次変換である。以下の問いに答えよ。 (1) $xy$ 平面上の2点 $B(1,0), C(0,1)$ を写像 $f$ で移した点をそれぞれ $B', C'$ とする。このとき、点 $B', C'$ の座標をそれぞれ求めよ。 (2) 行列 $A$ を求めよ。 (3) 行列 $A$ の固有値を求めよ。また、各固有値に属する固有ベクトルを1つ求めよ。 (4) 写像 $f$ は単射でないことを示せ。

代数学線形代数一次変換行列固有値固有ベクトル正射影
2025/5/21

1. 問題の内容

実数 θ\theta0<θ<π20 < \theta < \frac{\pi}{2} を満たすとする。写像 f:R2R2f: \mathbb{R}^2 \to \mathbb{R}^2xyxy 平面上の点を直線 l:y=(tanθ)xl: y = (\tan \theta) x に下ろした垂線の足に移す一次変換(直線 ll への正射影)とし、行列 AAf=fAf = f_A を満たす2次正方行列とする。ただし、fAf_A は行列 AA による一次変換である。以下の問いに答えよ。
(1) xyxy 平面上の2点 B(1,0),C(0,1)B(1,0), C(0,1) を写像 ff で移した点をそれぞれ B,CB', C' とする。このとき、点 B,CB', C' の座標をそれぞれ求めよ。
(2) 行列 AA を求めよ。
(3) 行列 AA の固有値を求めよ。また、各固有値に属する固有ベクトルを1つ求めよ。
(4) 写像 ff は単射でないことを示せ。

2. 解き方の手順

(1) 点 B(1,0)B(1,0) から直線 l:y=(tanθ)xl: y = (\tan \theta) x への垂線の足 BB' を求める。
ll の方程式は tanθ=sinθcosθ\tan \theta = \frac{\sin \theta}{\cos \theta} なので、y=sinθcosθxy = \frac{\sin \theta}{\cos \theta}x と表せる。
ll に垂直な直線の傾きは cosθsinθ-\frac{\cos \theta}{\sin \theta} であり、B(1,0)B(1,0) を通るので、
y=cosθsinθ(x1)y = -\frac{\cos \theta}{\sin \theta}(x - 1) となる。
この直線と ll の交点が BB' である。
sinθcosθx=cosθsinθ(x1)\frac{\sin \theta}{\cos \theta}x = -\frac{\cos \theta}{\sin \theta}(x - 1)
sin2θx=cos2θ(x1)\sin^2 \theta x = -\cos^2 \theta (x - 1)
(sin2θ+cos2θ)x=cos2θ(\sin^2 \theta + \cos^2 \theta)x = \cos^2 \theta
x=cos2θx = \cos^2 \theta
y=sinθcosθcos2θ=sinθcosθy = \frac{\sin \theta}{\cos \theta} \cos^2 \theta = \sin \theta \cos \theta
よって、B(cos2θ,sinθcosθ)B'(\cos^2 \theta, \sin \theta \cos \theta).
同様に、点 C(0,1)C(0,1) から直線 ll への垂線の足 CC' を求める。
ll に垂直で C(0,1)C(0,1) を通る直線は y1=cosθsinθxy - 1 = -\frac{\cos \theta}{\sin \theta} x
y=cosθsinθx+1y = -\frac{\cos \theta}{\sin \theta} x + 1.
sinθcosθx=cosθsinθx+1\frac{\sin \theta}{\cos \theta} x = -\frac{\cos \theta}{\sin \theta} x + 1
sin2θ+cos2θsinθcosθx=1\frac{\sin^2 \theta + \cos^2 \theta}{\sin \theta \cos \theta} x = 1
x=sinθcosθx = \sin \theta \cos \theta
y=sinθcosθsinθcosθ=sin2θy = \frac{\sin \theta}{\cos \theta} \sin \theta \cos \theta = \sin^2 \theta
よって、C(sinθcosθ,sin2θ)C'(\sin \theta \cos \theta, \sin^2 \theta).
(2) 行列 AA は、基本ベクトル (10)\begin{pmatrix} 1 \\ 0 \end{pmatrix}(01)\begin{pmatrix} 0 \\ 1 \end{pmatrix} の像を列ベクトルとする行列である。
B=A(10)=(cos2θsinθcosθ)B' = A \begin{pmatrix} 1 \\ 0 \end{pmatrix} = \begin{pmatrix} \cos^2 \theta \\ \sin \theta \cos \theta \end{pmatrix}
C=A(01)=(sinθcosθsin2θ)C' = A \begin{pmatrix} 0 \\ 1 \end{pmatrix} = \begin{pmatrix} \sin \theta \cos \theta \\ \sin^2 \theta \end{pmatrix}
したがって、A=(cos2θsinθcosθsinθcosθsin2θ)A = \begin{pmatrix} \cos^2 \theta & \sin \theta \cos \theta \\ \sin \theta \cos \theta & \sin^2 \theta \end{pmatrix}.
(3) 行列 AA の固有値を求める。
det(AλI)=(cos2θλ)(sin2θλ)(sinθcosθ)2=0\det(A - \lambda I) = (\cos^2 \theta - \lambda)(\sin^2 \theta - \lambda) - (\sin \theta \cos \theta)^2 = 0
cos2θsin2θλ(cos2θ+sin2θ)+λ2sin2θcos2θ=0\cos^2 \theta \sin^2 \theta - \lambda(\cos^2 \theta + \sin^2 \theta) + \lambda^2 - \sin^2 \theta \cos^2 \theta = 0
λ2λ=0\lambda^2 - \lambda = 0
λ(λ1)=0\lambda(\lambda - 1) = 0
よって、固有値は λ=0,1\lambda = 0, 1.
λ=0\lambda = 0 のとき、(A0I)v=0(A - 0I)v = 0 を満たす固有ベクトル vv を求める。
(cos2θsinθcosθsinθcosθsin2θ)(xy)=(00)\begin{pmatrix} \cos^2 \theta & \sin \theta \cos \theta \\ \sin \theta \cos \theta & \sin^2 \theta \end{pmatrix} \begin{pmatrix} x \\ y \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \end{pmatrix}
cos2θx+sinθcosθy=0\cos^2 \theta x + \sin \theta \cos \theta y = 0
cosθ(cosθx+sinθy)=0\cos \theta (\cos \theta x + \sin \theta y) = 0
cosθ0\cos \theta \neq 0 なので、cosθx+sinθy=0\cos \theta x + \sin \theta y = 0
x=sinθcosθy=tanθyx = -\frac{\sin \theta}{\cos \theta} y = -\tan \theta y.
v=(tanθ1)=(sinθcosθ)v = \begin{pmatrix} -\tan \theta \\ 1 \end{pmatrix} = \begin{pmatrix} -\sin \theta \\ \cos \theta \end{pmatrix}.
λ=1\lambda = 1 のとき、(A1I)v=0(A - 1I)v = 0 を満たす固有ベクトル vv を求める。
(cos2θ1sinθcosθsinθcosθsin2θ1)(xy)=(00)\begin{pmatrix} \cos^2 \theta - 1 & \sin \theta \cos \theta \\ \sin \theta \cos \theta & \sin^2 \theta - 1 \end{pmatrix} \begin{pmatrix} x \\ y \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \end{pmatrix}
(sin2θsinθcosθsinθcosθcos2θ)(xy)=(00)\begin{pmatrix} -\sin^2 \theta & \sin \theta \cos \theta \\ \sin \theta \cos \theta & -\cos^2 \theta \end{pmatrix} \begin{pmatrix} x \\ y \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \end{pmatrix}
sin2θx+sinθcosθy=0-\sin^2 \theta x + \sin \theta \cos \theta y = 0
sinθ(sinθx+cosθy)=0\sin \theta (-\sin \theta x + \cos \theta y) = 0
sinθ0\sin \theta \neq 0 なので、sinθx+cosθy=0-\sin \theta x + \cos \theta y = 0
y=sinθcosθx=tanθxy = \frac{\sin \theta}{\cos \theta} x = \tan \theta x
v=(1tanθ)=(cosθsinθ)v = \begin{pmatrix} 1 \\ \tan \theta \end{pmatrix} = \begin{pmatrix} \cos \theta \\ \sin \theta \end{pmatrix}.
(4) ff が単射でないことを示す。
写像 ff が単射でないとは、異なるベクトル v1,v2v_1, v_2 が存在して f(v1)=f(v2)f(v_1) = f(v_2) となることである。
あるいは、kerf{0}\ker f \neq \{0\} であることを示せばよい。
λ=0\lambda = 0 の固有ベクトル v=(sinθcosθ)v = \begin{pmatrix} -\sin \theta \\ \cos \theta \end{pmatrix} に対して、Av=0Av = 0 であるから、
(sinθcosθ)kerf\begin{pmatrix} -\sin \theta \\ \cos \theta \end{pmatrix} \in \ker f であり、(sinθcosθ)(00)\begin{pmatrix} -\sin \theta \\ \cos \theta \end{pmatrix} \neq \begin{pmatrix} 0 \\ 0 \end{pmatrix} なので、kerf{0}\ker f \neq \{0\}.
したがって、ff は単射ではない。

3. 最終的な答え

(1) B(cos2θ,sinθcosθ)B'(\cos^2 \theta, \sin \theta \cos \theta), C(sinθcosθ,sin2θ)C'(\sin \theta \cos \theta, \sin^2 \theta)
(2) A=(cos2θsinθcosθsinθcosθsin2θ)A = \begin{pmatrix} \cos^2 \theta & \sin \theta \cos \theta \\ \sin \theta \cos \theta & \sin^2 \theta \end{pmatrix}
(3) 固有値: λ=0,1\lambda = 0, 1.
固有ベクトル: λ=0\lambda = 0 に対して (sinθcosθ)\begin{pmatrix} -\sin \theta \\ \cos \theta \end{pmatrix}, λ=1\lambda = 1 に対して (cosθsinθ)\begin{pmatrix} \cos \theta \\ \sin \theta \end{pmatrix}
(4) 写像 ff は単射ではない。

「代数学」の関連問題

$$\alpha\beta = (\cos{\frac{7}{12}\pi} + i\sin{\frac{7}{12}\pi})(\cos{\frac{5}{12}\pi} + i\sin{\frac...

複素数極形式複素数の積複素数の商
2025/5/21

複素数 $\alpha$ と $\beta$ が与えられたとき、$\alpha\beta$ と $\frac{\alpha}{\beta}$ を極形式で表す問題です。ただし、偏角 $\theta$ の...

複素数極形式複素数の積複素数の商
2025/5/21

問題78では、次の各場合について、$\sqrt{x^2-6x+9}$を$x$の多項式で表す。 (1) $x-3 \ge 0$ (2) $x-3 < 0$ 問題79では、次の式を簡単にせよ。 (3) $...

根号絶対値式の計算平方根
2025/5/21

$x^2 + xy - 2y^2 = (x+2y)(x-y)$

因数分解多項式二次式たすき掛け
2025/5/21

与えられた二つの式を因数分解する問題です。 (1) $ax - by - ay + bx$ (2) $x^2 - xy - 2y - 4$

因数分解式の展開数式処理
2025/5/21

## 問題の内容

複素数極形式絶対値偏角
2025/5/21

与えられた4つの式を因数分解する問題です。 (1) $3x^2+8x-3$ (2) $6x^2-5x-6$ (3) $12x^2-25xy+12y^2$ (4) $3x^2-xy-10y^2$

因数分解二次式たすき掛け
2025/5/21

与えられた4つの式を因数分解する。 (1) $3x^2y + 6xy + 9xy^2$ (2) $a^2 + 10a + 25$ (3) $27x^2 - 12y^2$ (4) $2x^2 - 6x ...

因数分解多項式共通因数完全平方差の平方
2025/5/21

実数 $x$ について、命題「$-2 \leq x \leq 3 \implies k-6 \leq x \leq k$」が真となるような定数 $k$ の値の範囲を求める問題です。

不等式命題論理実数
2025/5/21

次の2つの式を展開する問題です。 (1) $(x^2 - 2x + 3)(x^2 - 2x - 3)$ (2) $(a + b + c)(a - b + c)$

展開多項式因数分解置換
2025/5/21