數(shù)學(xué)這東西最怕的不是不會(huì)是以為自己會(huì)。我見(jiàn)過(guò)太多人抱著課本看例題看一遍覺(jué)得懂了合上書(shū)一動(dòng)手就卡住。更麻煩的是,卡住之后沒(méi)人及時(shí)糾偏,一個(gè)錯(cuò)誤的直覺(jué)可能在腦子里存了大半年。這也是我后來(lái)把這套LaTeX 精確輸入公式 大模型當(dāng)陪練的數(shù)學(xué)學(xué)習(xí)工作流固定下來(lái)的原因:它解決的從來(lái)不是把答案算出來(lái),而是把思考過(guò)程逼到紙面上、把錯(cuò)誤暴露在當(dāng)下。LaTeX 負(fù)責(zé)讓公式這件事變得沒(méi)有歧義——下標(biāo)是誰(shuí)的、積分限在哪、矩陣有幾行幾列,全都寫(xiě)得明明白白;大模型負(fù)責(zé)在你寫(xiě)完每一步之后立刻給出反饋,扮演一個(gè)不厭其煩、隨叫隨到、不會(huì)嫌你問(wèn)得基礎(chǔ)的同桌。這套組合適合的人群其實(shí)挺廣:中學(xué)階段想夯實(shí)函數(shù)與幾何的、考研復(fù)習(xí)高數(shù)與線代的、工科生啃概率論與數(shù)理方程的、競(jìng)賽生練證明的,甚至包括需要給學(xué)生出變式題的老師和在家輔導(dǎo)孩子的家長(zhǎng)。文章會(huì)把工具鏈怎么選、LaTeX 最小語(yǔ)法集、提示詞怎么寫(xiě)、一次完整陪練怎么跑、踩過(guò)的坑怎么繞,一層層拆開(kāi)講。1. 先想清楚:這套工作流到底在補(bǔ)哪個(gè)洞很多人一上來(lái)就問(wèn)用什么編輯器、用什么模型,其實(shí)工具是最后一步。真正值得先拆的是:傳統(tǒng)數(shù)學(xué)學(xué)習(xí)流程里,哪幾個(gè)環(huán)節(jié)是天然漏水的。想明白這個(gè),你才知道 LaTeX 和大模型各自該站在哪個(gè)位置,而不是兩個(gè)工具都裝上、結(jié)果誰(shuí)也不管用。1.1 數(shù)學(xué)學(xué)習(xí)里三個(gè)最容易漏水的環(huán)節(jié)第一個(gè)漏水點(diǎn)是書(shū)寫(xiě)損耗。手寫(xiě)數(shù)學(xué)公式在草稿階段沒(méi)問(wèn)題,但一旦你想要復(fù)盤(pán)、檢索、對(duì)比,手寫(xiě)稿幾乎沒(méi)法用。三個(gè)月后你翻回去看自己寫(xiě)的那個(gè)積分,分不清是 $\int_{0}^{1}$ 還是 $\int_{0}^{t}$,分不清那個(gè) $x$ 是變量還是乘號(hào)。書(shū)寫(xiě)不規(guī)范帶來(lái)的歧義,會(huì)在復(fù)盤(pán)時(shí)二次放大。第二個(gè)漏水點(diǎn)是反饋延遲。做完十道題,對(duì)答案發(fā)現(xiàn)錯(cuò)了三道,但你不知道錯(cuò)在哪一步——是思路錯(cuò)了,還是中間某個(gè)代數(shù)變形錯(cuò)了,還是最后化簡(jiǎn)時(shí)符號(hào)搞反了。標(biāo)準(zhǔn)答案只給你結(jié)果和一條最優(yōu)路徑,它不會(huì)告訴你你的路徑在第幾步開(kāi)始偏離。延遲反饋加上信息不全,等于這道題白做。第三個(gè)漏水點(diǎn)是難度錯(cuò)配。課本例題太順,一做就會(huì);考試真題太難,一上手就懵;中間那一層跳一跳夠得著的題,得靠老師或題冊(cè)自己找。沒(méi)人給你按當(dāng)前水平動(dòng)態(tài)調(diào)難度,練習(xí)就總是在太簡(jiǎn)單和太難之間反復(fù)橫跳。這三個(gè)洞,LaTeX 補(bǔ)第一個(gè),大模型補(bǔ)第二和第三個(gè)。分工清楚,后面的工具選型才有依據(jù)。1.2 LaTeX 在數(shù)學(xué)學(xué)習(xí)里扮演的不是排版工具這里得糾正一個(gè)普遍誤解。大部分人覺(jué)得 LaTeX 是用來(lái)寫(xiě)論文、排版的,學(xué)習(xí)階段用不上。其實(shí)在數(shù)學(xué)學(xué)習(xí)場(chǎng)景里,LaTeX 的核心價(jià)值是強(qiáng)制消歧。你寫(xiě)x^21,機(jī)器知道你指 $x^21$。你寫(xiě)x^2n,機(jī)器會(huì)報(bào)錯(cuò),因?yàn)樗恢滥闶窍雽?xiě) $x^{2n}$ 還是 $x^2 n$。這種報(bào)錯(cuò)看似麻煩,實(shí)際上是逼你把腦子里那個(gè)模糊的東西說(shuō)清楚。數(shù)學(xué)學(xué)習(xí)里大量的我以為我會(huì)了,本質(zhì)上就是這種模糊——你腦子里想的和紙上寫(xiě)的不是一回事,而 LaTeX 不允許這種不一致存在。再舉個(gè)例子:分段函數(shù)。用文字描述當(dāng) x 大于 0 時(shí)等于 x 平方,否則等于負(fù) x,寫(xiě)十遍有十種寫(xiě)法。用 LaTeX 寫(xiě)出來(lái)就一套:f(x) \begin{cases} x^2, x 0 \\ -x, x \leq 0 \end{cases}條件、分支、對(duì)齊位置,全都被結(jié)構(gòu)化了。這種結(jié)構(gòu)化不只是好看,它讓后續(xù)的復(fù)盤(pán)、檢索、讓模型批改,全都變得可行——因?yàn)檩斎氡旧砭褪菣C(jī)器可讀的。1.3 大模型當(dāng)陪練的能力邊界必須先劃清把大模型當(dāng)數(shù)學(xué)陪練,最容易出的事故是過(guò)度信任。它的強(qiáng)項(xiàng)和弱項(xiàng)都非常鮮明,分不清就會(huì)吃大虧。強(qiáng)項(xiàng)很明確:概念解釋的多種角度、分步引導(dǎo)、變式題生成、把你的錯(cuò)誤解法逐行拆解、把一段證明的跳躍點(diǎn)指出來(lái)、把符號(hào)語(yǔ)言翻譯成人話。這些任務(wù)它做得又快又穩(wěn),而且不會(huì)因?yàn)槟愕膯?wèn)題太基礎(chǔ)而不耐煩。弱項(xiàng)同樣明確:長(zhǎng)鏈條的純計(jì)算和邊界條件。多步代數(shù)化簡(jiǎn)、大數(shù)運(yùn)算、不等式取等條件、定義域端點(diǎn)、極限存在的雙向驗(yàn)證,這些地方它出錯(cuò)率明顯上升,而且錯(cuò)得很自然——過(guò)程看著頭頭是道,結(jié)論是錯(cuò)的。這個(gè)特性決定了工作流的設(shè)計(jì)原則:把計(jì)算驗(yàn)證的活兒留給自己和工具,把解釋、追問(wèn)、出題、批改的活兒交給模型。我在實(shí)際使用中總結(jié)出一條線:凡是模型給出過(guò)程、我在紙上跟著算一遍能對(duì)上的環(huán)節(jié),放心用;凡是模型直接給一個(gè)我需要全盤(pán)信任的數(shù)值結(jié)論的環(huán)節(jié),一律自己復(fù)核。這條線一旦守住,事故率會(huì)降得很低。2. 工具鏈選型:從敲公式到對(duì)話的四個(gè)環(huán)節(jié)工具選型這件事,我的建議是夠用即止,別一上來(lái)就折騰全套環(huán)境。數(shù)學(xué)學(xué)習(xí)場(chǎng)景對(duì)工具的要求其實(shí)不高:能敲、能看、能復(fù)制、能存。下面按四個(gè)環(huán)節(jié)拆,每個(gè)環(huán)節(jié)給兩三個(gè)選項(xiàng),說(shuō)清楚什么情況選哪個(gè)。2.1 輸入層:編輯器怎么選才不折騰輸入層是唯一需要你動(dòng)手打字的地方,它的體驗(yàn)直接決定這套工作流能不能堅(jiān)持下來(lái)。我的實(shí)測(cè)結(jié)論是:入門(mén)階段別碰本地完整發(fā)行版,先用在線編輯器或輕量 Markdown 工具。原因很實(shí)在。完整的 TeX 發(fā)行版裝下來(lái)幾個(gè) G,配置環(huán)節(jié)多,第一次編譯報(bào)錯(cuò)沒(méi)有幾百字日志都看不到根因,新手很容易在環(huán)境配置這一步就放棄。而在線編輯器打開(kāi)網(wǎng)頁(yè)就能寫(xiě),右側(cè)實(shí)時(shí)預(yù)覽,報(bào)錯(cuò)信息直白,寫(xiě)完直接導(dǎo)出 PDF 或復(fù)制源碼,對(duì)學(xué)習(xí)場(chǎng)景完全夠用。方案上手成本實(shí)時(shí)預(yù)覽適合場(chǎng)景主要短板在線 LaTeX 編輯器極低有純公式練習(xí)、臨時(shí)推導(dǎo)依賴(lài)網(wǎng)絡(luò),長(zhǎng)文檔管理弱Markdown 編輯器 數(shù)學(xué)插件低有邊寫(xiě)筆記邊插公式復(fù)雜排版(多行對(duì)齊)支持一般本地編輯器 LaTeX 插件中需配置長(zhǎng)期積累、成體系筆記首次配置門(mén)檻高完整本地發(fā)行版高需配置排版完整文檔、出書(shū)體積大,學(xué)習(xí)成本高我自己的習(xí)慣是兩條腿走路:日常推導(dǎo)和陪練對(duì)話用 Markdown 數(shù)學(xué)插件,因?yàn)榍袚Q快、和對(duì)話窗口并排放著方便;需要出一份完整的復(fù)習(xí)講義或者多行對(duì)齊的推導(dǎo)稿時(shí),再切到在線 LaTeX 編輯器。這個(gè)組合用下來(lái)一年多,沒(méi)遇到過(guò)卡住的情況。2.2 渲染層:預(yù)覽窗口是糾錯(cuò)的第一道閘渲染這件事,很多人不當(dāng)回事,覺(jué)得能看就行。實(shí)際上預(yù)覽窗口是你自查公式正確性的第一道閘,而且是最便宜的一道。你把\frac{1}{2}敲成\frac{1}{2,預(yù)覽立刻會(huì)告訴你公式斷了;你把\sqrt{x^2y^2}敲成\sqrt(x^2y^2),預(yù)覽出來(lái)的根號(hào)只蓋住第一個(gè) x,你一眼就能看出不對(duì)。這種視覺(jué)反饋比讀報(bào)錯(cuò)日志快十倍。提示:寫(xiě)完一個(gè)稍微復(fù)雜一點(diǎn)的公式,不要急著往下寫(xiě),先掃一眼預(yù)覽。根號(hào)覆蓋范圍、上下標(biāo)歸屬、括號(hào)大小、分式層級(jí),這四項(xiàng)是出錯(cuò)率最高的地方,掃一眼花不了三秒,能省掉后面半小時(shí)的排查。如果你用的是 Markdown 編輯器,記得確認(rèn)數(shù)學(xué)插件開(kāi)的是哪套渲染引擎。有的引擎對(duì)\begin{aligned}支持好,有的對(duì)\operatorname{}支持好,換環(huán)境時(shí)公式渲染異常,八成是引擎差異,不是語(yǔ)法錯(cuò)了。2.3 對(duì)話層:公式怎么送進(jìn)模型才不變形這一步是整套工作流里最容易翻車(chē)的地方,而且翻車(chē)方式很隱蔽——公式在你這邊是好的,送過(guò)去之后模型看到的是一堆殘缺的字符,它基于殘缺輸入給出的解答自然也是錯(cuò)的,但你看不出來(lái),以為模型不行。變形的根源是反斜杠和特殊字符被吃掉。聊天輸入框有時(shí)會(huì)做轉(zhuǎn)義處理,\frac里的反斜杠可能被當(dāng)成轉(zhuǎn)義符吃掉,變成frac;下劃線_在某些渲染規(guī)則下會(huì)觸發(fā)斜體,x_1 x_2可能變成斜體的x1x2;星號(hào)*同理。我的處理辦法很簡(jiǎn)單,分兩種場(chǎng)景:短公式:用行內(nèi)公式包裹符包起來(lái),比如\( ... \)或$$ ... $$,并且在前后留空行,讓它獨(dú)立成段。長(zhǎng)推導(dǎo)或多行公式:直接用代碼塊包起來(lái),塊內(nèi)內(nèi)容原樣傳輸,幾乎不會(huì)被吃掉。\begin{aligned} \int_{0}^{1} x^2 \, dx \left[ \frac{x^3}{3} \right]_{0}^{1} \\ \frac{1}{3} - 0 \frac{1}{3} \end{aligned}代碼塊這個(gè)習(xí)慣我從一開(kāi)始就養(yǎng)成了,后來(lái)?yè)Q過(guò)幾個(gè)對(duì)話入口,公式再?zèng)]出過(guò)變形問(wèn)題。多敲三下反引號(hào),省掉一整套排查流程,這筆賬怎么算都劃算。2.4 存檔層:讓一次陪練變成可復(fù)用資產(chǎn)存檔這件事,大部分人不做,做了的也大多做錯(cuò)。常見(jiàn)的錯(cuò)誤做法是把整個(gè)對(duì)話記錄復(fù)制粘貼到一個(gè)文檔里,幾個(gè)月后打開(kāi),幾萬(wàn)字,找不到重點(diǎn)。我的做法是只存三樣?xùn)|西:題目原題(LaTeX 源碼)、我的原始解法(包括錯(cuò)的那版)、模型指出的關(guān)鍵卡點(diǎn)(一句話)。這三樣按知識(shí)點(diǎn)分文件夾存,文件名用知識(shí)點(diǎn)-難度-日期。這樣存下來(lái),三個(gè)月后你想復(fù)習(xí)含參二次函數(shù)最值,直接按知識(shí)點(diǎn)翻,每道題下面都有一條當(dāng)時(shí)卡在哪的批注。這種帶錯(cuò)因標(biāo)注的題目集,復(fù)習(xí)效率比任何教輔都高,因?yàn)樗轻槍?duì)你的漏洞定制的。3. LaTeX 數(shù)學(xué)公式的最小可用語(yǔ)法集搞清楚工具鏈,接下來(lái)是手上功夫。LaTeX 的數(shù)學(xué)語(yǔ)法看起來(lái)嚇人,其實(shí)學(xué)習(xí)場(chǎng)景真正高頻用到的就那么幾十個(gè)命令。我按必須會(huì)經(jīng)常會(huì)用到了再查三檔分,先把第一檔吃透,剩下兩檔邊用邊補(bǔ)。3.1 十分鐘上手:三種公式環(huán)境數(shù)學(xué)公式在 LaTeX 里有三種基本擺放方式,用途完全不同,混用會(huì)出問(wèn)題。第一種是行內(nèi)公式,寫(xiě)在正文里的,用一對(duì)美元符號(hào)包裹:設(shè)函數(shù) $f(x) x^2 - 2x 3$,求其最小值。第二種是獨(dú)立公式,單獨(dú)占一行居中顯示,用兩對(duì)美元符號(hào)包裹:\[ f(x) x^2 - 2x 3 (x-1)^2 2 \]第三種是帶編號(hào)的公式環(huán)境。學(xué)習(xí)階段用得少,但寫(xiě)復(fù)習(xí)講義時(shí)很有用,因?yàn)樗屇憧梢砸糜墒?(1) 可得。不過(guò)要注意,Markdown 編輯器里的編號(hào)環(huán)境和完整 LaTeX 文檔里的寫(xiě)法有差異,換環(huán)境時(shí)要確認(rèn)。注意:行內(nèi)公式里不要寫(xiě)多行環(huán)境(aligned、cases這類(lèi)),渲染會(huì)錯(cuò)亂。要寫(xiě)多行結(jié)構(gòu),一律升級(jí)成獨(dú)立公式。這三種環(huán)境的選擇邏輯,說(shuō)白了就是看這個(gè)公式是句子的一部分還是獨(dú)立的一步推導(dǎo)。前者用行內(nèi),后者用獨(dú)立。分清楚了,排版就不會(huì)亂。3.2 高頻符號(hào)與結(jié)構(gòu)速查表下面這張表是我自己整理、用了很久的版本,按類(lèi)別分組。不用背,打印出來(lái)貼顯示器邊上,寫(xiě)兩周自然就記住了。類(lèi)別命令顯示效果備注分式\frac{a}$\frac{a}$嵌套別超過(guò)三層,超了改寫(xiě)法根式\sqrt[n]{x}$\sqrt[n]{x}$n 省略即平方根上下標(biāo)x_{i}^{2}$x_{i}^{2}$多字符必須加大括號(hào)求和\sum_{i1}^{n}$\sum_{i1}^{n}$上下限多字符同樣加括號(hào)積分\int_{a}^ f(x)\,dx$\int_{a}^ f(x),dx$\,是細(xì)空格,別省極限\lim_{x \to 0}$\lim_{x \to 0}$\to比-規(guī)范偏導(dǎo)\frac{\partial f}{\partial x}$\frac{\partial f}{\partial x}$偏導(dǎo)符號(hào)別用 d矩陣\begin{pmatrix} a b \\ c d \end{pmatrix}見(jiàn)下方說(shuō)明分列,\\換行分段\begin{cases} ... \end{cases}見(jiàn)下方說(shuō)明每行末尾加\\集合\in, \subset, \cup, \cap$\in, \subset, \cup, \cap$屬于、包含于、并、交邏輯\forall, \exists, \Rightarrow$\forall, \exists, \Rightarrow$任意、存在、推出希臘\alpha, \beta, \varepsilon$\alpha, \beta, \varepsilon$極限用\varepsilon更常見(jiàn)關(guān)系\leq, \geq, \neq, \approx$\leq, \geq, \neq, \approx$別用函數(shù)名\sin, \cos, \ln, \log$\sin, \cos, \ln, \log$必須加反斜杠,否則是斜體變量矩陣和分段這兩個(gè)結(jié)構(gòu),是學(xué)習(xí)場(chǎng)景里用得最多、也最容易寫(xiě)錯(cuò)的。矩陣的關(guān)鍵是列數(shù)要一致,少一個(gè)或者多一個(gè)都會(huì)報(bào)錯(cuò);分段的關(guān)鍵是每行末尾的\\不能漏,漏了所有分支會(huì)擠成一行。A \begin{pmatrix} a_{11} a_{12} \\ a_{21} a_{22} \end{pmatrix}|x| \begin{cases} x, x \geq 0 \\ -x, x 0 \end{cases}3.3 排版細(xì)節(jié)決定這份稿子三天后還能不能看懂這一段是純經(jīng)驗(yàn),教輔和文檔里基本不會(huì)寫(xiě),但我認(rèn)為它比語(yǔ)法本身更重要。因?yàn)檎Z(yǔ)法錯(cuò)了會(huì)報(bào)錯(cuò),排版糟了不報(bào)錯(cuò),但會(huì)讓你三天后看不懂自己寫(xiě)的東西。第一個(gè)細(xì)節(jié):\left和\right一定要配對(duì)使用。括號(hào)里套分式的時(shí)候,不用這兩個(gè)命令,括號(hào)會(huì)小得可憐,內(nèi)容全擠在外面:\left( \frac{a} c \right)^{2}第二個(gè)細(xì)節(jié):多行推導(dǎo)用aligned環(huán)境,等號(hào)對(duì)齊。這是讓推導(dǎo)可讀的關(guān)鍵。不對(duì)齊的多行推導(dǎo),讀起來(lái)像一堆散裝式子,你根本看不出哪一步是從哪一步來(lái)的。對(duì)齊之后,推理鏈條一眼可見(jiàn):\begin{aligned} (ab)^2 a^2 2ab b^2 \\ a^2 b^2 2ab \end{aligned}第三個(gè)細(xì)節(jié):中文和公式之間留個(gè)空格。這個(gè)習(xí)慣看起來(lái)無(wú)足輕重,實(shí)際上極大影響閱讀節(jié)奏。設(shè) $f(x)$ 在區(qū)間上連續(xù)和設(shè)$f(x)$在區(qū)間上連續(xù),讀起來(lái)的舒適度差別很明顯。第四個(gè)細(xì)節(jié):不要用\div和/表達(dá)復(fù)雜分式。(ab)/(cd)這種寫(xiě)法在行內(nèi)還能湊合,一旦分子分母里還有別的運(yùn)算,立刻變成一團(tuán)亂麻。該用\frac就用\frac,別省這幾個(gè)字符。3.4 新手最常踩的五個(gè)轉(zhuǎn)義坑這五個(gè)坑我全都踩過(guò),而且每一個(gè)都讓我卡了不止十分鐘。列出來(lái),你直接繞開(kāi)。坑一:反斜杠被吃掉。在聊天框或者某些富文本輸入框里,\frac可能變成frac。判斷方法很簡(jiǎn)單:如果模型回復(fù)說(shuō)我不太理解 frac{a} 是什么,那就是被吃了。解決辦法就是前面說(shuō)的,用代碼塊包裹?？佣?下劃線觸發(fā)斜體。x_1 x_2在某些 Markdown 渲染規(guī)則下,兩個(gè)下劃線之間的內(nèi)容會(huì)被當(dāng)作斜體,結(jié)果變成 $x1 x2$。防止辦法是把整個(gè)公式放進(jìn)數(shù)學(xué)環(huán)境里,別裸寫(xiě)在正文中。坑三:大括號(hào)不配對(duì)。x^{2n少一個(gè)右括號(hào),渲染直接崩。這個(gè)坑的麻煩之處在于,報(bào)錯(cuò)信息往往指向整個(gè)公式的末尾,而不是缺括號(hào)的位置,排查起來(lái)反直覺(jué)。習(xí)慣是:每敲一個(gè){立刻補(bǔ)上},再往里填內(nèi)容?？铀?中文標(biāo)點(diǎn)混進(jìn)公式。全角的逗號(hào)、括號(hào)、分號(hào)放進(jìn)公式里,編譯會(huì)報(bào)錯(cuò),而且報(bào)錯(cuò)信息很難懂。寫(xiě)公式時(shí)把輸入法切到英文,是最省事的預(yù)防?？游?\\和\混淆。矩陣換行用兩個(gè)反斜杠,如果你只敲了一個(gè),它會(huì)和后面的字符組合成一個(gè)未定義命令。這個(gè)錯(cuò)誤在長(zhǎng)矩陣?yán)锾貏e隱蔽,因?yàn)閳?bào)錯(cuò)位置和實(shí)際錯(cuò)誤位置差得遠(yuǎn)。提示:遇到莫名其妙的編譯錯(cuò)誤,先做三件事——檢查大括號(hào)配對(duì)、檢查反斜杠數(shù)量、把公式里所有中文標(biāo)點(diǎn)換成英文標(biāo)點(diǎn)。這三步能解決八成的報(bào)錯(cuò)。4. 陪練提示詞:讓模型真的教而不是只答工具鏈和語(yǔ)法都就位了,接下來(lái)是最核心也最容易被忽略的部分:你怎么問(wèn),決定了它怎么答。同一道題,問(wèn)法不同,拿到的反饋質(zhì)量能差出十倍。這一節(jié)把我反復(fù)打磨過(guò)的提問(wèn)結(jié)構(gòu)拆開(kāi)講。4.1 三條必須寫(xiě)進(jìn)開(kāi)場(chǎng)白的約束很多人用大模型學(xué)數(shù)學(xué),得到的回復(fù)是標(biāo)準(zhǔn)答案 一段解析,看完還是不會(huì)。問(wèn)題不在模型,在開(kāi)場(chǎng)白里缺了三樣?xùn)|西。第一,角色和水平錨點(diǎn)。你得告訴它你現(xiàn)在在什么階段,不然它給的解答要么太淺要么太深。我是高三年級(jí),正在復(fù)習(xí)導(dǎo)數(shù)應(yīng)用和我是大二學(xué)生,在學(xué)數(shù)學(xué)分析,拿到的回答深度完全不同。第二,輸出格式約束。明確要求每一步推導(dǎo)單獨(dú)成行,并說(shuō)明這一步用了什么定理或公式,它會(huì)照做。不要求,它就會(huì)跳步,一跳步你就看不懂。第三,禁止直接給答案。這條最關(guān)鍵。默認(rèn)情況下模型傾向于一次給全,這對(duì)學(xué)習(xí)是有害的——你看到答案的瞬間,思考就停止了。所以開(kāi)場(chǎng)白里必須寫(xiě)清:在我給出自己的嘗試之前,請(qǐng)不要給出完整答案,只給我下一步的提示。一個(gè)可用的開(kāi)場(chǎng)白長(zhǎng)這樣:你是一位有耐心的數(shù)學(xué)輔導(dǎo)者。我目前在學(xué)習(xí)[某個(gè)知識(shí)點(diǎn)],水平大致在[某個(gè)階段]。接下來(lái)我會(huì)給你一道題和我自己的解法。請(qǐng)遵守三條:一,先指出我解法中第一個(gè)出錯(cuò)的位置,不要重寫(xiě)整份解答;二,每次只給我一條提示,等我回應(yīng)后再給下一條;三,所有公式用 LaTeX 輸出,包在代碼塊里。這三條約束寫(xiě)進(jìn)去之后,對(duì)話質(zhì)量會(huì)有肉眼可見(jiàn)的提升。原因不神秘:它把你從接收答案的位置,挪到了主動(dòng)求解的位置。4.2 五類(lèi)可復(fù)用的提問(wèn)模板下面五個(gè)模板,覆蓋了數(shù)學(xué)學(xué)習(xí)里絕大部分需要模型介入的場(chǎng)景。每個(gè)模板都能直接改改就用。模板一:概念拷問(wèn)型。用于檢驗(yàn)自己是不是真懂了一個(gè)定義。請(qǐng)你連續(xù)追問(wèn)我關(guān)于[某概念]的五個(gè)問(wèn)題,從它是什么開(kāi)始,逐步深入到它為什么不能改成別的形式舉一個(gè)反例它和[相鄰概念]的區(qū)別在哪。每次只問(wèn)一個(gè)問(wèn)題,等我回答后再問(wèn)下一個(gè),并且對(duì)我的每個(gè)回答給出準(zhǔn)確/部分準(zhǔn)確/有誤的判斷和理由。這個(gè)模板的價(jià)值在于連續(xù)追問(wèn)。自己一個(gè)人想,很難想到第五層;被人追著問(wèn),漏洞藏不住。模板二:分步引導(dǎo)型。用于卡住的題目。我正在做這道題:[題目 LaTeX 源碼]。我的思路是[你的思路],目前卡在[具體位置]。請(qǐng)不要給完整解答,只告訴我下一步該往哪個(gè)方向想,給我一個(gè)提示,如果我還是卡住,再給第二個(gè)更具體的提示。模板三:出題機(jī)。用于練手。基于[某知識(shí)點(diǎn)],給我出三道題。第一道難度相當(dāng)于課后基礎(chǔ)練習(xí),第二道相當(dāng)于期中考試中等題,第三道需要兩步以上的轉(zhuǎn)化。三道題的答案先不要給,等我做完再對(duì)。所有公式用 LaTeX 輸出。難度參數(shù)一定要寫(xiě)具體,簡(jiǎn)單/中等/難這種描述太模糊,模型給的三道題可能難度都差不多。用課后基礎(chǔ)/期中中等/需要兩步轉(zhuǎn)化這種可操作的描述,梯度就出來(lái)了。模板四:批改型。這是使用頻率最高的一個(gè)。下面是我的完整解答,請(qǐng)你逐行檢查。對(duì)每一行給出判斷:正確、正確但跳步、有誤。如果某一行有誤,指出錯(cuò)在哪,并說(shuō)明這個(gè)錯(cuò)誤會(huì)導(dǎo)致后面哪一步失效。不要重寫(xiě)正確答案,只做批改。關(guān)鍵在于不要重寫(xiě)正確答案。一旦它重寫(xiě),你的注意力就跑到新答案上了,反而不去深究自己的錯(cuò)因。模板五:變式生成型。用于錯(cuò)題之后鞏固。我剛在這道題上錯(cuò)了:[題目]。我的錯(cuò)因是[你判斷的錯(cuò)因]。請(qǐng)基于同一個(gè)知識(shí)點(diǎn),出一道結(jié)構(gòu)相似但改變了關(guān)鍵條件的題,讓我檢驗(yàn)自己是不是真的糾正了。答案先不給。這個(gè)模板解決的是同一道題做對(duì)了不等于會(huì)了的問(wèn)題。換掉關(guān)鍵條件還能做對(duì),才算過(guò)關(guān)。4.3 上下文管理:一次對(duì)話只推進(jìn)一個(gè)知識(shí)點(diǎn)這一條是我踩坑最多的地方,值得單獨(dú)說(shuō)。大模型在長(zhǎng)對(duì)話里會(huì)遺忘早期設(shè)定。你開(kāi)場(chǎng)寫(xiě)了三條約束,聊了三十輪之后,它可能又開(kāi)始直接甩完整答案了。這不是它故意,是上下文窗口的固有限制。應(yīng)對(duì)辦法有三條,都是實(shí)測(cè)有效的:一是主動(dòng)分段。一個(gè)知識(shí)點(diǎn)一個(gè)對(duì)話,做完就結(jié)束,不要在一個(gè)對(duì)話里從極限聊到級(jí)數(shù)。話題一換,立刻開(kāi)新對(duì)話,把開(kāi)場(chǎng)約束重貼一遍。二是定期重述約束。每聊七八輪,如果發(fā)現(xiàn)它開(kāi)始跳步了,直接提醒一句記住,先給提示不要給答案。一句話就能把節(jié)奏拉回來(lái)。三是自己維護(hù)一份錨點(diǎn)摘要。在對(duì)話進(jìn)行到關(guān)鍵節(jié)點(diǎn)時(shí),讓它輸出三句話:當(dāng)前題目、已確認(rèn)的結(jié)論、待解決的問(wèn)題。這三句話你自己復(fù)制保存,換對(duì)話時(shí)作為開(kāi)場(chǎng)背景貼進(jìn)去,比從頭復(fù)述高效得多。注意:一旦發(fā)現(xiàn)模型的回答開(kāi)始跑偏——比如開(kāi)始討論題目之外的東西,或者反復(fù)在同一個(gè)錯(cuò)誤上打轉(zhuǎn)——不要試圖用更多輪對(duì)話糾正它,直接開(kāi)新對(duì)話重來(lái)。沉沒(méi)成本不要留戀,長(zhǎng)對(duì)話的糾偏成本遠(yuǎn)高于重啟成本。4.4 讓模型輸出的公式能直接編譯這一條看起來(lái)是細(xì)節(jié),實(shí)際上是整套工作流能不能閉環(huán)的關(guān)鍵。如果模型輸出的公式只能用眼睛看、不能直接復(fù)制去編譯,那你的存檔就是一堆截圖和散裝文本,三個(gè)月后沒(méi)法用。所以在提示詞里明確要求:所有公式用 LaTeX 源碼輸出,包在代碼塊里,不要用圖片,不要用特殊符號(hào)渲染。拿到輸出之后,我的習(xí)慣是直接復(fù)制到自己編輯器里編譯一遍。編譯通過(guò),說(shuō)明公式是規(guī)范的;編譯報(bào)錯(cuò),說(shuō)明它用了一些非標(biāo)準(zhǔn)寫(xiě)法,順手改掉。這個(gè)動(dòng)作看起來(lái)多余,實(shí)際上是把模型的輸出轉(zhuǎn)化成自己的資產(chǎn)的關(guān)鍵一步。另外還有一個(gè)小要求值得加進(jìn)去:如果某個(gè)公式有多種寫(xiě)法,優(yōu)先用最常見(jiàn)的標(biāo)準(zhǔn)寫(xiě)法。因?yàn)樯?xiě)法雖然能編譯,但你下次自己寫(xiě)的時(shí)候想不起來(lái),查起來(lái)費(fèi)勁。5. 完整實(shí)操:一次從零到復(fù)盤(pán)的陪練流程前面講的都是零件,這一節(jié)把它們裝成一臺(tái)能跑的機(jī)器。我拿含參二次函數(shù)在閉區(qū)間上的最值這個(gè)知識(shí)點(diǎn)走一遍完整流程,你可以照著換成自己正在學(xué)的內(nèi)容。5.1 準(zhǔn)備:把題面和自己的解法都變成 LaTeX準(zhǔn)備階段有兩件事要做,都不難,但省不得。第一件,把題目敲成 LaTeX。這一步看起來(lái)是抄題,實(shí)際上已經(jīng)是一次理解了——你在敲的過(guò)程中,會(huì)自然注意到這個(gè)區(qū)間是開(kāi)還是閉參數(shù)的范圍有沒(méi)有限制這些平時(shí)掃一眼就滑過(guò)去的細(xì)節(jié)。已知函數(shù) \( f(x) x^2 - 2ax 3 \),其中 \( a \in \mathbb{R} \)。 求 \( f(x) \) 在區(qū)間 \( [0, 2] \) 上的最小值 \( g(a) \)。第二件,把自己的解法完整寫(xiě)下來(lái),包括卡住的地方。這一步是整套流程里最反人性的——人本能地不想把錯(cuò)誤暴露出來(lái)。但我可以很肯定地說(shuō),不寫(xiě)下來(lái)的錯(cuò)誤,模型幫不了你。它只能看到你給它的東西,你不寫(xiě),它就只能給你一份通用解答,而通用解答你早就有了。我當(dāng)時(shí)的原始解法寫(xiě)得比較粗,大致是:先求對(duì)稱(chēng)軸 $x a$,然后分情況:當(dāng) $a \leq 0$ 時(shí)最小值在 $x0$ 處取到,當(dāng) $0 a 2$ 時(shí)在 $xa$ 處取到,當(dāng) $a \geq 2$ 時(shí)在 $x2$ 處取到。寫(xiě)到這兒我覺(jué)得做完了。5.2 第一步:讓它先拷問(wèn)概念,再碰題目這一步很多人跳過(guò),直接問(wèn)題目,結(jié)果就是會(huì)做這道題但不懂這個(gè)知識(shí)點(diǎn)。我的習(xí)慣是先花五分鐘讓模型把概念問(wèn)一遍。我貼的提示是:請(qǐng)就二次函數(shù)在閉區(qū)間上的最值追問(wèn)我五個(gè)問(wèn)題,從定義開(kāi)始,逐步深入到邊界情況。它問(wèn)的第一個(gè)問(wèn)題是二次函數(shù)最值可能在哪些位置取到,我答頂點(diǎn)或端點(diǎn)。第二個(gè)問(wèn)題如果頂點(diǎn)不在區(qū)間內(nèi),最值在哪取,我答端點(diǎn)。第三個(gè)問(wèn)題如果區(qū)間是開(kāi)的,最值一定存在嗎,我愣了一下——不一定,可能取不到。第四個(gè)問(wèn)題參數(shù)變化時(shí),分類(lèi)討論的分界點(diǎn)由什么決定,這個(gè)問(wèn)題正中要害,我當(dāng)時(shí)的分界點(diǎn) $a \leq 0$、$0 a 2$、$a \geq 2$,其實(shí)就是對(duì)稱(chēng)軸與區(qū)間端點(diǎn)的位置關(guān)系。第五個(gè)問(wèn)題端點(diǎn)和頂點(diǎn)的函數(shù)值相等時(shí),分界點(diǎn)怎么處理,這個(gè)我完全沒(méi)考慮過(guò)。五輪下來(lái),我發(fā)現(xiàn)自己對(duì)分界點(diǎn)為什么這么取的理解是模糊的,只是照著題型套。這個(gè)發(fā)現(xiàn)本身就值回票價(jià),因?yàn)楹竺孀鲱}時(shí),我會(huì)主動(dòng)去驗(yàn)證分界點(diǎn),而不是背模板。5.3 第二步:批改自己的解法,定位第一個(gè)出錯(cuò)點(diǎn)概念過(guò)完,把準(zhǔn)備好的解法貼過(guò)去,用批改模板。它給我的反饋里,有一條是我完全沒(méi)想到的:分界點(diǎn)的等號(hào)歸屬有問(wèn)題。我寫(xiě)的是 $a \leq 0$ 時(shí)最小值在 $x0$;但當(dāng) $a 0$ 時(shí),對(duì)稱(chēng)軸 $x0$ 正好落在區(qū)間左端點(diǎn),此時(shí)最小值在 $x0$ 取到,這個(gè)結(jié)論本身沒(méi)錯(cuò),但我的分類(lèi)邏輯是對(duì)稱(chēng)軸在區(qū)間左側(cè),而 $a0$ 時(shí)對(duì)稱(chēng)軸在區(qū)間內(nèi)部端點(diǎn)上,歸類(lèi)歸錯(cuò)了。結(jié)論對(duì),過(guò)程有瑕疵——這種錯(cuò)誤自己檢查極難發(fā)現(xiàn),因?yàn)榇鸢甘菍?duì)的。還有一條:當(dāng) $a \geq 2$ 時(shí),我寫(xiě)最小值在 $x2$ 取到,但沒(méi)有驗(yàn)證 $f(2) 7 - 4a$ 在 $a \geq 2$ 時(shí)確實(shí)是最小的。它要求我補(bǔ)一句因?yàn)楹瘮?shù)在 $[0,2]$ 上單調(diào)遞減,故最小值在右端點(diǎn)取到。缺了這句,嚴(yán)格的解答是不完整的。提示:批改時(shí)特別留意結(jié)論對(duì)但過(guò)程有瑕疵的情況。這類(lèi)錯(cuò)誤最危險(xiǎn),因?yàn)樗粫?huì)在考試中必然扣分,但會(huì)在更難的題里變成致命傷。5.4 第三步:錯(cuò)因歸類(lèi),然后要變式題定位完錯(cuò)誤,別急著做下一道。先花兩分鐘把錯(cuò)因?qū)懗梢痪湓挕Ｎ覍?xiě)的是:分類(lèi)討論的分界點(diǎn)只看了對(duì)稱(chēng)軸在區(qū)間左/內(nèi)/右,沒(méi)考慮對(duì)稱(chēng)軸恰好落在端點(diǎn)時(shí)的歸屬。這句話寫(xiě)下來(lái),價(jià)值遠(yuǎn)超我下次注意。因?yàn)樗_描述了一個(gè)可復(fù)用的檢查點(diǎn):以后凡是做含參二次函數(shù)閉區(qū)間最值,先單獨(dú)檢查對(duì)稱(chēng)軸與端點(diǎn)重合的情況。然后要變式題。提示寫(xiě)的是:基于同一個(gè)知識(shí)點(diǎn),把區(qū)間從 $[0,2]$ 改成 $[t, t2]$,出一道題。新題是 $f(x) x^2 - 2ax 3$ 在 $[t, t2]$ 上的最小值。這道題的分類(lèi)討論維度變成了兩個(gè):對(duì)稱(chēng)軸與區(qū)間的相對(duì)位置,以及區(qū)間本身隨 $t$ 移動(dòng)。做完之后,我對(duì)分界點(diǎn)從哪來(lái)這件事的理解徹底不一樣了——分界點(diǎn)不是背的,是解不等式 $a t$、$a t2$ 解出來(lái)的。5.5 第四步:把這一輪沉淀成可檢索的筆記最后一步,存檔。我存的內(nèi)容是三段:第一段是原題和變式題的 LaTeX 源碼,放在二次函數(shù)最值文件夾下,文件名帶上日期。第二段是我的錯(cuò)誤解法原文,保留錯(cuò)誤,不做修改——這點(diǎn)很重要,改對(duì)了的解法沒(méi)有復(fù)習(xí)價(jià)值,錯(cuò)誤解法才有。第三段是一句話錯(cuò)因加一句話方法總結(jié):分界點(diǎn)由對(duì)稱(chēng)軸等于端點(diǎn)解出,不要憑感覺(jué)分類(lèi);端點(diǎn)重合的情況單獨(dú)驗(yàn)證。三個(gè)月后復(fù)習(xí),打開(kāi)這個(gè)文件,三分鐘就能把當(dāng)時(shí)的坑重新過(guò)一遍。這比重新做十道題效率高得多,因?yàn)樗蔷_打擊。6. 常見(jiàn)問(wèn)題與排查速查表跑這套流程的過(guò)程中,遇到的問(wèn)題類(lèi)型其實(shí)很集中。下面按公式層面和模型層面分開(kāi)列,基本都是我和身邊人反復(fù)遇到的。6.1 公式渲染與編譯問(wèn)題排查公式問(wèn)題占了所有問(wèn)題的一半以上,但絕大多數(shù)都能靠固定的幾步排查解決?，F(xiàn)象最可能原因排查動(dòng)作整個(gè)公式不顯示數(shù)學(xué)環(huán)境未閉合檢查$是否成對(duì)根號(hào)只蓋住第一個(gè)字符沒(méi)加大括號(hào)\sqrt{x1}而非\sqrt x1分式變成一行用了/或\div換成\frac{}{}多行公式擠成一行缺\\換行每行末尾補(bǔ)\\括號(hào)太小包不住內(nèi)容缺\left \right成對(duì)補(bǔ)上報(bào)錯(cuò)但找不到位置中文標(biāo)點(diǎn)混入全角轉(zhuǎn)半角下劃線內(nèi)容變斜體裸寫(xiě)未進(jìn)數(shù)學(xué)環(huán)境整體包進(jìn)$...$模型看不懂我的公式反斜杠被轉(zhuǎn)義改用代碼塊傳輸這張表我貼在筆記首頁(yè),遇到問(wèn)題先掃一遍,八成能直接定位。6.2 模型回答層面的四類(lèi)問(wèn)題公式?jīng)]問(wèn)題了,問(wèn)題就轉(zhuǎn)移到模型這邊。四類(lèi)情況最常見(jiàn)。第一類(lèi):跳步。表現(xiàn)是推導(dǎo)從第二步直接跳到第五步,中間省略。處理辦法是在提示里明確每一步單獨(dú)成行并注明依據(jù),如果它還是跳,就追問(wèn)第三步到第四步之間省略了什么。第二類(lèi):迎合。這個(gè)最隱蔽。你問(wèn)我這樣算對(duì)嗎,它傾向于說(shuō)對(duì),哪怕你錯(cuò)了。解決辦法是改變問(wèn)法——不要問(wèn)對(duì)不對(duì),要問(wèn)請(qǐng)找出其中的錯(cuò)誤。前者觸發(fā)肯定傾向,后者觸發(fā)挑錯(cuò)傾向,實(shí)測(cè)差別非常大。第三類(lèi):算錯(cuò)但過(guò)程順暢。多步代數(shù)、大數(shù)運(yùn)算、不等式取等問(wèn)題上高發(fā)。判斷辦法是讓它把關(guān)鍵中間結(jié)果單獨(dú)列出來(lái),你自己在紙上驗(yàn)算那一步。凡是需要全盤(pán)信任的數(shù)值結(jié)論,一律自己復(fù)核,這條前面提過(guò),這里再?gòu)?qiáng)調(diào)一次。第四類(lèi):越聊越飄。長(zhǎng)對(duì)話后期開(kāi)始答非所問(wèn)。處理辦法就是開(kāi)新對(duì)話,別糾纏。6.3 效率層面的三個(gè)實(shí)測(cè)建議最后說(shuō)三個(gè)提效的點(diǎn),都是用了很久才總結(jié)出來(lái)的。一是固定開(kāi)場(chǎng)白。把常用的角色約束和格式要求存成一個(gè)文本片段,每次新對(duì)話直接粘貼,不用現(xiàn)想。這個(gè)動(dòng)作能省掉大量重復(fù)勞動(dòng)。二是批改和出題分開(kāi)對(duì)話。同一個(gè)對(duì)話里既讓它批改又讓它出題,它容易把兩件事混在一起,輸出質(zhì)量下降。分開(kāi)做,各自專(zhuān)注。三是每天只推進(jìn)一個(gè)知識(shí)點(diǎn)。貪多嚼不爛,這套流程的價(jià)值在于深度而不是廣度。一天吃透一個(gè)知識(shí)點(diǎn),一個(gè)月就是三十個(gè),比一天掃三個(gè)、月底全忘光強(qiáng)太多。7. 用了大半年之后,我最想說(shuō)的幾句實(shí)話這套工作流不是什么神器,它只是把寫(xiě)清楚和及時(shí)反饋這兩件本來(lái)就該做的事,用工具固化下來(lái)了。真正起作用的從來(lái)不是 LaTeX 也不是模型,而是你在敲下每一行公式時(shí)被迫做的那次思考,以及在收到批改時(shí)不得不面對(duì)的那個(gè)錯(cuò)誤。我踩過(guò)的最大的坑,是前期過(guò)度依賴(lài)模型給結(jié)論。有一段時(shí)間我做題特別快,因?yàn)榭ㄗ【蛦?wèn),問(wèn)了就有答案。兩周之后做套卷,分?jǐn)?shù)反而降了。后來(lái)才想明白:問(wèn)來(lái)的答案是別人的,自己算出來(lái)的才是自己的。從那以后我給自己立了條規(guī)矩——模型只能給我提示,不能給我答案,除非我已經(jīng)完整寫(xiě)過(guò)一遍。這條規(guī)矩執(zhí)行下來(lái),速度慢了,但留下來(lái)的東西扎實(shí)。另一個(gè)體會(huì)是關(guān)于 LaTeX 的。剛開(kāi)始我覺(jué)得它是負(fù)擔(dān),敲個(gè)公式比手寫(xiě)慢三倍。堅(jiān)持兩周之后,速度反超手寫(xiě),而且返工率極低。更重要的變化是,我開(kāi)始習(xí)慣把話說(shuō)清楚——不只是公式,連解題思路的表述都變得更有條理。這個(gè)副作用,是當(dāng)初完全沒(méi)預(yù)料到的。如果你打算開(kāi)始,我的建議是從一個(gè)最小的知識(shí)點(diǎn)起步,別一上來(lái)就搭全套環(huán)境。找一道你最近做錯(cuò)的題,把題面敲成 LaTeX,把錯(cuò)誤解法寫(xiě)下來(lái),貼給模型,讓它指出第一個(gè)錯(cuò)在哪。走完這一圈,你就知道這套東西適不適合你了。至于編輯器、插件、模板這些,等你覺(jué)得需要了再折騰,反正它們隨時(shí)都在。