证明帕西娅定理

帕西娅定理（Pappus's theorem）是解析几何中的一条定理，它表述了在平面上两个不相交的直线环和它们的对称中轴线所围成的图形的两个重心之间的连线，必定经过它们的交点。

证明：

设两个不相交的直线环分别为L1和L2，它们的对称中轴线分别为l1和l2。设L1和L2分别经过l2和l1的交点为A和B，L1和L2的任意一条相交线段为CD。

首先，我们可以证明，在平面上任意一条线段的中点所在的直线（称为中位线）与这条线段的对称轴重合。因为对于任意一条线段AB，它的中点M可以表示为M=(A+B)/2，而中位线上任意一点P可表示为P=(A'+B')/2，其中A'和B'分别为AB在中位线上的投影点。因为中位线与AB垂直，所以A'、B'和M三点共线，即PM与中位线重合。

接下来，我们证明CD的中点E、L1和L2的交点F以及L1和L2的对称轴l1和l2的交点G共线。

首先，根据中位线的性质，CD的中点E必定在l1和l2的中位线上。设l1和l2的交点为O，则O是L1和L2的对称轴，因此OE和OF都垂直于CD。又因为E是CD的中点，所以OE和OF也分别平分CD，即CE=DE，CF=DF。因此，三角形CEF和DEF相等，所以EF平分CD，即EF与CD的中点重合。

现在，我们证明EF、FG和AO三者共线。由于E和F分别位于l1和l2的中位线上，而l1和l2是对称的，所以EF在l1和l2的交点G处垂直于l1和l2的交线，即EF与l1和l2的交点G重合。又因为l1和l2的交点O位于EF和FG的中垂线上，所以EF、FG和AO三者共线。

因此，我们证明了帕西娅定理。具体地，EF连接CD的中点和L1和L2的交点的中点，FG连接L1和L2的交点和L1和L2的对称轴的交点，AO连接L1和L2的对称轴的交点和L1和L2的交点。根据证明过程，EF、FG和AO三者共线，所以帕西娅定理得证。