Let
then there exist some
Proof.
Define
clearly
using the previous theorem Theorem 4.16Theorem 4.16
so
The second case
thus
using the previous theorem Theorem 4.16Theorem 4.16
□
Let
where
where
Proof.
We know that
so there exist
Case I:
In this case
Case II:
Then consider
case III:
Then consider
□
they are one of these type
Let I be a subinterval of
Fix
Proof.
Then
for
as
Define
that is
then,
By Intermediate value theorem there exist
The uniqueness follows from the strictly increasing property of
□
At any time there are two antipodal points(opposite) in the equator with equal temperature
Proof.
We model the equator by the unit interval
we define
we assume that
we have
Now consider
□