矩形是一种常见的几何图形，它有四个角和四条边。当我们将矩形沿着对角线折叠时，可以发现两个直角三角形。这两个直角三角形是相似的，因此它们的对应边长成比例。因此，矩形的对角线相互平分。

下面我们来详细证明一下矩形对角线相互平分的原理。

首先，设矩形的两条对角线分别为AC和BD，交于点O。我们需要证明AO=CO，同时也需要证明BO=DO。

因为矩形的两条对边相等，所以AB=CD，AD=BC。我们可以通过勾股定理得出AO^2=AB^2+BO^2和CO^2=BC^2+BO^2。将AB和BC带入上式，可以得到AO^2=CO^2，因此AO=CO。

同理，我们可以通过勾股定理得出BO^2=AB^2+AO^2和DO^2=CD^2+CO^2。将AB和CD带入上式，可以得到BO^2=DO^2，因此BO=DO。

因此，我们证明了矩形的对角线相互平分，即AO=CO，BO=DO。