求所有滿足條件的數對 :
先把埋在鏈條中間的常數算出來。 根本不是含變數的式子,所以最先把它算掉:
鏈條現在讀作
記清楚一條不等式鏈到底在主張什麼。 寫成一條鏈的 ,是「每一組相鄰比較都同時成立」的簡寫。所以這一條同時主張四個獨立條件:
這正是為什麼必須把常數彼此對照,而不是只把每一段各自解出 與 。
把前兩段互相檢驗。 它們限制的是同一個量 :
這要求同一個數既至少是 ,又嚴格小於 。既然 , 取任何實數值都辦不到。區間 是空的。
用同樣方式檢驗後兩段。 它們限制的是 :
下界又一次超過上界,因為 。區間 同樣是空的。
以空集合作結。 鏈條中有兩個彼此獨立的部分自相矛盾,所以不管怎麼取 與 都無法滿足整個敘述。已經沒有東西需要解了:
這裡值得養成的習慣是:只要複合不等式被寫成一長串鏈條,就先把常數界限讀出來。若有任何下界大於它右邊的上界,答案當場就出來了——完全不必對 與 做任何代數運算。
Need to solve a different problem like this? Open the solver →