姆松定理说明：有三角形formula_1，平面上有一点formula_2。formula_2在三角形三边上的投影（即由formula_2到边上的垂足）共线（此线称为西姆松线或译「西摩松线」, Simson line）若且唯若formula_2在三角形的外接圆上。相关的结果有：
证明.如图，若L、M、N三点共线，连结BP，CP，则因PL垂直于BC，PM垂直于AC，PN垂直于AB，有B、P、L、N和M、P、L、C分别四点共圆，有角PBN = 角PLN = 角PLM = 角PCM