给定两个圆，从每个圆的圆心向另一个圆的边作切线。那么线段 
和 
的长度相等。
该定理可以通过暴力方法证明，即建立九个方程
 |  |  |
(1)
|
 |  |  |
(2)
|
 |  |  |
(3)
|
 |  |  |
(4)
|
 |  |  |
(5)
|
 |  |  |
(6)
|
 |  |  |
(7)
|
 |  |  |
(8)
|
 |  |  |
(9)
|
并使用 Gröbner 基 来确定由 
和 
满足的多项式方程，同时消除 
, 
, 
, 
, 
, 
和 
。由 
和 
满足的得到的八次多项式是相同的，证明了 
。
眼球定理
另请参阅
圆, 圆-圆切线使用 Wolfram|Alpha 探索
参考文献
Wells, D. The Penguin Dictionary of Curious and Interesting Geometry. London: Penguin, p. 70, 1991.在 Wolfram|Alpha 上被引用
眼球定理请引用为
Weisstein, Eric W. "眼球定理。" 来自 MathWorld--一个 Wolfram Web 资源。 https://mathworld.net.cn/EyeballTheorem.html