→ pleomax0730: iff 若A 成立 則B 成立，當垂直，則長度相同 05/27 00:03
→ pleomax0730: 應該不需要去理會是不是佈於複數 05/27 00:04
→ TEPLUN: 他推導過程是把那兩項消掉 為何可以不管是否佈於複數？ 05/27 00:12
推 TMDTMD2487: 佈於複數的話沒有雙線性連一開始的拆解就要考慮了 05/27 08:50
→ pleomax0730: 你應該要說 當長度不一樣的時候，才不能消掉 05/27 08:52
→ pleomax0730: 就算佈於複數，長度一樣，仍可消掉 05/27 08:53
→ pleomax0730: 條件是雙向的，非q 則非p 05/27 08:54
推 TMDTMD2487: 在複數這樣的拆解好像也對呢，現在的重點是解答的推 05/27 08:55
→ TMDTMD2487: 論在複數上會有邏輯斷點吧 05/27 08:55
推 TMDTMD2487: 樓上您只表達反向推論是正確的，但問題是正向推論在 05/27 08:58
→ TMDTMD2487: 複數時這個證明有問題 05/27 08:58
→ pleomax0730: 正向推論在什麼時候，會發生問題 05/27 09:13
推 TMDTMD2487: 如果佈於複數空間<v,w>跟<w,v>差了一個共軛不能消掉吧 05/27 09:21
→ pleomax0730: 所以若佈於複數，他應該加上個bar 才可以消掉 05/27 10:14
→ pleomax0730: 若在實數，就沒有這個問題 05/27 10:15
→ pleomax0730: 考試若沒有特別提及，是不是一律可以假定是實數？ 05/27 10:19
→ TMDTMD2487: 分解出來的沒有共軛所以不能消掉，重點是在複數怎麼 05/27 11:58
→ TMDTMD2487: 證明吧 05/27 11:58