|
kuing
posted 2022-5-17 00:48
设 `\vv{BA}=\bm a`, `\vv{BB_1}=\bm b`, `\vv{BC}=\bm c`,则有 `\vv{AD_1}=\bm b+\bm c` 及 `\vv{B_1C}=\bm c-\bm b`,于是 `\vv{AD_1}\cdot\vv{B_1C}=\bm c^2-\bm b^2=0`,即 `AD_1\perp B_1C`。
设 `D_1` 在面 `AB_1C` 上的射影为 `P`,则 `D_1P\perp B_1C`,结合刚才得到的 `AD_1\perp B_1C`,即得 `PA\perp B_1C`。
同理可证 `PB_1\perp AC` 以及 `PC\perp AB_1`,所以是垂心。 |
|