取任意三角形 ABC 和其外接圆上的任意点 P.设从 P 到 AB,BC 和 CA 的垂线分别为 D,E 和 F.(至少需要生成一条边来满足垂线。)则 D,E 和 F 都位于一条直线上,即该点的西姆森线。
此定理归功于 罗伯特·西姆森,1687-1768 年。