Thread: integrals differening by konstant

i think thsi is easy but cant think of the answer can some1 help me out
thanx
edgar

Suppose f is continuous on a domain D. Prove that any two primitives
of f (if they exist) differ by a constant.

Originally Posted by edgar davids

i think thsi is easy but cant think of the answer can some1 help me out
thanx
edgar

Suppose f is continuous on a domain D. Prove that any two primitives
of f (if they exist) differ by a constant.

Primitive as in "anti-derivative"?
---
Theorem: If a function is differenciable with the property that for all points then, for some real number .

Proof: Let and be be points . Then, the closed interval is continous (because differenciability implies continuity). And the open interval is differenciable because that is the property of the function. This satisfies Lagrange's Mean Value theorem. There exists a point such as,

But,
Thus,

Thus,
thus, . Which means that the evaluation of the function is invariant, i.e. it is a constant function. Q.E.D.

Corrolarry
Given a function on some interval. If and are primitives, that is, for all points in the open interval. Then, , thus, is derivative zero throughtout the interval. By the theorem that means that, for some constanct function . Thus, . Q.E.D.