単体導出/垂線 - NEETUBOTの完全座標幾何学 | 超現代和算二大最重要概念Bipolar双極座標系Elliptic楕円座標系で射影幾何問題も一発よ Complete Coordinate System Geometry 唵ーん！

now 2026-08-02 11:16:42 (Sun)

GEOMETRY MENU

Top（トップページ）

ユークリッド幾何の導入

位相幾何学

Reference（参考文献）

著作権表示

This Work by Neetubot Sanshi Nanasi and others is licensed under a Creative Commons Attribution 3.0 Unported License .

today -/ total -

メニューを編集

&link_rss_new(text=RSSフィード)

リンクフリー

Neetubot◆NMwJFki61g's Analytical Geometry

姉妹サイトもヨロシクっす
Kummer◆IxIr9aihfg's Mathematical Notes

plugin_google_calendar: エラー ( 正しいHTMLタグを入力してください. )

更新履歴

取得中です。

右メニューを編集

このページを編集

n次元単体の垂線の定義

n次元単体のi点からi対面へ垂直に向かうベクトルをi垂線 $\mathbf{h}_i$ と書く。
$\mathbf{L}$ で表されるn次元空間への正射影行列は $\mathbf{W}[\mathbf{L}] = \mathbf{L} \frac{\mathbf{C}[\mathbf{L}^T \mathbf{L}]}{v^n} \mathbf{L}^T = \mathbf{P} \frac{\tilde{\mathbf{C}}[\mathbf{P}^T \mathbf{P}]}{v^n} \mathbf{P}^T$
となることから、i垂線は $\mathbf{h}_i = - \left( \overset{[m \times m]}{\mathbf{E}} - \mathbf{W}\left[\underset{\ominus \mathbf{l}_i}{\mathbf{L}}\right] \right) \mathbf{l}_i$ と表せる。

n次元単体のi垂線の方向表記

$\mathbf{h}_i = \left{ \begin{matrix} [i = 0] & \frac{\mathbf{L} \mathbf{C}[\mathbf{L}^T \mathbf{L}] \overset{[n]}{\mathbf{1}}}{\overset{[n]}{\mathbf{1}}^T \mathbf{C}[\mathbf{L}^T \mathbf{L}] \overset{[n]}{\mathbf{1}}} = \frac{\mathbf{L} \mathbf{C}[\mathbf{L}^T \mathbf{L}] \mathbf{1}}{v_0^{n-1}} \\ [i \neq 0] & - \frac{\mathbf{L} \mathbf{C}[\mathbf{L}^T \mathbf{L}] \overset{[n]}{\mathbf{e}_i}}{\overset{[n]}{\mathbf{e}_i}^T \mathbf{C}[\mathbf{L}^T \mathbf{L}] \overset{[n]}{\mathbf{e}_i}} = - \frac{\mathbf{L} \mathbf{C}[\mathbf{L}^T \mathbf{L}] \mathbf{e}_i}{v_i^{n-1}} \end{matrix} \right.$ と書ける。

n次元単体のi垂線の位置表記

$\mathbf{h}_i = - \frac{\mathbf{P} \tilde{\mathbf{C}}[\mathbf{P}^T \mathbf{P}] \overset{[n+1]}{\tilde{\mathbf{e}_i}}}{\overset{[n+1]}{\tilde{\mathbf{e}_i}}^T \tilde{\mathbf{C}}[\mathbf{P}^T \mathbf{P}] \overset{[n+1]}{\tilde{\mathbf{e}_i}}} = - \frac{\mathbf{P} \tilde{\mathbf{C}}[\mathbf{P}^T \mathbf{P}] \tilde{\mathbf{e}_i}}{v_i^{n-1}}$ と書ける。

n次元単体の垂線長の自乗 $\mathbf{h}_i^T \mathbf{h}_i$

n次元単体の超表面積をふまえて、
$\mathbf{h}_i^T \mathbf{h}_i = \frac{v^n}{v_i^{n-1}} = \left{ \begin{matrix} [i = 0] & \frac{\det[\mathbf{L}^T \mathbf{L}]}{\mathbf{1}^T \mathbf{C}[\mathbf{L}^T \mathbf{L}] \mathbf{1}} \\ [i \neq 0] & \frac{\det[\mathbf{L}^T \mathbf{L}]}{\mathbf{e}_i^T \mathbf{C}[\mathbf{L}^T \mathbf{L}] \mathbf{e}_i} \end{matrix} \right.$
$\mathbf{h}_i^T \mathbf{h}_i = \frac{\mathbf{1}^T \mathbf{C}[\mathbf{P}^T \mathbf{P}] \mathbf{1}}{\tilde{\mathbf{e}_i}^T \tilde{\mathbf{C}}[\mathbf{P}^T \mathbf{P}] \tilde{\mathbf{e}_i}} = \frac{\mathbf{1}^T \mathbf{C}[- \tilde{\mathbf{B}}] \mathbf{1}}{\tilde{\mathbf{e}_i}^T \tilde{\mathbf{C}}[- \tilde{\mathbf{B}}] \tilde{\mathbf{e}_i}}$ と書ける。

逆垂線総和定理

$\frac{\mathbf{h}_i}{\mathbf{h}_i^T \mathbf{h}_i} = - \mathbf{P} \frac{\tilde{\mathbf{C}}[\mathbf{P}^T \mathbf{P}]}{v^n} \overset{[n+1]}{\mathbf{e}_i} = \left{ \begin{matrix} [i = 0] & \mathbf{L} \frac{\mathbf{C}[\mathbf{L}^T \mathbf{L}]}{v^n} \overset{[n]}{\mathbf{1}} \\ [i \neq 0] & - \mathbf{L} \frac{\mathbf{C}[\mathbf{L}^T \mathbf{L}]}{v^n} \overset{[n]}{\mathbf{e}_i} \end{matrix} \right.$ とも書けるので、
$\sum_{i=0}^n \frac{\mathbf{h}_i}{\mathbf{h}_i^T \mathbf{h}_i} = \overset{[m]}{\mathbf{0}}$ （逆垂線総和定理）が成り立つ。

タグ： n次元単体位置垂線方向垂線辺乗垂線長

タグ：

n次元単体方向垂線位置垂線辺乗垂線長

+ タグ編集

「垂線」をウィキ内検索

最終更新：2008年07月07日 04:40