直接證明
由已知條件沿合法推理直接推出結論。
適用訊號
- 結論可由定義或已知定理逐步導出
基本步驟
- 展開條件
- 選取相關定義或定理
- 逐步推出結論
常見失敗
- 隱藏使用未證明命題
foundations_logic) — 研究數學語言、公理、集合、型別、可證明性與形式推理的基礎結構。arithmetic_number_systems) — 研究數、運算、數系擴張與基本數量結構。algebra) — 研究運算結構、方程、對稱與代數系統。geometry) — 研究形狀、空間、距離、角度與幾何結構。topology) — 研究連續性、鄰域、收斂與在連續變形下保持的性質。analysis) — 研究極限、連續、微分、積分與無窮過程。number_theory) — 研究整數及其算術結構。combinatorics_discrete) — 研究有限或可數結構、計數、圖與離散關係。probability_statistics) — 研究隨機性、分布、推論與資料不確定性。dynamical_systems) — 研究狀態隨時間或迭代演化的系統。differential_equations) — 研究以導數描述的關係與演化。numerical_computational) — 研究近似算法、誤差、穩定性與可計算實作。optimization_operations_research) — 研究在限制條件下尋找最佳決策。mathematical_physics) — 研究物理理論中的數學結構與方法。mathematical_biology) — 研究生命系統的數學模型。economics_finance) — 研究經濟、風險與金融系統的數學模型。computer_science_mathematics) — 研究演算法、計算、資訊與形式語言的數學基礎。mathematics_education) — 研究數學學習、教學、評量與課程。history_philosophy_methodology) — 研究數學思想的歷史、合法性標準與問題解決方法。formalized_mathematics) — 研究以證明助理與形式系統表達、檢查及重播數學。由已知條件沿合法推理直接推出結論。
假設結論不成立並推出矛盾。
由基礎情況與遞推步驟建立無限族命題。
明確建立滿足條件的數學對象。
尋找在操作或演化下保持不變的量。
利用變換下的等價性縮減問題情況。
選擇最大、最小或最早對象來逼出結構。
由對象數量超過容器數量推出重合。
構造與列舉中每一項至少一處不同的對象。
把無限或全域問題轉化為有限或收斂資料。
先研究局部資料,再考察如何拼接為全域結果。
在局部或近似層把非線性問題轉成線性問題。
把幾何或抽象關係轉成座標與代數式。
把數列或組合資料編碼成形式冪級數。
把函數分解為頻率成分以分析運算與結構。
透過隨機選取證明結構存在或估計性質。
以有限精度算法近似連續或無限問題。
以程式生成案例、探索模式與反例候選。
在宣告域內系統搜尋使命題失敗的輸入。
在明確形式系統中由核心檢查器驗證精確聲明。