PRINCIPIA · THEOREM
三角形三条高交于一点(垂心)
依赖:过直线外一点存在唯一平行线(Playfair)(过直线外一点存在唯一平行线(Playfair))、平行四边形对边相等(平行四边形性质(对边相等 / 对角线互相平分))、外心存在(外心存在)。
陈述
已知:。分别从顶点 、、 向对边所在直线作垂线,得到三条高: 过 且 , 过 且 , 过 且 。
求证:三条高交于同一点(该公共点称为 的垂心,记作 )。

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