(Day 31) 2022 6/16
若有一個集合A, 包含了所有的直角三角形, 另有一個集合B, 包含了所有某一邊長的平方是另外二邊長的平方和, 我們發現A和B其實是同一個集合, 亦即「只要是直角三角形, 則保證其某一邊長的平方, 必定是另二邊長的平方和; 並且只有直角三角形才符合邊長平方和的條件」所以A、B是相等的兩集合, 記作A=B。我們發現A既是B的充份條件, 同時A也是B的必要條件, 在數學語句中, 我們記作「if and only if A then B」簡寫為「iff A then B」不要被符號嚇到, 上面的記號只是在說, A是B的充份且必要的條件, 反之B也是A的充份且必要的條件, 簡稱「A、B互為充要條件」你們只要記住在文氏圖中, A、B相同的圖形, 那麼A、B就為充要條件。
今天起得晚些,就寫得少些了。