凌凡手握“函式即機器，影像即錄影”這把金鑰匙，興奮地探索著這個新世界。他沉迷於將各種函式公式轉化為直觀的影像，感受著不同“機器”的運作方式：一次函式是勻速傳送帶，二次函式是優雅的拋物線軌道，反比例函式是充滿張力的雙曲線…
然而，數學的魅力（或者說“惡意”）就在於，它永遠不會讓你輕鬆太久。就在凌凡以為已經馴服了函式這頭怪獸時，新的挑戰已然降臨——函式的性質。而第一個攔路虎，就是單調性。
課本上的定義依舊秉承了數學的簡潔與冷酷：“設函式f(x)的定義域為I，區間D包含於I。如果對於任意x?, x? ∈ D，當x? ＜ x?時，都有f(x?) ＜ f(x?)，那麼就說函式f(x)在區間D上是增函式；如果都有f(x?) ＞ f(x?)，那麼就是減函式。”
凌凡皺著眉頭讀了三遍。 “任意…當…時…都有…” 這些詞彙組合在一起，形成了一堵密不透風的思維之牆。他試圖用他的“影像魔法”去理解，看那些上升或下降的曲線，直觀上似乎明白“增”就是變大，“減”就是變小。但一旦脫離影像，回到抽象的定義和證明題上，他就再次陷入了茫然。
問題出在哪裡？
他發現自己卡在幾個關鍵點上：
1. “任意”的威力： 這個詞語意味著必須對區間D內所有可能的x?和x?都成立，而不是幾個特例。這種“無限”和“全體”的概念，超出了他過去的思維習慣。
2. 代數證明的抽象： 如何從“x? ＜ x?”這個已知條件，透過代數變形，推匯出“f(x?) ＜ f(x?)”或“f(x?) ＞ f(x?)”？這需要技巧，更需要一種嚴密的邏輯思維。
3. 分段單調的複雜性： 一個函式可能在不同區間有不同的單調性（比如二次函式先減後增），這打破了他“一個函式一個樣”的簡單認知。
第一次遇到要求證明函式單調性的題目時，凌凡對著“任取x?, x? ∈ D, 且x? ＜ x?”這句話發了十分鐘的呆，不知道下一步該幹什麼。他感覺自己的思維被那堵“任意”之牆撞得生疼。
“媽的，這比玩遊戲通關難多了！” 他忍不住抱怨。遊戲裡的BOSS攻擊還有套路可循，這“單調性”簡直是無跡可尋。
挫敗感再次襲來。但他沒有像以前那樣輕易放棄，而是深吸一口氣，啟動了他的“攻堅三板斧”：錯題五步法 + 思維導圖 + 番茄鍾。
第一個番茄鍾：深度歸因（Record & Diagnose） 他在錯題本上寫下題目：“證明函式 f(x)= x + 1/x (x ＞ 0) 的單調性。” 記錄下自己一片空白的思路。 紅筆歸因：
· 表層原因： 不知如何從“x? ＜ x?”入手推導。
· 深層原因：
1. 對“任意性”理解不足，未能將“比較大小”轉化為“判斷差值符號”這一核心方法。
2. 代數變形能力欠缺，面對分式函式不知如何處理f(x?) - f(x?)。
3. 缺乏證明的“套路”或“框架”。
第二個番茄鍾：溯源與構建框架，他迴歸課本定義和例題，反覆咀嚼“任意x?＜ x?”的含義。他意識到，要比較f(x?)和f(x?)的大小，最直接的方法就是作差：f(x?) - f(x?)，然後判斷這個差式的符號。 證明框架在他腦中逐漸清晰：
1. 定區間： 首先明確要討論的區間D是什麼？(x＞0)
2. 取任意： 任取x?, x? ∈ D，且規定x? ＜ x?。（這是關鍵一步，代表普遍性）
3. 作差變形： 計算 f(x?) - f(x?)，並進行代數變形（通分、因式分解等），目標是將其化為一個易於判斷符號的形式（如幾個因式的乘積或商）。
4. 判符號： 根據x?, x?的大小關係及取值範圍，判斷變形後的差式是大於零、小於零還是等於零。
· f(x?) ……＜ f(x?) ? 增函式
· f(x?) ……＞ f(x?) ? 減函式
5. 下結論： 由任意性，得出結論在區間D上單調遞增或遞減。
