What “satisfies” Actually Means
Figure 1 — Verification is a comparison of two computed expressions. The candidate goes in, two sides come out, and the claim is that they are the same function.
A first-order differential equation has the form . A function satisfies the equation on an interval when substituting for and for produces a statement that is true for every in :
The phrase that does the work is for all in . An equation that holds at one convenient value has not been verified, and the exam writes distractors that exploit exactly that gap.