existence proof ⇝
f(k) = (1-k)*n + k*p = 0.A non-constructive proof might proceed by observing that as k changes continuously from 0 to 1, f(k) changes continuously from n to p and, since they lie either side of zero, f(k) must pass through zero for some intermediate value of k. This proof does not tell us what that value of k is, only that it exists. Cantor's proof that the real numbers are uncountable can be thought of as a non-constructive proof that irrational numbers exist. There are existence theorems with no known constructive proof.
Last updated: 2014-08-23