把椅子往不平的地面上一放，通常只有三只脚着地，放不稳，然而只需要稍微挪动几次椅子，就可以使四只脚同时着地，放稳了。那么现在，我们应该如何用数学语言来建立模型并表述证明，椅子能在不平的地面上放稳呢？

为了方便理解，我们需要对问题做一些假设：

首先，我们需要用数学语言来描述椅子的位置，因为我们假定椅子为长方形，建立直角坐标系，如图，我们用椅子腿对角线 AC 与 x 轴的夹角 θ 来表示椅子的位置

其次，我们需要用数学语言来描述椅子腿距地面的距离，由于正方形的中心对称性，我们只需要设两个距离函数：

A,C 两脚距离地面的距离和 f(θ) B,D 两脚距离地面的距离和 g(θ)

我们看到这两个函数都是关于椅子位置（θ）的函数，并且根据我们之前的假设3，我们可以知道这两个函数都是连续函数。

根据假设4（在任何时候椅子至少要能有三条腿着地），我们就可以得到，对于任意的 夹角 θ ，f(x) 与 g(x) 至少有一个为0，我们假设 g(x) = 0， f(x) > 0,由于长方形的中心对称性，当椅子转动180度后，于是 f(π) = 0， g(π) > 0

因此我们就把问题抽象为了一个数学命题，用数学语言描述如下：

已知 f(x) 和 g(x) 是关于 θ 的连续函数，对于任意的 θ ，f(x) * g(x) = 0 ,且 g(0) = f(π) = 0, f(0) > 0 , g(π) > 0 。证明：存在一个角度θ0，使得f(θ0) = g(θ0) = 0

对于以上抽象出的问题就已经很简单了，只要我们证明出了以上命题就可以得到最后问题的答案。

我们试着证明一下上面的命题，其实根据命题我们就知道根据很简单的微积分中连续函数的基本性质就可以证明出来

证明: 令h(θ) = f(θ) - g(θ),则 h(0) > 0 h(π) < 0,由于 f(x) 和 g(x) 的连续性可知 h(x) 同样也是连续函数。根据连续函数基本性质，我们可以得到必存在 θ0（0 < θ0 < π）使h(θ0) = 0,即f(θ0) = g(θ0),最后，因为f(x) * g(x) = 0,得到f(θ0) = g(θ0) = 0

最终我们得到的结论是，在我们的假设的条件下，椅子能在不平的地面上放平。