作者mantour (朱子)
看板Math
标题Re: [微积]Vector Triple Product A ×(B ×C ) 证明
时间Sat Jun 15 23:35:15 2024
若 B, C 平行, 所证显然成立
对任意不平行的 B, C
令 C' = C - (C ·B)/|B|^2 B
则 B ·C' = 0 , B X C' = B X C
B 垂直 C', 配合右手定则
BX(BXC) = BX(BXC') = - |B|^2 C' = (B ·C) B - (B ·B) C
同理
令 B' = B - (C ·B)/|C|^2 C
CX(BXC) = CX(B'XC) = |C|^2 B' = (C ·C)B - (C ·B) C
因为 B, C 不平行, 因此 B, C , BXC 两两互不平行构成一组基底
故可以设 A = a (B X C) + b B + c C
则
AX(BXC)
= (bB + cC) X ( B X C)
= b BX(BXC) + cCX(BXC)
= b(B ·C) B - b(B ·B) C + c(C ·C)B - c(C ·B) C
= ((bB+cC)·C) B - ((bB + cC)·B) C
= (A·C) B - (A· B) C
有错请指教
※ 引述《anoymouse (没有昵称)》之铭言：
: http://www.fen.bilkent.edu.tr/~ercelebi/Ax(BxC).pdf
: 请问最後Selecting arbitrarily...
: 为什麽随意选的三个值有通用性? 怎麽确定再选其他值，λ也会是1?
: ----------------------------------------------------------------
: 从"one obtains"开始，这样写应该比较正确:
: m (A ·B) + n (A ·C) = 0
: m (A ·B) = -n (A ·C)
: 令λ = m/(A ·C) = -n/(A ·B)
: A ×(B ×C) = m*B + n*C
: A ×(B ×C) = λ*(A ·C)*B + (-λ)*(A ·B)*C
: 令A = 向量i, B= 向量j, C= 向量i，主要目标是希望(A ·B) 可以消失，
: 所以会变成:
: i ×(j ×i) = λ*(i ·i)*B + 0 = λ*B
: i ×(-k) = λ* j
: -(-j) = λ* j
: λ = 1.
: 另外随意代入任意向量，λ都唯一原因:
: A ×(B ×C) = λ*[ (A ·C)*B - (A ·B)*C ]
: 假设存在λ_2 使得A ×(B ×C) =λ_2*[ (A ·C)*B - (A ·B)*C ]
: 则A ×(B ×C) / [ (A ·C)*B - (A ·B)*C ] = λ = λ_2
: 谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 220.137.11.129 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1718465718.A.4A6.html
※ 编辑: mantour (220.137.11.129 台湾), 06/15/2024 23:36:06
※ 编辑: mantour (220.137.11.129 台湾), 06/15/2024 23:37:09
※ 编辑: mantour (223.137.253.35 台湾), 06/16/2024 00:03:33
1F：→ musicbox810 : dual basis的概念 06/16 07:40
2F：→ mantour : Honor大的写法直接用B跟C'当basis更简洁 06/16 14:31