构造性证明：一种证明方法，不仅说明某对象“存在”，还给出如何构造（找到/计算）该对象的具体方法或算法。常见于直觉主义逻辑、构造性数学与计算机科学中。（相对地，非构造性证明可能只用反证法等方式推出存在性，但不提供构造。）
/kənˈstrʌktɪv pruːf/
A constructive proof shows how to build the object you claim exists.
构造性证明会展示如何构造你所声称存在的对象。
The theorem can be proved constructively by giving an explicit algorithm that, for any input, produces a solution and verifies its correctness.
这个定理可以用构造性方法证明：给出一个明确的算法，对任意输入都能产生一个解，并验证其正确性。
constructive 来自拉丁语 constructus（“建造、构成”），强调“通过构造得到”；proof 源自拉丁语 probare（“检验、证实”）。合在一起，constructive proof 字面即“通过构造来完成的证明”，突出“可操作、可生成”的证明思想。
Select Language