你試過把長輩的手藝抄成食譜嗎？
我試過一次。阿嬤炒三層肉，蒜片下鍋的滋啦聲先到，醬色再沿著鍋邊一圈一圈爬上來，起鍋前繞半圈米酒，火苗一竄，酒氣把整間廚房燻得暖烘烘的。我站在旁邊抄：蒜片幾瓣、醬油幾匙、糖一小撮，抄到鹽的時候卡住了。我問，鹽放多少。她說，適量。我再問，適量是幾克。她想都沒想：看今天的高麗菜甜不甜。
那頁筆記，到今天還空著一格。
這幾天，知乎熱榜上有一個數學話題燒得火熱：ζ(5) 已經被一位大二學生證明是無理數，長年鑽研無理數的數學家卡萊加裏，還特地寫了長文分析。一個聽起來離竈腳十萬八千裏的題目，我第一個想到的卻是那勺寫不下來的鹽。無理數，白話講，就是一個永遠寫不成分數的數。而寫不成分數這件事，廚房裡的人天天都在遇到。
一碗喫得完，卻寫不完
ζ(5) 本身沒有想像中神祕，端上桌，就是一碗分量一直遞減的碎屑。第一口是完整的 1，第二口是 1/32，第三口 1/243，接著 1/1024、1/3125。愈往後掰，屑愈細，細到像撒在鳳梨酥表面的糖粉，手指捏不起來，舌尖卻嚐得到甜。
整碗加起來，落在 1.0369 出頭一點點的位置，再怎麼撒也堆不滿 1.04。數學上這叫收斂，廚房裡叫夠了就收手。排在後面的那些項，小到有跟沒有一樣，這種分寸，服務區充電樁畫下的那條線最懂：追最後那一絲絲，往往不劃算。
麻煩的是，這個 1.0369 開頭的數，小數點後的數字永不循環，你拿任何兩個整數相除都除不出它。碗喫得完，數卻寫不完。
人類第一次撞見這種數，據傳在兩千五百年前。畢達哥拉斯學派相信萬物都能化成整數與整數之比，後來有人發現，正方形的對角線和邊長怎麼除都除不盡。傳說裡，把這件事說出去的人被同門扔進了海。傳說未必可信，那個震動倒是貨真價實：最方正的東西裡，也住著寫不盡的數。
這也是為什麼數學圈這回繃緊了神經。一九七八年，法國數學家阿佩裏證明了這個家族的另一個成員 ζ(3) 是無理數，轟動一時；再往上，ζ(5)、ζ(7)，一等就是四十幾年。這回把證明放上檯面的，是個大二學生，而攤開來逐行分析的，是研究這個方向多年的卡萊加裏。
派皮周長裡，住著寫不盡的數
無理數離日常其實很近，近到沾著奶油味。
烤一個蘋果派，出爐趁熱拿棉線繞派皮一圈，量出周長，再量直徑，兩個一除，會得到 3.14159 開頭的一串數字。派再圓、尺再準，這個比值永遠寫不成分數。數學課本叫它 π，英文裡它和派根本是同一個字，難怪每年 3 月 14 日，數學系都理直氣壯地喫派慶祝。
切片吐司裡也有一個。方形吐司沿對角線切開，斜邊的長度就是邊長乘上一個寫不成分數的數，你咬下三角那半片的瞬間，牙齒切過的正是 √2。擺盤的人嘴上掛的黃金比例，1.618 開頭，同樣除不盡。
有趣的是，這些數從不為難下廚的人。沒有誰因為派皮周長除不盡而烤不出派。真正被為難的，向來是想把味道寫死的人。老中菜食譜寫「鹽少許、油適量」，把寫不精準的部分交給師徒傳承：站在同一個爐邊，眼睛看火，舌頭定鹹淡。法式甜點食譜連鹽都標到小數點後一位，把同樣的部分交給電子秤。兩套文化各自發明了辦法，去處理那個除不盡的餘數。
證明要人驗，湯要人試
數學這一行有個好規矩：證明一出來，不管作者是誰，都要攤開來讓同行一步一步驗。大二的年紀擋不住一個對的證明，資深的年頭也換不來跳過檢查。卡萊加裏花力氣寫分析，那個姿態，跟老師傅試新人的湯是同一種：喝一口，放下湯匙，說得出哪裡成了、哪裡還得再滾一下。
廚房本來就是這樣運作的。辦桌的總舖師收徒弟，手藝行不行，嚐一口就知道，跟歲數無關。市場裡攤子敢喊包甜，老顧客照樣先試喫一塊再掏錢。信任很貴，所以寧可用麻煩的方式掙：讓你親口嚐，讓我親眼驗。這套老規矩搬到論文上，就叫同行審查。
那一格空著的鹽，這樣補
回頭說阿嬤的適量。後來我換了個方法抄食譜：鹽先用電子秤打底，煮湯抓湯總重的百分之一上下，醃肉抓肉的百分之一到二。有了底線，舌頭再接手。今天的高麗菜甜，退半匙；連日雨後的菜瘦，補回來。秤管分數，舌頭管尾數，那一格總算不再空白。
這種靠身體記下來的功夫，沒有說明書可抄，跟阿嬤在竈腳走了五十年的腳步修的是同一門課。
家裡有孩子的，飯桌上正好順一堂數學課。烤派之前，讓孩子自己拿棉線量周長、量直徑，除一次，3.14 就從課本走進了廚房。吐司對半切、再對半，二分之一、四分之一、八分之一，切著切著分數就長在手上。想要更狠的版本，就照 ζ(5) 的規矩，把一塊餅乾掰成 1/32、1/243 的碎屑排在盤子裡：有的數喫起來兩三口，寫起來一輩子寫不完。
至於這份 ζ(5) 的證明最後過不過得了每一關，交給數學家慢慢驗，急不來。我自己的進度比較具體：上個月又炒了一次三層肉，蒜香有到，酒氣有到，鹽就是差了半匙。我在筆記那一格補上「差半匙」三個字。下次回去，打算少抄一點，多站一會兒。那勺鹽落進鍋裡的瞬間，比任何食譜都準。