排队问题解题思路_用一道IMO试题分享一类几何问题的解题思路

题目出自2020 IMO的第一题：

我一般拿到这种题，会想到先把图形精确地画出来，但是这个图怎么画呢，如果给你一个四边形，里面找一个点P，使他满足这个性质是有点难的，通常我们可能这样画

1. 先画一个四边形ABCD
2. 找到AB的中垂线
3. 上找一点O
4. 做A关于DO的对称点A'
5. 做B关于CO的对称点B'
6. 然后连接DA', CB'交于点P

这时候我们得到的点P，能满足要证明的结论，即DO是

的角平分线，CO是

的角平分线，O在AB的垂直平分线上。

但是这个与题目的条件没法匹配上，我们找不到一种方法，让

，更不用说让

，所以必须换个思路。

这时候我想，能不能先确定ABP，然后再找CD呢？

首先我们做一个三角形PAB，

这时候我们需要做一条射线AD，使得

，自然而然的我们想到了先做

的角平分线

，那么如何在角平分线上找到一点E，使得

呢，很显然，做三角形PAB的外接圆交

于一点E，就可以了，同样三角形PAB的外接圆交

的角平分线于F，

下面我们就需要在射线AE， BF上找到D， C，使得

。也就是

。

这时候我们注意到PE和AE夹角（锐角）就是

，那么显然D点在PE的中垂线上，同理C点也在PE的中垂线上。于是分别作PE， PF的中垂线，叫AE， AF于D， C即可得到D， C两点。如下图：

画完的四边形ABCD以及点P，完全满足题目条件，而且你会发现，

的角平分线，

的角平分线，正好是PE， PF的中垂线，而PE， PF的中垂线正好指向五边形ABFPE外接圆的圆心，同样AB的中垂线也指向这个圆心，于是题目就明显得证了。

很多几何题就是这样，你可以尝试用尺规作图把它精确的还原出来，等你还原出来后，你会发现，题目的证明就被轻松的发现了。

上述作图软件有在线地址，https://www.math10.com/en/geometry/geogebra/fullscreen.html

用它作图非常方便。

顺便给大家提个问题：如果给你四边形ABCD，你能采用上面的方式找到点P吗？