目標: Pluck の座標を理解する方法
最近論文を読んで直線の表現に出会いました。最近プロジェクトを書いていたため、このような問題に遭遇しましたが、この種の問題に対する中国語の資料があまりないので、私自身の理解を記録します。
定義:従来のユークリッド座標系における直線のベクトル表現: L : r → = P → + tl → L:\overrightarrow{r}=\overrightarrow{\bm{P}}+t\overrightarrow{ \ BM{l}}L:r=P+t私Pを減算します→ = ( p 0 p 1 p 2 ) \overrightarrow{\bm{P}}=\begin{pmatrix}p_0\\p_1\\p_2\end{pmatrix}P=⎝ ⎛p0p1p2⎠ ⎞, l → = ( l 0 l 1 l 2 ) \overrightarrow{\bm{l}}=\begin{pmatrix} l_0 \\ l_1 \\ l_2 \end{pmatrix}私=⎝ ⎛私0私1私2⎠ ⎞、ここでP → \overrightarrow{\bm{P}}Pは直線上の頂点を表します、l → \overrightarrow{\bm{l}}私線の方向です。
定義:プリュッカー座標系では、直線の式は一般に( l → , m → ) (\overrightarrow{\bm{l}},\overrightarrow{\bm{m}}) と表現されます。(私、メートル),その中m → = p → × l → \overrightarrow{\bm{m}} =\overrightarrow{\bm{p}} \times \overrightarrow{\bm{l}}メートル=p×私、と呼ばれる:モーメント ベクトル モーメント \スペース ベクトルm o m e n tv ec t or , l → \overrightarrow{\ bm{l}}私線の方向です。
しかし、多くの人は ( l → 、 m → ) (\overrightarrow{\bm{l}},\overrightarrow{\bm{m}}) を理解していません。(私、メートル)は幾何学的な意味で直線を表現します。そして、それはユークリッド座標系の直線とどのような関係があるのでしょうか?
答え:
まず、非常に重要なベクトルl → \overrightarrow{\bm{l}}を理解する必要があります。私、これはライン上の方向です。ユークリッド幾何学の直線の方向と同じで、直線の方向を意味します。下図に示すように、直線の方向であり、一般に長さの情報は持たず、正規化できますが、正規化しない場合はスケールを与えるので、 c = ∣ l → と表すことができます。 ∣ c=|\overrightarrow{\bm{l } }|c=∣私∣。そしてこのCCcがm → \overrightarrow{\bm{m}}を提供しましたメートル(なぜならm → \overrightarrow{\bm{m}}メートルl → \overrightarrow{\bm{l}}からも派生します私)。以下の計算により、 l → \overrightarrow{\bm{l}}であることがわかります。私スケール変数は提供されていません。実際には、スケール変数は直線上の頂点Pから取得されます → \overrightarrow{\bm{P}}PP → \overrightarrow{\bm{P}}P和m → \overrightarrow{\bm{m}}メートルラインのもう 1 つの重要な変数であるライン上の頂点を一緒に決定します。次の図はP → ⊥ \overrightarrow{\bm{P}}\botとして表されますP⊥、これは線に垂直な頂点です。
もう 1 つの非常に重要なベクトルm → \overrightarrow{\bm{m}}を再度理解します。メートル、方向を示すことに加えて、長さの情報もあり、それと直線上の頂点 p → \overrightarrow{\bm{p}}p関係ない。これは非常に重要なプロパティです。
証明: m → \overrightarrow{\bm{m}}メートルそしてp → \overrightarrow{\bm{p}}pm → = p → × l → \overrightarrow{\bm{m}} = \overrightarrow{\bm{p}} \times \overrightarrow{\bm{l}} と仮定すると、(線上の頂点は)無関係です。メートル=p×私;直線上の別の頂点p ' → \overrightarrow{\bm{p'}}p』は直線上の任意の頂点です。p ' → − p → = λ l → \overrightarrow{\bm{p'}}- \overrightarrow{\bm{p}}=\lambda \overrightarrow{\bm{l}}p』−p=私私。証明は直線上の頂点とは何の関係もないので、次のようになります:
p ' → × l → = ( λ l → + p → ) × l → = λ l → × l → + p → × l → = p → × l → = m → \overrightarrow{\bm{p'}} \times \overrightarrow{\bm{l}} \\ = (\lambda \overrightarrow{\bm{l}}+\overrightarrow{\ bm{p}}) \times \overrightarrow{\bm{l}} \\ = \lambda \overrightarrow{\bm{l}} \times \overrightarrow{\bm{l}}+\overrightarrow{\bm{p }} \times \overrightarrow{ \bm{l}} \\ = \overrightarrow{\bm{p}} \times \overrightarrow{\bm{l}} = \overrightarrow{\bm{m}}p』×私=( l私+p)×私=私私×私+p×私=p×私=メートル
グラフを見ると次のようになります: m → \overrightarrow{\bm{m}}メートルpに垂直→ \overrightarrow{\bm{p}}p和l → \overrightarrow{\bm{l}}私それが配置されている飛行機。m → \overrightarrow{\bm{m}}メートル∣ m → ∣ |\overrightarrow{\bm{m}}|の長さ∣メートル∣。原点から直線への垂線はP → ⊥ \overrightarrow{\bm{P}}\botP⊥。
ベクトルl → \overrightarrow{\bm{l}}私は単位ベクトルです。ベクトルP → ⊥ \overrightarrow{\bm{P}}\botP⊥の長さは∣ m → ∣ |\overrightarrow{\bm{m}}|と同じです∣メートル∣長さは同じで、位置決め線の頂点でもあり、線の頂点に相当します(したがって、線の方向と頂点によって線は一意に決まります)。この結論を証明するには、l ' → \overrightarrow{\bm{l}'}私』m → \overrightarrow{\bm{m}}なので、は直線上の単位ベクトルです。メートルp → × l → \overrightarrow{\bm{p}} \times \overrightarrow{\bm{l}}からp×私, したがって、それも変化します。これは、m ' → \overrightarrow{\bm{m}'}と表すことができます。メートル』したがって:c l ' → = l → \overrightarrow{\bm{l}'} =\overrightarrow{\bm{l}}私』=私;c m ' → = m → \overrightarrow{\bm{m}'}=\overrightarrow{\bm{m}}メートル』=メートル
计算P → ⊥ = l ' → × m ' → \overrightarrow{\bm{P}}\bot = \overrightarrow{\bm{l}'} \times \overrightarrow{\bm{m'}}P⊥=私』×メートル』
発現ベクトルは次のとおりです: P → ⊥ P → = tl ' → \overrightarrow{\bm{P}}\bot \overrightarrow{\bm{P}} = t \overrightarrow{\bm{l}'}P⊥P=t私』, O → P → = P → \overrightarrow{\bm{O}}\overrightarrow{\bm{P}}=\overrightarrow{\bm{P}}○P=P(Oが原点だから)。
因みに知道cos ( θ ) = ∣ P → ⊥ P → ∣ / ∣ O → P → ∣ = ( l ′ → ⋅ P → ) / ( ∣ l ′ → ∣ ⋅ ∣ P → ∣ ) cos(\theta) = | \overrightarrow{\bm{P}}\bot \overrightarrow{\bm{P}}| / |\overrightarrow{\bm{O}}\overrightarrow{\bm{P}}| = (\overrightarrow{\bm{l}'} \cdot \overrightarrow{\bm{P}}) / (| \overrightarrow{\bm{l}'}| \cdot |\overrightarrow{\bm{P}} |)cos ( θ )=∣P⊥P∣/∣○P∣=(私』⋅P) / ( ∣私』∣⋅∣P∣ )、これは基本的な三角関数の公式です。
∣ P → ⊥ P → ∣ = ∣ O → P → ∣ cos ( θ ) = ( l ′ → ⋅ P → ) / ∣ l ′ → ∣ = l ′ → ⋅ P → (l ′ → は単位ベクトルであるため) | \overrightarrow{\bm{P}}\bot \overrightarrow{\bm{P}}| \\=|\overrightarrow{\bm{O}}\overrightarrow{\bm{P}}|cos(\theta) \ \ = (\overrightarrow{\bm{l}'} \cdot \overrightarrow{\bm{P}} )/ |\overrightarrow{\bm{l}'}| \\ = \overrightarrow{\bm{l} ' } \cdot \overrightarrow{\bm{P}} (\overrightarrow{\bm{l}'} は単位ベクトルであるため)∣P⊥P∣=∣○P∣ cos ( θ )=(私』⋅P) /∣私』∣=私』⋅P(なぜなら私』は単位ベクトルです)
上記の式を計算すると、垂直点は次のように取得できます。
P → ⊥ = P → − ( l ′ → ⋅ P → ) l ′ → = ( l ′ → ⋅ l ′ → ) P → − ( l ′ → ⋅ P → ) l ′ → = l ′ → × ( P → × l ' → ) = l ' → × m ' → \overrightarrow{\bm{P}}\bot =\overrightarrow{\bm{P}}-(\overrightarrow{\bm{l}'} \cdot \overrightarrow {\bm{P}})\overrightarrow{\bm{l}'} \\ = (\overrightarrow{\bm{l}'} \cdot \overrightarrow{\bm{l}'})\overrightarrow{\bm {P}} - (\overrightarrow{\bm{l}'} \cdot \overrightarrow{\bm{P}})\overrightarrow{\bm{l}'} \\ = \overrightarrow{\bm{l}' } \times (\overrightarrow{\bm{P}} \times \overrightarrow{\bm{l}'}) \\ = \overrightarrow{\bm{l}'} \times \overrightarrow{\bm{m}' }P⊥=P−(私』⋅P)私』=(私』⋅私』)P−(私』⋅P)私』=私』×(P×私』)=私』×メートル』
上の式からわかるように、直線上の頂点 P → ⊥ \overrightarrow{\bm{P}}\botP⊥次の 2 つの式がありますl '' → × m '' → \overrightarrow{\bm{l}'} \times \overrightarrow{\bm{m}'}私』×メートル』得る。また、直線の一意性も決まります。P → ⊥ \overrightarrow{\bm{P}}\botP⊥が変化すると、方向は同じですが位置が変わりますので、直線の位置も変わります。したがって、直線上の頂点はl ' → × m ' → \overrightarrow{\bm{l}'} \times \overrightarrow{\bm{m}'}私』×メートル』決定。
if l → \overrightarrow{\bm{l}}私は単位ベクトルではなく、l → \overrightarrow{\bm{l}}であるため、独自の長さを持ちます。私l ′ → = l → / ∣ l → ∣ = l → / c \overrightarrow{\bm{l}'}=\overrightarrow{\bm{l}}/|\overrightarrow{\bm{l と表すことができます。}}|=\overrightarrow{\bm{l}}/c私』=私/∣私∣=私/ c ,因此公式中:
P → ⊥ = l ′ → × m ′ → = ( l → / ∣ l → ∣ ) × m ′ → = ( l → × m ′ → ) / ∣ l → ∣ = ( l → × m ' → ) / c = ( l → × ( m → / c ) ) / c = ( l → × m → ) / c 2 \overrightarrow{\bm{P}}\bot =\overrightarrow{\bm{ l}'} \times \overrightarrow{\bm{m}'} = (\overrightarrow{\bm{l}}/|\overrightarrow{\bm{l}}|) \times \overrightarrow{\bm{m} '} \\ = (\overrightarrow{\bm{l}} \times \overrightarrow{\bm{m}'})/|\overrightarrow{\bm{l}}| =(\overrightarrow{\bm{l}} \times \overrightarrow{\bm{m}'} )/c \\ = (\overrightarrow{\bm{l}} \times (\overrightarrow{\bm{m} }/c ))/c=(\overrightarrow{\bm{l}} \times \overrightarrow{\bm{m}}) /c^2P⊥=私』×メートル』=(私/∣私∣ )×メートル』=(私×メートル』) /∣私∣=(私×メートル』) / c=(私×(メートル/ c )) / c=(私×メートル) / c2
式からわかるように、
原点から直線までの距離は∣ P → ⊥ ∣ = ∣ ( l → × m → ) ∣ / c 2 = ∣ ( l → × m → ) ∣ / ∣ l → ∣ 2 | \overrightarrow{\bm{P}}\bot|=|(\overrightarrow{\bm{l}} \times \overrightarrow{\bm{m}})| / c^2=|( \overrightarrow{\bm{ l}} \times \overrightarrow{\bm{m}})|/|\overrightarrow{\bm{l}}|^2∣P⊥∣=∣ (私×メートル) ∣/ c2=∣ (私×メートル) ∣/∣私∣2 、 l → \overrightarrow{\bm{l}}に関係なく取得できます私m → \overrightarrow{\bm{m}}である限り正規化するかどうかメートルそして正規化されたl → \overrightarrow{\bm{l}}私一貫性を保ってください、大丈夫です。
同時に、
( l → , m → ) = ( cl → , cm → ) (\overrightarrow{\bm{l}} ,\overrightarrow{\bm{m}} ) = (c\ overrightarrow{\bm{l }} 、 c\overrightarrow{\bm{m}} )(私、メートル)=( c私、cメートル)
等号は、同じ直線の表現であることを意味します。
証明:P → ⊥ \overrightarrow{\bm{P}}\botP⊥公式で十分です。
参考論文:空間内の線のプリュッカー座標 ∗