PRINCIPIA · THEOREM
三角形三条高交于一点(垂心)
依赖:过直线外一点存在唯一平行线(Playfair)(过直线外一点存在唯一平行线(Playfair))、平行四边形对边相等(平行四边形性质(对边相等 / 对角线互相平分))、外心存在(外心存在)。
陈述
设 。从 、、 各向对边所在直线作垂线,三条垂线(即三条高)交于同一点。这一点称为 的垂心,记作 。

帮我把这条定理写得更好
依赖:过直线外一点存在唯一平行线(Playfair)(过直线外一点存在唯一平行线(Playfair))、平行四边形对边相等(平行四边形性质(对边相等 / 对角线互相平分))、外心存在(外心存在)。
设 。从 、、 各向对边所在直线作垂线,三条垂线(即三条高)交于同一点。这一点称为 的垂心,记作 。
