Write
The first column has unit length for the indefinite quadratic form:
Because , there is a unique such that
The two columns are orthogonal for the same form and the second has squared length :
The vectors with these properties are
Using the hyperbolic cosine and hyperbolic sine, the two possible families are therefore
Set
Its endpoint values are equal. Rolle theorem therefore supplies with
If , then (1) and force , contrary to the hypothesis. Hence , and division in (1) gives
The condition is necessary. On , let
Here while , so the endpoint ratio is zero. But
Where , their ratio is and is never zero. At the remaining points both derivatives vanish, so the derivative ratio is undefined. Thus the conclusion fails when simultaneous zeros are allowed.
No. On , take
Then . For every ,
This quadratic expression is strictly positive: it equals
Thus no chord with endpoints on opposite sides of has slope .
Let
Then . Since is not linear, for some . If , the mean value theorem on gives a point with
If , apply it on to obtain
In either case , and therefore
Rolle theorem: if is continuous on , differentiable on , and , then for some . Indeed, the extreme value theorem gives a maximum and minimum. If both occur only at the endpoints then is constant; otherwise an interior extremum satisfies by comparing the two-sided difference quotients.
Mean value theorem: if is continuous on and differentiable on , then some satisfies
Apply Rolle's theorem to
which has .
Observed stellar velocities estimate , while visible mass and size predict . Galaxies and clusters often have far more kinetic energy than luminous matter can bind under the virial theorem. The additional gravitational potential is evidence for unseen dark matter.
For , differentiation gives
because the Newtonian potential is homogeneous of degree . Bounded positions and velocities imply , so the virial theorem gives .
A Riemann P-symbol specifies a second-order Fuchsian equation with regular singular points and the two local exponents shown beneath each point. The Fuchs relation is .

There are unlisted articles, also show them or only show them.