英文：The first theorem of three wood
定義：對於任何已知正確的證明題都能通過已知條件得出所需證明的內容
簡介
對於任何已知正確的證明題（如高考證明題），所有已知條件的集合都可以證得所需證明的內容
即對任意一個已知沒有問題的證明題：已知C1、C2、C3……Cn，求證T1、T2、T3……Tm，可以套用三木定理進行解答，示例如下：
解（或“證明”）：由已知集合{C1、C2、C3……Cn}，可證出結果{T1、T2、T3……Tm}，證明完畢
使用
優勢對於複雜的證明題，一般的解法（或證明方法），如果要用常規的思路進行證明，往往需要花去大量的時間和精力，卻常常無法解決問題。但是三木第一定理通過已知條件和求證結果之間的必然聯繫，把多個步驟的證明題簡化為兩步到位的證明題，大大增加了解題效率。而且對於一切正確的證明題，都能夠套用該定理，因此該定理又被稱作“三木-萬能公式”
缺點儘管該定理對所有已知正確的證明題都能夠“兩步到位”，但是對本身就有先天錯誤的證明題無能為力，也就是說這個定理無法發現題目存在的問題。所以這個定理並不適用於所有證明題。
另外，這個定理只能在已知證明目的的情況下使用，對於證明題：已知C1、C2、C3……Cn，求證T（T是求具體數值，或其他必須求出具體但未知的結果），因此該定理也並不適用於求證題
發現
發現這個定理的人是21世紀偉大的數學家——三木同志，他也是歷史上首位中國人諾貝爾數學獎的得主。三木經過長期寫數學證明題的經驗，經過重複推到和證明，終於在其有生之年，證明了三木第一定理，並靠這個定理獲得了290屆諾貝爾數學獎。
據說，三木同志發現這個定理的源於他上的數學課，但他的導師老ZHU談到證明題的時候，他總是在反覆強調兩個詞：“由已知”、“顯然”。為什麼總是會強調這兩個詞呢？這個問題使得三木同志百思不得其解，經過一個夜晚的反覆思考之後，三木終於在那一夜發現，原來已知條件和證明目的之間存在著必然的聯繫，無論什麼證明題（除了本身存在問題的證明題），證明目的總是通過給出條件和隱含條件得來的！得出這個結論之後，一切都 豁然開朗了，原來通過已知條件一定能夠推倒出證明目的，於是乎，他做了一個驚人的決定：發表這個理論，並將其以自己的名字命名為——三木第一定理。
