Horizontal chord of reciprocal-integer length
ID: horizontal-chord-of-reciprocal-integer-length
If is continuous and , then for every positive integer there is with . For , the continuous difference satisfies . Either one sampled difference is zero or two have opposite signs; the intermediate value theorem then supplies a zero between them. For , the endpoint chord suffices.
New to topics? Read the docs here!