中垂定理，也稱為中垂線的性質和判定定理，主要包括以下幾點：
中垂線的性質定理：線段垂直平分線上的點到線段兩端的距離相等。這表明，如果點O位於線段AB的垂直平分線上，那麼AO等於BO。
中垂線的判定定理：到線段兩端的距離相等的點線上段垂直平分線上。如果點C到線段AB兩端的距離相等（即AC等於BC），那麼點C位於線段AB的垂直平分線上。
垂直平分線的性質：垂直平分線不僅垂直於其所線上段，而且平分這條線段。此外，垂直平分線上任意一點到線段兩端點的距離相等。這是垂直平分線的基本性質。
逆定理：如果一條線段兩個端點到某一點的距離相等，那麼這一點位於這條線段的垂直平分線上。
三角形外接圓的性質：三角形三條邊的垂直平分線相交於一點，該點稱為外心。外心到三角形的三個頂點的距離相等，以外心為圓心，外心到頂點的長度為半徑所作的圓是三角形的外接圓。
綜上所述，中垂定理描述了垂直平分線的性質、判定方法以及與三角形外接圓的關係，這些信息對於理解幾何學中的基本概念非常重要。