主题
Search

凯西定理


四个 c_1c_2c_3c_4 与第五个或一条直线直线当且仅当时,

 T_(12)T_(34)+/-T_(13)T_(42)+/-T_(14)T_(23)=0.
(1)

其中 T_(ij) 是圆 ij 的公切线的长度 (Johnson 1929, pp. 121-122)。以下情况是可能的:

1. 如果所有的 Ts 都是外公切线,那么 c_5 与所有圆都有同向接触,

2. 如果来自一个圆的 Ts 是内公切线,而其他三个是外公切线,那么这个圆与 c_5 的接触方式与其他三个不同,

3. 如果给定的圆可以成对配对,使得每对圆的公切线是外公切线,而其他四个是内公切线,那么每对的成员与 c_5 具有同向接触

(Johnson 1929, p. 125)。

CaseysTheorem

上面显示的凯西定理的特殊情况是在群马县 1874 年的算额问题中给出的。在这种形式中,一个圆绘制在一个正方形内部,然后在其周围绘制四个圆,每个圆都与正方形的两条边相切。对于边长为 a 且左下角位于 (0,0) 的正方形,其中包含一个半径为 r 中心为 (x,y) 的中心圆,可以通过求解以下方程找到四个圆的半径和位置:

 (1-r_4-x)^2+(y-r_4)^2=(r+r_4)^2
(2)
 (1-r_1-x)^2+(1-r_1-y)^2=(r+r_1)^2
(3)
 (x-r_3)^2+(y-r_3)^2=(r+r_3)^2
(4)
 (x-r_2)^2+(1-r_2-y)^2=(r+r_2)^2.
(5)

定理的四个 T_(ij) 对于该图立即给出为

T_(12)=a-r_1-r_2
(6)
T_(34)=a-r_3-r_4
(7)
T_(14)=a-r_1-r_4
(8)
T_(23)=a-r_2-r_3.
(9)

剩余的 T_(13)T_(24) 可以如图右所示找到。设 c_(ij) 是从 O_iO_j 的距离,则

c_(13)^2=(a-r_1-r_3)^2+(a-r_1-r_3)^2
(10)
=2(a-r_1-r_3)^2
(11)
c_(24)^2=(a-r_2-r_4)^2+(a-r_2-r_4)^2
(12)
=2(a-r_2-r_4)^2,
(13)

因此

T_(13)=sqrt(c_(13)^2-(r_3-r_1)^2)
(14)
=sqrt(2(a-r_1-r_3)^2-(r_3-r_1)^2)
(15)
T_(24)=sqrt(c_(24)^2-(r_2-r_4)^2)
(16)
=sqrt(2(a-r_2-r_4)^2-(r_2-r_4)^2).
(17)

由于四个圆都与 c_5 外切,因此要使用的凯西定理的相关形式具有符号 (+,-),因此我们有以下等式:

 (a-r_1-r_2)(a-r_3-r_4)+(a-r_1-r_4)(a-r_2-r_3) 
 -sqrt([2(a-r_1-r_3)^2-(r_3-r_1)^2][2(a-r_2-r_4)^2-(r_2-r_4)^2])=0
(18)

(Rothman 1998)。然后求解 a 得到关系式

 a=(2(r_1r_3-r_2r_4)+sqrt(2(r_1-r_2)(r_1-r_4)(r_3-r_2)(r_3-r_4)))/(r_1-r_2+r_3-r_4)
(19)

Durell (1928) 将以下定理称为凯西定理:如果 t 是半径为 ab 的两个圆的公切线长度,t^' 是它们相对于任何点的反演的对应公切线长度,并且 a^'b^' 是它们反演的半径,那么

 (t^2)/(ab)=(t^('2))/(a^'b^').
(20)

另请参阅

普尔瑟定理, 相切圆

使用 探索

参考文献

Casey, J. A Sequel to the First Six Books of the Elements of Euclid, Containing an Easy Introduction to Modern Geometry with Numerous Examples, 5th ed., rev. enl. Dublin: Hodges, Figgis, & Co., p. 103, 1888.Casey, J. A Treatise on the Analytical Geometry of the Point, Line, Circle, and Conic Sections, Containing an Account of Its Most Recent Extensions, with Numerous Examples, 2nd ed., rev. enl. Dublin: Hodges, Figgis, & Co., p. 125, 1893.Coolidge, J. L. A Treatise on the Geometry of the Circle and Sphere. New York: Chelsea, p. 37, 1971.Durell, C. V. Modern Geometry: The Straight Line and Circle. London: Macmillan, p. 117, 1928.Fukagawa, H. and Pedoe, D. "Many Circles and Squares (Casey's Theorem)." §3.3 in Japanese Temple Geometry Problems. Winnipeg, Manitoba, Canada: Charles Babbage Research Foundation, pp. 41-42 and 120-1989.Johnson, R. A. Modern Geometry: An Elementary Treatise on the Geometry of the Triangle and the Circle. Boston, MA: Houghton Mifflin, pp. 121-127, 1929.Lachlan, R. An Elementary Treatise on Modern Pure Geometry. London: Macmillian, pp. 244-251, 1893.Rothman, T. "Japanese Temple Geometry." Sci. Amer. 278, 85-91, May 1998.

在 上引用

凯西定理

请引用为

Weisstein, Eric W. "凯西定理." 来自 Web 资源。 https://mathworld.net.cn/CaseysTheorem.html

学科分类