哈特定理

- 作者 John D. Cook 是一位应用数学家，长期撰写面向程序员的数学科普博客，擅长用简明语言讲解专业定理。 - Hart 定理（Hart's theorem）是平面几何中的一个经典结论，涉及由圆弧构成的三边形（非直边三角形）的内切圆与外切圆（旁切圆）的相切关系。 - 该定理与更著名的 Feuerbach 定理（九点圆与内切圆、旁切圆相切）有密切联系，可视作 Feuerbach 定理在圆弧三角形上的推广。 - 定理中的"内切圆"指能放入图形内部的最大圆；"旁切圆"指分别与每条边（或边延长线）相切的圆。 - 这篇文章面向的读者通常具有编程或工程背景，对几何直观感兴趣，而非纯粹数学研究者。