松定理说明：过一个三角形formula_62 外的一点formula_63 作它到三角形三边的垂线，设垂足分别是formula_64（如左图），那么formula_64这三个点在同一条直线上当且仅当formula_27 在三角形formula_62 的外接圆上（也就是说formula_68四点共圆）。注意到由于formula_69与formula_70都是直角，formula_71四点共圆，并且这个圆的直径就是formula_72。因此：而根据圆内弦长的关系，有：formula_74其中formu