解關於 的不等式:
把左邊讀成「總距離」。 由於 ,這個式子就是 到 的距離加上 到 的距離。位在 與 之間的任何點,總距離恰好是 (兩個定點之間的間隔);一旦跑到外面,超出多少就要多付兩倍。所以這個不等式問的是:哪些點的總路程預算不超過 ?
在分界點處分段。 絕對值裡的兩個式子分別在 與 處變號,所以要分三段處理:、、。
情形 。 此時 且 ,兩個絕對值都要變號:
(除以 時不等號方向要反過來。)與 取交集,得 。
情形 。 現在 而 ,於是
被完全消掉了:這一段裡每個 都使不等式成立,所以整個區間 都屬於解集。這正是第 1 步預言的那段「平底」。
情形 。 兩個式子都非負:
與 取交集,得 。
把三段聯集起來,再驗一下端點。
驗算:在 處左邊等於 ,所以端點取得到;在 處等於 ,理應排除。換個寫法,答案就是 。
Need to solve a different problem like this? Open the solver →