跳到主要内容

名古屋大学 情報学研究科 複雑系科学専攻 2022年8月実施 数1 [3]

Author​

思齐塾, 祭音Myyura

Description​

実数の2次正方行列 AA,AA の転置行列 ATA^T,単位行列 II をそれぞれ

A=(acbd),AT=(abcd),I=(1001)A=\begin{pmatrix}a&c\\b&d\end{pmatrix},\qquad A^T=\begin{pmatrix}a&b\\c&d\end{pmatrix},\qquad I=\begin{pmatrix}1&0\\0&1\end{pmatrix}

と書く.ATA=IA^TA=I となるとき,AA を直交行列という.2次元実数ベクトル r,r′,h\boldsymbol r,\boldsymbol r',\boldsymbol h と2次の直交行列 AA と正の実数 λ\lambda に対して

r′=λAr+h\boldsymbol r'=\lambda A\boldsymbol r+\boldsymbol h

の成分表示を

(x′y′)=λ(acbd)(xy)+(ef)\begin{pmatrix}x'\\y'\end{pmatrix}=\lambda\begin{pmatrix}a&c\\b&d\end{pmatrix}\begin{pmatrix}x\\y\end{pmatrix}+\begin{pmatrix}e\\f\end{pmatrix}

と書き,これで定まる r\boldsymbol r から r′\boldsymbol r' への写像を相似変換と呼ぶ.とくに λ=1\lambda=1 の場合,合同変換と呼ぶ.以下の問に答えよ.

[3]​

ℓ,m,ℓ′,m′\ell,m,\ell',m' は正の実数とする.次の方程式(a),(b)で表される平面上の図形をそれぞれ Fa,FbF_a,F_b と呼ぶことにする.以下の問に答えよ.

(a)x2ℓ2+y2m2=1,(b)x′2ℓ′2+y′2m′2=1\text{(a)}\quad\frac{x^2}{\ell^2}+\frac{y^2}{m^2}=1,\qquad \text{(b)}\quad\frac{x'^2}{\ell'^2}+\frac{y'^2}{m'^2}=1
  1. (x,y)(x,y) を直交座標とする平面に図形 FaF_a を描け.

  2. 図形 FaF_a を図形 FbF_b に移す相似変換が存在するための必要十分条件を ℓ,m,ℓ′,m′\ell,m,\ell',m' に関する数式で表せ.ℓ>m,ℓ=m,ℓ<m,ℓ′>m′,ℓ′=m′,ℓ′<m′\ell>m,\ell=m,\ell<m,\ell'>m',\ell'=m',\ell'<m' の場合があることに注意せよ.

  3. 図形 FaF_a を図形 FbF_b に移す相似変換が存在するとき,そのような相似変換をすべて成分表示で示せ.図形を移す相似変換は一つとは限らないことに注意せよ.

题目描述​

将实二阶方阵 AA、其转置 ATA^T 及单位矩阵 II 分别写为

A=(acbd),AT=(abcd),I=(1001).A=\begin{pmatrix}a&c\\b&d\end{pmatrix},\qquad A^T=\begin{pmatrix}a&b\\c&d\end{pmatrix},\qquad I=\begin{pmatrix}1&0\\0&1\end{pmatrix}.

当 ATA=IA^TA=I 时,称 AA 为正交矩阵。对二维实向量 r,r′,h\boldsymbol r,\boldsymbol r',\boldsymbol h、二阶正交矩阵 AA 及正实数 λ\lambda,将

r′=λAr+h\boldsymbol r'=\lambda A\boldsymbol r+\boldsymbol h

的分量表示写为

(x′y′)=λ(acbd)(xy)+(ef).\begin{pmatrix}x'\\y'\end{pmatrix}=\lambda\begin{pmatrix}a&c\\b&d\end{pmatrix}\begin{pmatrix}x\\y\end{pmatrix}+\begin{pmatrix}e\\f\end{pmatrix}.

称由此确定的从 r\boldsymbol r 到 r′\boldsymbol r' 的映射为相似变换。特别地,当 λ=1\lambda=1 时称为全等变换。回答下列问题。

[3] 设 ℓ,m,ℓ′,m′\ell,m,\ell',m' 为正实数,将下列方程(a)、(b)表示的平面图形分别记为 Fa,FbF_a,F_b。

(a)x2ℓ2+y2m2=1,(b)x′2ℓ′2+y′2m′2=1\text{(a)}\quad\frac{x^2}{\ell^2}+\frac{y^2}{m^2}=1,\qquad \text{(b)}\quad\frac{x'^2}{\ell'^2}+\frac{y'^2}{m'^2}=1
  1. 在以 (x,y)(x,y) 为直角坐标的平面上画出 FaF_a。

  2. 用关于 ℓ,m,ℓ′,m′\ell,m,\ell',m' 的数学式表示存在将 FaF_a 映到 FbF_b 的相似变换的充分必要条件。注意存在 ℓ>m,ℓ=m,ℓ<m,ℓ′>m′,ℓ′=m′,ℓ′<m′\ell>m,\ell=m,\ell<m,\ell'>m',\ell'=m',\ell'<m' 各种情况。

  3. 当存在将 FaF_a 映到 FbF_b 的相似变换时,用分量形式写出所有这样的相似变换。注意符合要求的变换不一定唯一。

Kai​

1)​

図形 FaF_a は楕円である。 l>ml > m の場合、x軸方向に ll 、y軸方向に mm だけ伸びた楕円。 l=ml = m の場合、円。 l<ml < m の場合、y軸方向に mm 、x軸方向に ll だけ伸びた楕円。

l > m

l = m

l < m

2)​

相似変換はすべての長さを同じ比で変えるので,二つの半軸の 長さの比は,順序を除いて保存される。したがって必要十分条件は

l′m′=lmまたはl′m′=ml.\boxed{ \frac{l'}{m'}=\frac lm \quad\text{または}\quad \frac{l'}{m'}=\frac ml }.

これは,ある ρ>0\rho>0 に対して (l′,m′)=(ρl,ρm)(l',m')=(\rho l,\rho m) または (l′,m′)=(ρm,ρl)(l',m')=(\rho m,\rho l) と書けることと同値である。 特に,一方が円なら他方も円でなければならない。

3)​

楕円の中心は一意なので,求める相似変換の平行移動成分は 00 である。

  • l≠ml\neq m かつ (l′,m′)=(ρl,ρm)(l',m')=(\rho l,\rho m) の場合,すべての変換は
Tε1,ε2(x,y)=ρ(ε1x,ε2y),ε1,ε2∈{1,−1}.\boxed{ T_{\varepsilon_1,\varepsilon_2}(x,y) =\rho(\varepsilon_1x,\varepsilon_2y), \qquad \varepsilon_1,\varepsilon_2\in\{1,-1\}. }
  • l≠ml\neq m かつ (l′,m′)=(ρm,ρl)(l',m')=(\rho m,\rho l) の場合,すべての変換は
Tε1,ε2(x,y)=ρ(ε1y,ε2x),ε1,ε2∈{1,−1}.\boxed{ T_{\varepsilon_1,\varepsilon_2}(x,y) =\rho(\varepsilon_1y,\varepsilon_2x), \qquad \varepsilon_1,\varepsilon_2\in\{1,-1\}. }
  • l=ml=m かつ l′=m′l'=m' の場合, ρ=l′/l\rho=l'/l として,すべての変換は
T(x)=ρQx(Q∈O(2))\boxed{T(x)=\rho Qx\qquad(Q\in O(2))}

である。成分表示では,任意の θ\theta に対する

ρ(cos⁡θ−sin⁡θsin⁡θcos⁡θ)(xy),ρ(cos⁡θsin⁡θsin⁡θ−cos⁡θ)(xy)\rho \begin{pmatrix} \cos\theta&-\sin\theta\\ \sin\theta&\cos\theta \end{pmatrix} \begin{pmatrix}x\\y\end{pmatrix}, \qquad \rho \begin{pmatrix} \cos\theta&\sin\theta\\ \sin\theta&-\cos\theta \end{pmatrix} \begin{pmatrix}x\\y\end{pmatrix}

の二つの族である。

Reference​