The vertical line test
Statement
A curve in the coordinate plane is the graph of some function of if and only if every vertical line meets in at most one point.
Why is it true?
A function assigns exactly one output to each input, so a graph that hits a given vertical line twice would be assigning two different values to the same , breaking the "exactly one output" rule.
Proof sketch
() Suppose is the graph of a function , so every point of has the form for some input . Fix any vertical line ; the only points of that can lie on it are those with first coordinate , and there is only one such point, , because assigns a single value to . So the line meets in at most one point.
() Conversely, suppose every vertical line meets in at most one point. Define by: for each that has a point of above it, let be the -coordinate of that (unique, by hypothesis) point. This assigns at most one output to each input, so is a well-defined function, and by construction its graph is exactly .
The two directions together show the equivalence: being a function's graph and passing the vertical line test are the same property viewed from two angles.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.