转载:姜启源老师《数学模型(第五版)》椅子能在不平的地面上放稳吗?
这个问题来源于日常生活中一个普通的事实:把四只脚的椅子往不平的地面上一放,通常只有三只脚着地,放不稳,然而只需稍挪动几次,就可以使四只脚同时着地,放稳了.这个看来似乎与数学无关的现象能用数学语言给以表述,并用数学工具来证实吗?让我们试试看
模型假设 对椅子和地面应该做一些必要的假设:
- 椅子四条腿一样长,椅脚与地面接触处可视为一个点,四脚的连线呈正方形.
- 地面高度是连续变化的,沿任何方向都不会出现间断(没有像台阶那样的情
况),即地面可视为数学上的连续曲面. - 对于椅脚的间距和椅腿的长度而言,地面是相对平坦的,使椅子在任何位置至
少有三只脚同时着地.
假设 1 是对椅子本身合理的简化.假设 2 相当于给出了椅子能放稳的条件,因为如果地面高度不连续,比如在有台阶的地方是无法使四只脚同时着地的.假设 3 是要排除这样的情况:地面上与椅脚间距和椅腿长度的尺寸大小相当的范围内,出现深沟或凸峰(即使是连续变化的),致使三只脚无法同时着地.
虽然椅子有四只脚,因而有四个距离,但是由于正方形的中心对称性,只要设两个距离函数就行了.记 A , C A,C A,C两脚与地面距离之和为 f ( θ ) , B , D f(\theta),B,D f(θ),B,D两脚与地面距离之和为 g ( θ ) ( f ( θ ) , g ( θ ) ≥ 0 ) . g(\theta)\left(f(\theta),g(\theta)\geq0\right). g(θ)(f(θ),g(θ)≥0).由假设 2, f f f和 g g g都是连续函数.由假设 3,椅子在任何位置至少有三只脚着地,所以对于任意的 θ , f ( θ ) \theta,f(\theta) θ,f(θ)和 g ( θ ) g(\theta) g(θ)中至少有一个为零.当 θ = 0 \theta=0 θ=0时,不妨设 g ( 0 ) = 0 , f ( 0 ) > 0 g(0)=0,f(0)>0 g(0)=0,f(0)>0,而当椅子旋转 90°后,对角线 A C AC AC 与 B D BD BD 互换,于是 f ( π / 2 ) = 0 , g ( π / 2 ) > 0 f(\pi/2)=0,g(\pi/2)>0 f(π/2)=0,g(π/2)>0 这样 ,改变椅子的位置使四只脚同时着地,就归结为证明如下的数学命题:
已知 f ( θ ) f(\theta) f(θ)和 g ( θ ) g(\theta) g(θ)是 θ \theta θ 的连续函数 ,对任意 θ , f ( θ ) ⋅ g ( θ ) = 0 \theta,f(\theta)\cdot g(\theta)=0 θ,f(θ)⋅g(θ)=0,且 g ( 0 ) = f ( π / 2 ) = 0 , f ( 0 ) > 0 , g ( π / 2 ) > 0. g(0)=f(\pi/2)=0,f(0)>0,g(\pi/2)>0. g(0)=f(π/2)=0,f(0)>0,g(π/2)>0.证明存在 θ 0 \theta_0 θ0,使 f ( θ 0 ) = g ( θ 0 ) = 0. f(\theta_0)=g(\theta_0)=0. f(θ0)=g(θ0)=0.
令
h
(
θ
)
=
f
(
θ
)
−
g
(
θ
)
h(\theta)=f(\theta)-g(\theta)
h(θ)=f(θ)−g(θ),则
h
(
0
)
>
0
h(0)>0
h(0)>0 和
h
(
π
/
2
)
<
0.
h(\pi/2)<0.
h(π/2)<0.由
f
f
f 和
g
g
g 的连续性知
h
h
h 也是连续函
数.根据连续函数的基本性质,必存在
θ
0
(
0
<
θ
0
<
π
/
2
)
\theta_0(0<\theta_0<\pi/2)
θ0(0<θ0<π/2) 使
h
(
θ
0
)
=
0
h(\theta_0)=0
h(θ0)=0,即
f
(
θ
0
)
=
g
(
θ
0
)
.
f(\theta_0)=g(\theta_0).
f(θ0)=g(θ0).
最后,因为
f
(
θ
0
)
⋅
g
(
θ
0
)
=
0
f(\theta_0)\cdot g(\theta_0)=0
f(θ0)⋅g(θ0)=0,所以
f
(
θ
0
)
=
g
(
θ
0
)
=
0.
f(\theta_0)=g(\theta_0)=0.
f(θ0)=g(θ0)=0.