## 問題の回答

幾何学ベクトル一次独立一次従属空間ベクトル外積内積立方体
2025/6/19
## 問題の回答
###

1. 問題の内容

問題は2つあります。

1. 立方体 $ABCDEFGH$ において、与えられたベクトルの組が1次独立か1次従属かを判定する。

2. 空間ベクトル $\vec{a} = \begin{pmatrix} a_1 \\ a_2 \\ a_3 \end{pmatrix}, \vec{b} = \begin{pmatrix} b_1 \\ b_2 \\ b_3 \end{pmatrix}, \vec{c} = \begin{pmatrix} c_1 \\ c_2 \\ c_3 \end{pmatrix}$ に対して、以下の問いに答える。

* (1) b×c\vec{b} \times \vec{c} を求める。
* (2) a×(b×c)=(ac)b(ab)c\vec{a} \times (\vec{b} \times \vec{c}) = (\vec{a} \cdot \vec{c})\vec{b} - (\vec{a} \cdot \vec{b})\vec{c} が成立することを示す。
###

2. 解き方の手順

#### 問題1
1次独立: ベクトルの組の線形結合がゼロベクトルになるのが、すべての係数がゼロの場合のみ。
1次従属: ベクトルの組の線形結合がゼロベクトルになるのが、係数に少なくとも1つゼロでないものが存在する場合。
立方体の辺の長さを1とする。
AB=a\vec{AB} = \vec{a}, AD=b\vec{AD} = \vec{b}, AE=c\vec{AE} = \vec{c} とおく。
a,b,c\vec{a}, \vec{b}, \vec{c} は1次独立である。
* {AC,AD}={a+b,b}\{\vec{AC}, \vec{AD}\} = \{\vec{a}+\vec{b}, \vec{b}\} : 1次独立 (○)
* {AB,AG}={a,a+b+c}\{\vec{AB}, \vec{AG}\} = \{\vec{a}, \vec{a}+\vec{b}+\vec{c}\} : 1次独立 (○)
* {AE,HD}={c,b}\{\vec{AE}, \vec{HD}\} = \{\vec{c}, \vec{b}\} : 1次独立 (○)
* {AD,FC}={b,c}\{\vec{AD}, \vec{FC}\} = \{\vec{b}, \vec{c}\} : 1次独立 (○)
* {BC,BA,BF}={b,a,c}\{\vec{BC}, \vec{BA}, \vec{BF}\} = \{\vec{b}, -\vec{a}, \vec{c}\} : 1次独立 (○)
* {EF,EG,EH}={a,b,c}\{\vec{EF}, \vec{EG}, \vec{EH}\} = \{\vec{a}, \vec{b}, \vec{c}\} : 1次独立 (○)
* {AB,AB,AC}={a,a,a+b}\{\vec{AB}, \vec{AB}, \vec{AC}\} = \{\vec{a}, \vec{a}, \vec{a}+\vec{b}\} : 1次従属 (×)
* {BD,BG,BH}={ba,a+c,b+c}\{\vec{BD}, \vec{BG}, \vec{BH}\} = \{\vec{b}-\vec{a}, \vec{a}+\vec{c}, \vec{b}+\vec{c}\} : 1次独立 (○)
* {AG,EF,BG}={a+b+c,a,b+c}\{\vec{AG}, \vec{EF}, \vec{BG}\} = \{\vec{a}+\vec{b}+\vec{c}, \vec{a}, \vec{b}+\vec{c}\} : 1次従属 (×) なぜなら(a+b+c)a(b+c)=0(\vec{a}+\vec{b}+\vec{c}) - \vec{a} - (\vec{b}+\vec{c}) = \vec{0}
* {AB,BF,DG}={a,c,a+c}\{\vec{AB}, \vec{BF}, \vec{DG}\} = \{\vec{a}, \vec{c}, -\vec{a}+\vec{c}\} : 1次従属 (×) なぜならa+c(a+c)=0-\vec{a} + \vec{c} - (-\vec{a}+\vec{c}) = \vec{0}
#### 問題2
(1) b×c\vec{b} \times \vec{c} を求める。
b×c=(b2c3b3c2b3c1b1c3b1c2b2c1)\vec{b} \times \vec{c} = \begin{pmatrix} b_2c_3 - b_3c_2 \\ b_3c_1 - b_1c_3 \\ b_1c_2 - b_2c_1 \end{pmatrix}
(2) a×(b×c)=(ac)b(ab)c\vec{a} \times (\vec{b} \times \vec{c}) = (\vec{a} \cdot \vec{c})\vec{b} - (\vec{a} \cdot \vec{b})\vec{c} が成立することを示す。
まず、左辺を計算する。
a×(b×c)=(a1a2a3)×(b2c3b3c2b3c1b1c3b1c2b2c1)=(a2(b1c2b2c1)a3(b3c1b1c3)a3(b2c3b3c2)a1(b1c2b2c1)a1(b3c1b1c3)a2(b2c3b3c2))=(a2b1c2a2b2c1a3b3c1+a3b1c3a3b2c3a3b3c2a1b1c2+a1b2c1a1b3c1a1b1c3a2b2c3+a2b3c2)\vec{a} \times (\vec{b} \times \vec{c}) = \begin{pmatrix} a_1 \\ a_2 \\ a_3 \end{pmatrix} \times \begin{pmatrix} b_2c_3 - b_3c_2 \\ b_3c_1 - b_1c_3 \\ b_1c_2 - b_2c_1 \end{pmatrix} = \begin{pmatrix} a_2(b_1c_2 - b_2c_1) - a_3(b_3c_1 - b_1c_3) \\ a_3(b_2c_3 - b_3c_2) - a_1(b_1c_2 - b_2c_1) \\ a_1(b_3c_1 - b_1c_3) - a_2(b_2c_3 - b_3c_2) \end{pmatrix} = \begin{pmatrix} a_2b_1c_2 - a_2b_2c_1 - a_3b_3c_1 + a_3b_1c_3 \\ a_3b_2c_3 - a_3b_3c_2 - a_1b_1c_2 + a_1b_2c_1 \\ a_1b_3c_1 - a_1b_1c_3 - a_2b_2c_3 + a_2b_3c_2 \end{pmatrix}
次に、右辺を計算する。
(ac)b(ab)c=(a1c1+a2c2+a3c3)(b1b2b3)(a1b1+a2b2+a3b3)(c1c2c3)=(a1c1b1+a2c2b1+a3c3b1a1b1c1a2b2c1a3b3c1a1c1b2+a2c2b2+a3c3b2a1b1c2a2b2c2a3b3c2a1c1b3+a2c2b3+a3c3b3a1b1c3a2b2c3a3b3c3)=(a2c2b1+a3c3b1a2b2c1a3b3c1a1c1b2+a3c3b2a1b1c2a3b3c2a1c1b3+a2c2b3a1b1c3a2b2c3)(\vec{a} \cdot \vec{c})\vec{b} - (\vec{a} \cdot \vec{b})\vec{c} = (a_1c_1 + a_2c_2 + a_3c_3)\begin{pmatrix} b_1 \\ b_2 \\ b_3 \end{pmatrix} - (a_1b_1 + a_2b_2 + a_3b_3)\begin{pmatrix} c_1 \\ c_2 \\ c_3 \end{pmatrix} = \begin{pmatrix} a_1c_1b_1 + a_2c_2b_1 + a_3c_3b_1 - a_1b_1c_1 - a_2b_2c_1 - a_3b_3c_1 \\ a_1c_1b_2 + a_2c_2b_2 + a_3c_3b_2 - a_1b_1c_2 - a_2b_2c_2 - a_3b_3c_2 \\ a_1c_1b_3 + a_2c_2b_3 + a_3c_3b_3 - a_1b_1c_3 - a_2b_2c_3 - a_3b_3c_3 \end{pmatrix} = \begin{pmatrix} a_2c_2b_1 + a_3c_3b_1 - a_2b_2c_1 - a_3b_3c_1 \\ a_1c_1b_2 + a_3c_3b_2 - a_1b_1c_2 - a_3b_3c_2 \\ a_1c_1b_3 + a_2c_2b_3 - a_1b_1c_3 - a_2b_2c_3 \end{pmatrix}
2つの結果を比較すると、確かに等しいことがわかる。
###

3. 最終的な答え

#### 問題1
(○) {AC,AD}\{\vec{AC}, \vec{AD}\}
(○) {AB,AG}\{\vec{AB}, \vec{AG}\}
(○) {AE,HD}\{\vec{AE}, \vec{HD}\}
(○) {AD,FC}\{\vec{AD}, \vec{FC}\}
(○) {BC,BA,BF}\{\vec{BC}, \vec{BA}, \vec{BF}\}
(○) {EF,EG,EH}\{\vec{EF}, \vec{EG}, \vec{EH}\}
(×) {AB,AB,AC}\{\vec{AB}, \vec{AB}, \vec{AC}\}
(○) {BD,BG,BH}\{\vec{BD}, \vec{BG}, \vec{BH}\}
(×) {AG,EF,BG}\{\vec{AG}, \vec{EF}, \vec{BG}\}
(×) {AB,BF,DG}\{\vec{AB}, \vec{BF}, \vec{DG}\}
#### 問題2
(1) b×c=(b2c3b3c2b3c1b1c3b1c2b2c1)\vec{b} \times \vec{c} = \begin{pmatrix} b_2c_3 - b_3c_2 \\ b_3c_1 - b_1c_3 \\ b_1c_2 - b_2c_1 \end{pmatrix}
(2) a×(b×c)=(ac)b(ab)c\vec{a} \times (\vec{b} \times \vec{c}) = (\vec{a} \cdot \vec{c})\vec{b} - (\vec{a} \cdot \vec{b})\vec{c} が成立する (証明は上記参照)。

「幾何学」の関連問題

上底が $a$ cm、下底が $b$ cm、高さが $h$ cmの台形の面積を $S$ cm$^2$ とするとき、高さ $h$ を $a$, $b$, $S$ を使って表す問題です。

台形面積公式代数
2025/6/19

半径3cmの球と、底面の半径が3cm、高さが6cmの円錐がある。球の体積は円錐の体積の何倍か求めよ。

体積円錐図形
2025/6/19

## 問題の内容

ベクトル内積メネラウスの定理チェバの定理空間ベクトル
2025/6/19

問題は、台形の面積 $V$ を上底 $a$, 下底 $b$, 高さ $h$ を用いて表し、次にその式を $h$ について解くことです。

台形面積公式変形
2025/6/19

双曲線 $x^2 - y^2 = 1$ の漸近線 $y=x$ 上の点 $P_0(a_0, a_0)$ (ただし $a_0 > 0$) を通る双曲線の接線を考え、接点を $Q_1$ とする。$Q_1$ ...

双曲線接線数列漸近線
2025/6/19

一辺の長さが $p$ m の正方形の土地の周囲に、幅が $a$ m の道があります。道の面積を $S$ m$^2$、道の真ん中を通る線の長さを $l$ m とするとき、$S = al$ となることを証...

面積正方形証明
2025/6/19

一辺の長さが $p$ mの正方形の土地の周りに、幅が $a$ mの道がある。道の面積を $S$ m$^2$、道の真ん中を通る線の長さを $l$ mとするとき、$S = al$ となることを証明する。

面積正方形証明周の長さ代数
2025/6/19

媒介変数 $t$ で表された曲線 $x = \frac{1+4t+t^2}{1+t^2}$, $y = \frac{3+t^2}{1+t^2}$ について、以下の問いに答えます。 (1) 曲線 $C$...

楕円媒介変数表示曲線焦点
2025/6/19

一辺の長さが $a$ の立方体Pについて、以下の問いに答えます。 (1) 立方体Pの表面積を式で表す。 (2) 一辺を2倍にすると、表面積は何倍になるか。 (3) 立方体Pの体積を式で表す。 (4) ...

立方体表面積体積倍率
2025/6/19

半径 $r$ の円 $O$ について、以下の問いに答える問題です。 (1) 円 $O$ の円周の長さを式で表す。 (2) 半径を3倍にすると、円周の長さは何倍になるか。 (3) 円 $O$ の面積を式...

円周面積半径円周率
2025/6/19