데카르트 정리

1. 개요

데카르트 정리는 네 개의 서로 접하는 원의 반지름 또는 곡률 사이의 관계를 설명하는 정리이다. 1643년 르네 데카르트가 제시했으며, 1826년 야코프 슈타이너 등에 의해 재발견되었다. 데카르트 정리는 다음과 같은 공식을 가진다. 세 원의 반지름을 a, b, c, 접하는 원의 반지름을 d라고 할 때, (1/a + 1/b + 1/c + 1/d)^2 = 2(1/a^2 + 1/b^2 + 1/c^2 + 1/d^2)가 성립한다. 이 정리는 구면 기하학 및 쌍곡 기하학으로 일반화될 수 있으며, 아폴로니안 개스킷, 포드 원, 콕세터의 접하는 원들의 loxodromic 수열, 삼각형의 소디 원 등 다양한 응용 분야에서 활용된다. 또한, 데카르트 정리를 만족하는 네 개의 정수는 정수 변과 면적을 갖는 헤론 삼각형과 밀접하게 관련되어 있다.

2. 역사

원과 접하는 기하학적 문제는 수천 년 동안 다루어져 왔다. 기원전 3세기 고대 그리스의 페르가의 아폴로니우스는 '접선'(Ἐπαφαί^{고대 그리스어})이라는 책 전체를 이 주제에 할애했다. 이 책은 소실되었지만, 알렉산드리아의 파푸스의 설명과 중세 이슬람 수학의 단편적인 언급을 통해 내용이 알려져 있다. 그러나 그리스 기하학은 주로 자 와 컴퍼스 작도에 집중했다. 예를 들어, 아폴로니우스의 문제는 데카르트 정리와 밀접한 관련이 있으며, 서로 접할 필요가 없는 세 개의 주어진 원에 접하는 원을 작도하는 문제이다. 반면, 데카르트의 정리는 기하학적 형태를 설명하는 숫자 간의 대수적 관계, 즉 해석 기하학을 사용하여 공식화되었다. 이는 17세기 전반 르네 데카르트와 피에르 드 페르마가 개척한 분야이다.

데카르트는 1643년, 팔츠의 엘리자베트 공주에게 보낸 두 통의 편지에서 접선 원 문제를 간략하게 논의했다. 데카르트는 처음에 공주에게 아폴로니우스의 문제를 제시했다. 엘리자베트의 부분적인 결과 이후, 데카르트는 전체 문제를 해석적으로 해결하는 것이 너무 복잡하다고 판단하여 문제를 세 개의 주어진 원이 서로 접하는 경우로 단순화했다. 이 단순화된 문제를 해결하면서 네 개의 서로 접하는 원의 반지름 또는 곡률 간의 관계를 설명하는 방정식을 제시했는데, 이것이 데카르트의 정리로 알려지게 되었다. 데카르트는 이 관계를 찾은 추론 과정은 제시하지 않았다.

일본 수학에서도 원과 접선 관련 문제를 자주 다루었다. 일본 수학자 야마지 누시즈미는 1751년에 데카르트 정리의 한 형태를 제시했다. 데카르트와 마찬가지로, 그는 곡률이 아닌 반지름에 대한 다항식 방정식으로 표현했다. 이 정리의 특별한 경우로, 한 직선과 세 원에 대한 문제는 1824년 일본의 산가쿠 현판에 기록되었다.

데카르트의 정리는 1826년 야코프 슈타이너, 1842년 필립 비크로프트, 그리고 1936년 프레데릭 소디에 의해 재발견되었다. 소디는 이 정리의 버전을 "The Kiss Precise"라는 시로 형식화하여 과학 저널 네이처에 발표했다. 이 때문에 문제의 접하는 원들은 때때로 소디 원이라고 불린다. 소디는 또한 정리를 구로 확장했으며, 또 다른 시에서는 각 구가 이웃 구 및 세 개의 주어진 서로 접하는 구에 접하는 여섯 개의 구 사슬을 설명했는데, 이 배열은 현재 소디의 육각체라고 불린다. 토롤드 고셋과 다른 사람들은 정리를 임의의 차원으로 확장했으며, 고셋의 버전은 그 다음 해에 출판되었다. 이 일반화는 때때로 소디-고셋 정리라고 불리지만, 육각체와 3차원 버전은 산가쿠와 1886년 로버트 래클런의 연구에서 더 일찍 알려졌다.

이 정리에는 여러 증명 방법이 발표되었다. 슈타이너의 증명은 파푸스 체인과 비비아니의 정리를 사용한다. 필립 비크로프트와 H. S. M. 콕세터의 증명은 원래 세 원의 접점을 통과하는 네 개의 추가 원을 포함한다. 콕세터는 반전 기하학을 이용한 증명도 제시했다. 다른 증명 방법으로는 대칭성을 이용한 논증, 외대수 계산, 또는 헤론의 공식의 대수적 조작 등이 있다(소디 원 참조). 또한, 동일 평면상의 네 원 중심의 케일리-멩거 행렬식이 0이라는 사실로부터 이 결과를 유도할 수도 있다.

3. 공식화

데카르트 정리는 원의 곡률을 사용하여 나타내는 것이 가장 간결하다. 원의 반지름이 $r$일 때, 그 원의 부호 곡률(또는 휨) $k$는 $k\; =\; \backslash pm\; \backslash frac\{1\}\{r\}$로 정의된다. 원이 클수록 곡률의 절댓값은 작아지고, 원이 작을수록 곡률의 절댓값은 커진다. 곡률 $k$의 부호는 원이 다른 원들과 어떻게 접하는지를 나타낸다. 만약 원이 다른 원들에 외접한다면(그림의 검은색 원들처럼), 그 곡률 $k$는 양수(+)이다. 반면, 다른 원들을 내접하며 감싸 안는다면(그림의 큰 빨간색 원처럼), 그 곡률 $k$는 음수(-)이다. 직선은 곡률이 0 ($k=0$)인 퇴화된 원으로 간주할 수 있으며, 이 경우에도 데카르트 정리는 성립한다.

서로 다른 여섯 점에서 두 개씩 접하는 네 개의 원이 있고, 각 원의 곡률을 $k\_1,\; k\_2,\; k\_3,\; k\_4$라고 할 때, 데카르트 정리는 다음과 같은 관계식이 성립함을 말한다.

$(k\_1\; +\; k\_2\; +\; k\_3\; +\; k\_4)^2\; =\; 2\; (k\_1^2\; +\; k\_2^2\; +\; k\_3^2\; +\; k\_4^2)$ (식 1)

이 식은 네 개의 곡률 중 하나를 미지수로 보면 이차 방정식이 된다. 따라서 서로 접하는 세 개의 원(곡률 $k\_1,\; k\_2,\; k\_3$)이 주어졌을 때, 이 세 원에 모두 접하는 네 번째 원의 곡률 $k\_4$는 위 이차 방정식을 풀어서 구할 수 있다.

$k\_4\; =\; k\_1\; +\; k\_2\; +\; k\_3\; \backslash pm\; 2\; \backslash sqrt\{k\_1\; k\_2\; +\; k\_2\; k\_3\; +\; k\_3\; k\_1\}$ (식 2)

수식의 $\backslash pm$ 부호는 일반적으로 두 개의 해가 존재함을 의미한다. 즉, 주어진 세 개의 접하는 원들에 대해 이들 모두에 접하는 원은 두 개가 존재한다(그림의 두 빨간색 원). 문제의 조건에 따라 두 해 중 하나가 더 적합할 수 있다.

단, 데카르트 정리는 두 개 이상의 원이 한 점에서 동시에 접하는 경우에는 적용할 수 없다. 모든 원의 접점은 서로 달라야 한다. 만약 여러 원이 한 점에서 만난다면, 그 점을 지나는 무한히 많은 원(원의 다발)이 존재할 수 있다.

3.1. 특별한 경우

데카르트 정리는 몇 가지 특별한 경우에 더 간단한 형태로 나타난다.

* 원 중 하나가 직선인 경우: 직선은 곡률이 0이고 반지름이 무한대인 퇴화 원으로 간주할 수 있다. 이 경우에도 데카르트 정리는 적용된다. 예를 들어, 세 번째 원이 직선이어서 곡률 $k\_3=0$이라면, 네 원의 곡률 사이의 관계식
$$(k\_1\; +\; k\_2\; +\; k\_3+k\_4)^2=2\backslash ,(k\_1^2+k\_2^2+k\_3^2+k\_4^2)$$ (식 1)
은 다음과 같이 인수분해될 수 있다.
$$\backslash begin\{align\}$$
& \bigl(\sqrt{k_1} + \sqrt{k_2} + \sqrt{k_4}\bigr)
\bigl({\sqrt{k_2} + \sqrt{k_4} - \sqrt{k_1}}\bigr) \\[3mu]
& \quad {} \cdot
\bigl(\sqrt{k_1} + \sqrt{k_4} - \sqrt{k_2}\bigr)
\bigl(\sqrt{k_1} + \sqrt{k_2} - \sqrt{k_4}\bigr) = 0,
\end{align}
또한, 네 번째 원의 곡률 $k\_4$를 구하는 식
$$k\_4\; =\; k\_1\; +\; k\_2\; +\; k\_3\; \backslash pm2\; \backslash sqrt\{k\_1\; k\_2\; +\; k\_2\; k\_3\; +\; k\_3\; k\_1\}$$ (식 2)
는 $k\_3=0$ 이므로 다음과 같이 간단해진다.
$$k\_4=k\_1+k\_2\backslash pm2\backslash sqrt\{k\_1k\_2\}.$$
양변에 제곱근을 취하면 ($k\_1\; \backslash ge\; k\_2$ 라 가정할 때) 다음과 같은 더 간단한 형태를 얻을 수 있다.
$$\backslash sqrt\{k\_4\}=\backslash sqrt\{k\_1\}\backslash pm\; \backslash sqrt\{k\_2\},$$
이 식은 피타고라스 정리와 유사한 형태를 가지고 있어 흥미롭다.

* 원 중 두 개가 직선인 경우: 두 개의 원이 직선으로 대체되는 경우를 생각해보자. 이 두 직선은 평행선이 된다. 이 경우 $k\_2=k\_3=0$ 이므로, 식 (2)는 다음과 같이 자명한 결과로 축소된다.
$$\backslash displaystyle\; k\_4=k\_1.$$
이는 두 평행선 사이에 접하는 원은 반지름(따라서 곡률의 절댓값)이 같아야 한다는 사실과 일치한다.

* 세 원이 합동인 경우: 만약 세 원이 서로 합동이라면, 그 중심들은 정삼각형을 이루고 접점들 또한 정삼각형을 이룬다. 이 세 합동원에 모두 접하는 네 번째 원에 대한 두 가지 가능성에 대해, 식 (2)는 다음과 같이 간단해진다.
$$k\_4\; =\; (3\; \backslash pm2\; \backslash sqrt\{3\})k\_1.$$

* 곡률이 제곱수인 경우: 곡률 $k\_i$가 모두 정수의 제곱인 특별한 경우, 즉 $k\_1=v^2,\; k\_2=x^2,\; k\_3=y^2,\; k\_4=z^2$ (여기서 $v,x,y,z$는 정수)라고 가정하면, 식 (1)은 다음과 같이 표현된다.
$$(v^2\; +\; x^2\; +\; y^2\; +\; z^2)^2\; =\; 2\; (v^4\; +\; x^4\; +\; y^4\; +\; z^4)$$ (식 3)
오일러는 이 식이 다음과 같은 피타고라스 수와 관련 있음을 보였다.
$$(2vx)^2\; +\; (2yz)^2\; =\; (v^2\; +\; x^2\; -\; y^2\; -\; z^2)^2$$
$$(2vy)^2\; +\; (2xz)^2\; =\; (v^2\; -\; x^2\; +\; y^2\; -\; z^2)^2$$
$$(2vz)^2\; +\; (2xy)^2\; =\; (v^2\; -\; x^2\; -\; y^2\; +\; z^2)^2$$
만약 네 원 중 하나(예: $k\_1$)가 다른 세 원에 내접하여 곡률이 음수인 경우 ($k\_1\; =\; -v^2$), 식 (1)은 다음과 같이 된다.
$$(-v^2\; +\; x^2\; +\; y^2\; +\; z^2)^2\; =\; 2\; (v^4\; +\; x^4\; +\; y^4\; +\; z^4)$$
이 방정식의 정수해는 다음과 같은 매개변수 형태로 표현될 수 있다.
$$[v,\; x,\; y,\; z]\; =\; [2(ab-cd)(ab+cd),\; (a^2+b^2+c^2+d^2)(a^2-b^2+c^2-d^2),\; 2(ac-bd)(a^2+c^2),\; 2(ac-bd)(b^2+d^2)]$$
여기서 정수 $a,\; b,\; c,\; d$는 오일러의 네 제곱수 항등식과 유사한 $a^4\; +\; b^4\; =\; c^4\; +\; d^4$ 관계를 만족한다.

* 적용 불가 경우: 데카르트 정리는 둘 이상의 원이 한 점에서 동시에 접하는 경우에는 적용되지 않는다. 모든 접점은 서로 달라야 한다. 만약 여러 원이 한 점에서 만난다면, 그 점을 지나는 무한히 많은 원(즉, 원의 다발)이 존재할 수 있다.

4. 복소 데카르트 정리

원을 완전히 결정하려면 반지름(또는 곡률)뿐만 아니라 중심의 위치도 알아야 한다. 관련된 방정식은 데카르트 좌표 $(x,y)$를 복소수 $z=x+iy$로 해석할 때 가장 명확하게 표현된다. 이 방정식을 '복소 데카르트 정리'라고 부르는데, 이는 기존 데카르트 정리와 유사한 형태를 가지기 때문이다.

곡률이 $k\_i$이고 중심이 $z\_i$인 네 개의 원($i\backslash in\backslash \{1,2,3,4\backslash \}$)이 서로 접할 때, 각 원의 곡률 사이의 관계식 외에도 중심 좌표 사이에는 다음과 같은 관계식 (3)이 성립한다.

$(k\_1z\_1+k\_2z\_2+k\_3z\_3+k\_4z\_4)^2=2\backslash ,(k\_1^2z\_1^2+k\_2^2z\_2^2+k\_3^2z\_3^2+k\_4^2z\_4^2)$ (3)

데카르트 정리를 사용하여 네 번째 원의 곡률 $k\_4$를 구한 후, 식 (3)을 $z\_4$에 대한 이차 방정식으로 풀어 네 번째 원의 중심 $z\_4$를 계산할 수 있다. 그 해는 다음과 같다.

$z\_4\; =\; \backslash frac\{z\_1\; k\_1\; +\; z\_2\; k\_2\; +\; z\_3\; k\_3\; \backslash pm\; 2\; \backslash sqrt\{k\_1\; k\_2\; z\_1\; z\_2\; +\; k\_2\; k\_3\; z\_2\; z\_3\; +\; k\_1\; k\_3\; z\_1\; z\_3\}\}\{k\_4\}$

이 식에서 $z\_4$에 대한 해는 일반적으로 두 개가 존재하며, 이는 곡률 $k\_4$에 대한 두 개의 해에 해당한다. 그러나 $z\_4$를 구하는 식의 ± 부호가 반드시 $k\_4$를 구하는 식의 ± 부호와 일치하는 것은 아니다.

복소 데카르트 정리는 원의 중심을 복소 평면 상의 점 $z\_i$로 보고, $w\_i\; =\; k\_i\; z\_i$로 치환하여 다음과 같은 식 (4)로 표현할 수도 있다. 이는 데카르트 정리의 곡률 관계식과 형태가 유사하다.

$(w\_1\; +\; w\_2\; +\; w\_3\; +\; w\_4)^2\; =\; 2\; (w\_1^2\; +\; w\_2^2\; +\; w\_3^2\; +\; w\_4^2)$ (4)

이때 네 번째 원의 중심 $z\_4$는 다음 식 (5)와 같이 나타낼 수 있다.

$z\_4\; =\; \backslash frac\; \{\; (w\_1\; +\; w\_2\; +\; w\_3\; \backslash pm\; 2\; \backslash sqrt\{w\_1\; w\_2\; +\; w\_2\; w\_3\; +\; w\_3\; w\_1\})\; \}\; \{\; k\_4\; \}$ (5)

복소수의 제곱근 계산 시 두 개의 값이 나오므로, 주어진 $k\_4$ 값 하나에 대해 $z\_4$ 해가 두 개 얻어지며, 이 중 하나가 실제 원의 중심 좌표가 된다.

5. 일반화

데카르트 정리는 행렬 방정식으로 표현될 수 있으며, 이를 통해 네 개의 방향을 가진 원의 다른 구성으로 일반화할 수 있다. 네 원의 곡률을 열 벡터 $\backslash mathbf\{k\}$로 하고, $i$번째와 $j$번째 방향을 가진 원의 교차점에서 상대적인 방향을 나타내는 계수 $q\_\{i,j\}$를 가진 대칭 행렬 $\backslash mathbf\{Q\}$를 다음과 같이 정의하자.
$$$$
\mathbf{Q} = \begin{bmatrix}
\phantom{-}1 & -1 & -1 & -1 \\
-1 & \phantom{-}1 & -1 & -1 \\
-1 & -1 & \phantom{-}1 & -1 \\
-1 & -1 & -1 & \phantom{-}1 \\
\end{bmatrix}, \qquad
\mathbf{Q}^{-1} = \frac14 \begin{bmatrix}
\phantom{-}1 & -1 & -1 & -1 \\
-1 & \phantom{-}1 & -1 & -1 \\
-1 & -1 & \phantom{-}1 & -1 \\
-1 & -1 & -1 & \phantom{-}1 \\
\end{bmatrix}.

그러면 데카르트 정리의 기본 방정식은 다음의 행렬 방정식으로 다시 쓸 수 있다.
$$\backslash mathbf\{k\}^\backslash mathsf\{T\}\backslash mathbf\{Q\}^\{-1\}\backslash mathbf\{k\}\; =\; 0.$$

이 정리는 서로 접하지 않는 원들을 포함하도록 일반화될 수 있다. 수정된 대칭 행렬 $\backslash mathbf\{Q\}$의 각 계수를 두 원 사이의 "기울기" $q\_\{i,j\}$로 대체하여 네 원의 원하는 구성을 나타낼 수 있다. 기울기는 다음과 같이 정의된다.
$$$$
q_{i,j} = \frac{r_i^2 + r_j^2 - d_{i,j}^2}{2 r_i r_j},

여기서 $r\_i,\; r\_j$는 원의 각각의 반지름이고, $d\_\{i,j\}$는 중심 사이의 유클리드 거리이다. 원이 교차할 때, $q\_\{i,j\}$는 두 원 사이의 교차각의 코사인 $\backslash cos(\backslash theta\_\{i,j\})$과 같다. 때때로 반전 거리(inversive distance)라고도 불리는 이 기울기는 원이 접하고 같은 방향일 때 $1$, 접하고 반대 방향일 때 $-1$, 직교할 때 $0$이다. 원이 교차하지 않으면 기울기 값은 $[-1,\; 1]$ 구간 밖에 있으며, 한 원이 점으로 축소될 때 극한값은 $\backslash infty$이다.

쌍별 기울기의 적절한 행렬 $\backslash mathbf\{Q\}$를 사용하면, 방정식 $\backslash mathbf\{k\}^\backslash mathsf\{T\}\backslash mathbf\{Q\}^\{-1\}\backslash mathbf\{k\}\; =\; 0$은 평면에서 네 개의 원의 임의의 구성에 대해 만족된다.

또한 데카르트 정리는 더 높은 차원이나 다른 기하학적 공간으로 확장될 수 있다. 대표적으로 소디-고셋 정리는 이 정리를 n차원 유클리드 공간으로 일반화하며, 구면 기하학이나 쌍곡 기하학에서도 유사한 형태의 정리가 성립한다.

5.1. 소디-고셋 정리

n차원으로의 일반화는 소디-고셋 정리라고 불린다. n차원 유클리드 공간에서 모두 서로 접하는 초구의 최대 개수는 n + 2개이며, 그 곡률 k_i에 대해 다음 식이 성립한다.

$\backslash left(\; \backslash textstyle\backslash sum\backslash limits\_\{i=1\}^\{n+2\}\; k\_i\; \backslash right)^2\; =\; n\; \backslash textstyle\backslash sum\backslash limits\_\{i=1\}^\{n+2\}\; \{k\_i\}^2$

초구의 중심에 대해서는 행렬에 의한 표현이 알려져 있다.

5.2. 구면 및 쌍곡 기하학

데카르트 정리는 구면 기하학에서 서로 접하는 대원 또는 소원으로 일반화될 수 있다. 이때 $j$번째 원의 곡률은 $k\_j\; =\; \backslash cot\; \backslash rho\_j$로 정의된다. 이는 원의 측지 곡률이며, 방향이 있는 내재적 반지름 $\backslash rho\_j$의 코탄젠트와 같다. 이 경우 데카르트 정리는 다음과 같이 표현된다.

$(k\_1\; +\; k\_2\; +\; k\_3+k\_4)^2\; =\; 2(k\_1^2+k\_2^2+k\_3^2+k\_4^2)\; +\; 4.$

다른 세 항으로 한 곡률을 풀면 다음과 같다.

$k\_4\; =\; k\_1\; +\; k\_2\; +\; k\_3\; \backslash pm2\; \backslash sqrt\{k\_1\; k\_2\; +\; k\_2\; k\_3\; +\; k\_3\; k\_1\; -\; 1\}.$

행렬 방정식으로는 다음과 같이 나타낼 수 있다.

$\backslash mathbf\{k\}^\backslash mathsf\{T\}\backslash mathbf\{Q\}^\{-1\}\backslash mathbf\{k\}\; =\; -1.$

양 $1/k\_j\; =\; \backslash tan\; \backslash rho\_j$는 작은 원의 "스테레오그래픽 지름"이다. 이것은 원의 일부 점이 원점으로 투영될 때 스테레오그래픽 투영된 평면에서 지름의 유클리드 길이이다. 대원의 경우, 그러한 스테레오그래픽 투영은 원점을 통과하는 직선이므로 $k\_j\; =\; 0$이다.

마찬가지로, 쌍곡 기하학에서 서로 접하는 원들에 대해서도 정리가 성립한다. 이때 $j$번째 사이클의 곡률은 $k\_j\; =\; \backslash coth\; \backslash rho\_j$로 정의된다. 이는 쌍곡 평면에 대한 원의 측지 곡률이며, 방향이 있는 내재적 반지름 $\backslash rho\_j$의 쌍곡 코탄젠트이다. 이 경우 데카르트 정리는 다음과 같다.

$(k\_1\; +\; k\_2\; +\; k\_3+k\_4)^2\; =\; 2(k\_1^2+k\_2^2+k\_3^2+k\_4^2)\; -\; 4.$

다른 세 항으로 한 곡률을 풀면 다음과 같다.

$k\_4\; =\; k\_1\; +\; k\_2\; +\; k\_3\; \backslash pm2\; \backslash sqrt\{k\_1\; k\_2\; +\; k\_2\; k\_3\; +\; k\_3\; k\_1\; +\; 1\}.$

행렬 방정식으로는 다음과 같이 나타낼 수 있다.

$\backslash mathbf\{k\}^\backslash mathsf\{T\}\backslash mathbf\{Q\}^\{-1\}\backslash mathbf\{k\}\; =\; 1.$

이 공식은 하이퍼사이클과 호로사이클을 포함하는 쌍곡 기하학에서 서로 접하는 구성에도 적용된다. 여기서 $k\_j$는 쌍곡 평면에 대한 사이클의 측지 곡률, 즉 사이클의 스테레오그래픽 지름의 역수이다. 이는 지름의 한 끝점이 원점으로 투영될 때 스테레오그래픽 투영(푸앵카레 원반 모형) 하에서의 지름이다. 하이퍼사이클은 잘 정의된 중심이나 내재적 반지름을 갖지 않으며, 호로사이클은 중심에 대한 이상점과 무한 내재적 반지름을 갖는다. 곡률 값에 따라 다음과 같이 구분된다: 쌍곡선 원의 경우 $|k\_j|\; >\; 1$, 호로사이클의 경우 $|k\_j|\; =\; 1$, 하이퍼사이클의 경우 , 측지선의 경우 $k\_j\; =\; 0$이다.

6. 응용 및 관련 분야

데카르트 정리는 단순히 네 개의 접하는 원의 곡률 사이의 관계를 설명하는 것을 넘어, 다양한 기하학적 구조와 문제에 응용된다. 특히 정수론적 성질과 결합하여 흥미로운 결과를 보여준다.

* [[#아폴로니안 개스킷|아폴로니안 개스킷]]: 데카르트 정리를 반복적으로 적용하여 프랙탈 구조인 아폴로니안 개스킷을 생성할 수 있다. 만약 초기 네 원의 곡률이 정수라면, 개스킷을 구성하는 모든 원의 곡률도 정수가 된다.
* [[#포드 원|포드 원]]: x축에 접하는 유리수와 관련된 원들의 집합인 포드 원은 데카르트 정리의 특수한 경우로 이해될 수 있으며, 특정 아폴로니안 개스킷의 일부를 이룬다.
* [[#콕세터의 접하는 원들의 loxodromic 수열|콕세터의 접하는 원들의 loxodromic 수열]]: 원들의 반지름(또는 곡률)이 특정 황금비와 관련된 등비 수열을 이룰 때, 데카르트 정리가 만족되며 이는 콕세터의 loxodromic 수열이라는 나선형 패턴으로 나타난다.
* [[#삼각형의 소디 원|삼각형의 소디 원]]: 삼각형의 세 변에 접하는 세 원과 동시에 접하는 두 원, 즉 소디 원의 곡률을 계산하는 데 데카르트 정리가 사용된다. 이는 삼각형 기하학과 헤론의 공식을 통해 증명될 수 있다.
* [[#정수 곡률|정수 곡률]]: 데카르트 정리는 정수 곡률을 갖는 원들의 집합, 특히 아폴로니안 개스킷의 정수론적 성질을 연구하는 데 중요한 도구가 된다. 곡률이 제곱수인 경우 등 특별한 해의 구조에 대한 연구도 이루어졌다.

6.1. 아폴로니안 개스킷

식 (2)로 설명되는 네 개의 접하는 원이 모두 정수 곡률을 가질 때, 식의 두 번째 해로 설명되는 다른 네 번째 원도 정수 곡률을 가져야 한다. 이는 두 해가 정수의 제곱근에 의해 정수와 다르기 때문에, 이 제곱근과 다른 해도 정수인 경우에만 어느 해든 정수가 될 수 있기 때문이다. 데카르트 정리에 있는 방정식을 만족하는 모든 네 개의 정수는 네 개의 접하는 원의 곡률을 형성한다. 이러한 유형의 정수 4중항은 또한 정수 변과 면적을 갖는 헤론 삼각형과도 밀접한 관련이 있다.

임의의 네 개의 서로 접하는 원에서 시작하여 가능한 모든 방법으로 네 개 중 하나를 다른 해로 반복적으로 대체하면 (비에타 점프), 아폴로니안 개스킷이라고 하는 무한히 많은 접하는 원의 시스템으로 이어진다. 초기 네 개의 원이 정수 곡률을 가지면 각 대체도 정수 곡률을 가지므로 개스킷의 모든 원이 정수 곡률을 갖게 된다. 정수 곡률을 가진 임의의 네 개의 접하는 원은 정확히 하나의 그러한 개스킷에 속하며, 가장 크고 가장 큰 네 개의 원과 가장 작은 네 개의 곡률로 구성된 루트 4중항으로 고유하게 설명된다. 이 4중항은 동일한 개스킷의 다른 4중항에서 시작하여, 그러한 감소가 불가능해질 때까지 가장 작은 원을 동일한 데카르트 방정식을 푸는 더 큰 원으로 반복적으로 대체하여 찾을 수 있다.

루트 4중항은 비자명한 공약수가 없는 경우 원시적이라고 한다. 모든 원시 루트 4중항은 두 제곱의 합의 인수분해, $n^2+m^2=de$에서 4중항 $(-n,\backslash ,d+n,\backslash ,e+n,\backslash ,d+e+n-2m)$으로 찾을 수 있다. 원시적이 되려면 추가 조건 $\backslash gcd(n,d,e)=1$, 및 $-n\backslash le\; 0\backslash le\; 2m\backslash le\; d\backslash le\; e$을 만족해야 한다. 두 제곱의 합의 인수분해는 두 제곱의 합 정리를 사용하여 얻을 수 있다. 다른 모든 정수 아폴로니안 개스킷은 원시 루트 4중항에 임의의 정수를 곱하여 형성할 수 있으며, 이러한 개스킷 중 하나에 있는 임의의 4중항(즉, 데카르트 방정식의 임의의 정수 해)은 루트 4중항을 찾는 데 사용된 대체 프로세스를 되돌려 형성할 수 있다. 예를 들어, 그림에 표시된 루트 4중항 $(-10,18,23,27)$을 갖는 개스킷은 두 제곱의 인수분해된 합 $10^2+2^2=8\backslash cdot\; 13$으로부터 이러한 방식으로 생성된다.

6.2. 포드 원

직선과 정수 곡률의 특수한 경우는 포드 원에서 찾아볼 수 있다. 포드 원은 직교 좌표계의 x축 위 유리수 점들에서 접하는 무한한 원들의 집합이다. 각각의 기약분수 p/q는 점 (p/q, 0)에서 x축에 접하며 곡률이 2q²인 원에 해당한다. 이 원들 중 세 개는, 만약 두 원에 해당하는 분수의 분모 합이 세 번째 원에 해당하는 분수의 분모와 같다면, x축(곡률 0)과 함께 데카르트 정리의 조건을 만족시킨다. 기약분수 p/q와 r/s에 해당하는 두 포드 원은 |ps-qr|=1일 때 서로 접한다. 두 원이 접할 경우, 이 두 원과 x-축, 그리고 두 분수의 중간수 (p+r)/(q+s)에 해당하는 원까지 총 네 개의 원이 서로 접하는 구성을 이룬다.

포드 원들은 루트 사중항 (0,0,1,1)을 갖는 특별한 아폴로니안 개스킷의 일부이다. 이 개스킷은 두 평행선, 즉 x축과 직선 y=1 사이에 놓여 있는 것으로 생각할 수 있다. 이것은 직선을 포함하며 음의 곡률을 가진 원 내부에 경계가 없는 유일한 아폴로니안 개스킷이다. 포드 원들은 바로 이 개스킷 내에서 x-축에 접하는 원들을 의미한다.

6.3. 콕세터의 접하는 원들의 loxodromic 수열

데카르트 정리에서 원들의 네 반지름이 비 ρ를 갖는 등비 수열을 이룬다고 가정하면, 곡률 또한 같은 비 ρ를 갖는 등비수열(역순)을 이룬다. 이 비를 데카르트 정리에 대입하면 다음 방정식을 얻는다.

2(1 + ρ² + ρ⁴ + ρ⁶) = (1 + ρ + ρ² + ρ³)²

이 방정식은 1보다 큰 유일한 실수 해를 가지며, 그 비는 다음과 같다.

ρ = φ + √φ ≈ 2.89005

여기서 φ는 황금비이다. 동일한 등비수열을 양방향으로 계속 확장하면, 연속된 네 개의 원은 항상 데카르트 정리를 만족한다. 결과적으로 얻어지는 양방향 등비 수열의 원들은 단일한 접하는 원들의 나선 패턴으로 배열될 수 있으며, 이를 콕세터의 접하는 원들의 loxodromic 수열이라고 한다. 이 수열은 1968년 H. S. M. 콕세터가 고차원에서의 유사한 구성과 함께 처음 기술했다.

6.4. 삼각형의 소디 원

평면의 임의의 삼각형은 각 꼭짓점을 중심으로 하는 세 개의 서로 외접하는 원을 가진다. 세 꼭짓점을 $A,\; B,\; C$, 마주보는 변의 길이를 각각 $a,\; b,\; c$라 하고, $s\; =\; \backslash tfrac12(a\; +\; b\; +\; c)$를 삼각형의 반둘레라고 하면, 이 세 원의 반지름은 각각 $s-a,\; s-b,\; s-c$이다. 데카르트 정리에 따르면, 이 세 원에 모두 접하는 두 개의 원이 존재하는데, 이를 소디 원(Soddy circles)이라고 부른다. 이 두 소디 원은 삼각형의 내접원을 기준으로 나뉘며, 하나는 내접원 안쪽에 (내접 소디 원), 다른 하나는 바깥쪽에 (외접 소디 원) 존재한다.

데카르트 정리를 이용하면 내접 소디 원의 곡률 $k\_\{in\}$은 $(4R\; +\; r\; +\; 2s)\; /\; \backslash Delta$임을 보일 수 있다. 여기서 $\backslash Delta$는 삼각형의 넓이, $R$은 외접원 반지름, $r$은 내접원 반지름이다. 외접 소디 원의 곡률 $k\_\{out\}$은 $(4R\; +\; r\; -\; 2s)\; /\; \backslash Delta$를 갖는다. 내접 소디 원의 곡률은 항상 양수이지만, 외접 소디 원의 곡률은 양수, 음수 또는 0이 될 수 있다. 외접 소디 원의 곡률이 0이 되어 직선으로 나타나는 경우, 해당 삼각형을 소디안 삼각형(Soddyan triangle)이라고 한다.

데카르트 정리의 여러 증명 방법 중 하나는 이러한 삼각형 기하학과의 연관성 및 헤론의 공식을 이용하는 것이다.
반지름이 각각 $r\_1,\; r\_2,\; r\_3$인 세 원이 서로 외접할 때, 각 원의 중심 $P\_1,\; P\_2,\; P\_3$는 세 변의 길이가 $r\_1+r\_2,\; r\_1+r\_3,\; r\_2+r\_3$인 삼각형을 이룬다. 이 삼각형의 반둘레는 $r\_1+r\_2+r\_3$이다. 헤론의 공식에 따라, 이 삼각형 $\backslash triangle\; P\_1P\_2P\_3$의 넓이는 다음과 같다.

$$\backslash sqrt\{r\_1r\_2r\_3(r\_1+r\_2+r\_3)\}.$$

이제 $\backslash triangle\; P\_1P\_2P\_3$ 내부에 중심 $P\_4$가 있고 반지름이 $r\_4$인 내접 소디 원을 고려한다. 삼각형 $\backslash triangle\; P\_1P\_2P\_3$는 세 개의 작은 삼각형 $\backslash triangle\; P\_1P\_2P\_4,\; \backslash triangle\; P\_4P\_2P\_3,\; \backslash triangle\; P\_1P\_4P\_3$으로 나눌 수 있다. 각 작은 삼각형의 넓이는 위 넓이 공식에서 한 반지름을 $r\_4$로 바꾸어 얻을 수 있다. 따라서 $\backslash triangle\; P\_1P\_2P\_3$의 넓이는 이 세 작은 삼각형 넓이의 합과 같다.

$$\backslash begin\{align\}$$
\sqrt{r_1r_2r_3(r_1+r_2+r_3)}
= {} & \sqrt{r_1r_2r_4(r_1+r_2+r_4)}+{}\\
&\sqrt{r_1r_3r_4(r_1+r_3+r_4)}+{}\\
&\sqrt{r_2r_3r_4(r_2+r_3+r_4)}.
\end{align}

대수적으로 정리하면 이 공식이 데카르트 정리와 동일함을 보여준다.

지금까지의 분석은 네 개의 원이 모두 서로 외접하는 경우를 다룬다. 이때 네 번째 원($r\_4$)은 나머지 세 원($r\_1,\; r\_2,\; r\_3$)에 대한 내접 소디 원이 된다. 네 원 중 하나가 다른 세 원에 내접하는 경우, 즉 외접 소디 원의 경우도 비슷하게 분석할 수 있다. 이 경우에도 네 원의 중심 $P\_1,\; P\_2,\; P\_3,\; P\_4$는 네 개의 삼각형을 이루지만, 외접 소디 원의 중심 $P\_4$와 연결된 삼각형 변의 길이는 반지름의 합이 아닌 차, 즉 $|r\_4\; -\; r\_1|,\; |r\_4\; -\; r\_2|,\; |r\_4\; -\; r\_3|$가 된다 (여기서 $r\_4$는 외접 소디 원의 반지름). $P\_4$는 다른 세 중심이 이루는 삼각형 $\backslash triangle\; P\_1P\_2P\_3$의 내부에 있을 수도, 외부에 있을 수도 있다. 만약 $P\_4$가 내부에 있다면, $\backslash triangle\; P\_1P\_2P\_3$의 넓이는 다른 세 삼각형 넓이의 합과 같다. 만약 $P\_4$가 외부에 있다면, 네 중심으로 만들어지는 사각형의 넓이는 두 쌍의 삼각형 넓이 합으로 표현될 수 있으며, 이들 사이의 관계식을 통해 분석할 수 있다. 어떤 경우든 넓이 관계식은 결국 데카르트 정리로 귀결된다. 이 증명 방법은 원 중 하나가 곡률 0인 직선으로 간주되는 경우에는 직접 적용하기 어렵지만, 원의 극한적인 경우로 다룰 수 있다.

6.5. 정수 곡률

데카르트 정리의 방정식으로 설명되는 네 개의 접하는 원이 모두 정수 곡률을 가질 때, 식의 두 번째 해로 설명되는 다른 네 번째 원도 정수 곡률을 가져야 한다. 이는 두 해가 정수의 제곱근에 의해 정수와 다르기 때문에, 이 제곱근이 정수여야만 다른 해도 정수가 될 수 있기 때문이다. 데카르트 정리에 있는 방정식을 만족하는 모든 네 개의 정수는 네 개의 접하는 원의 곡률을 형성한다. 이러한 유형의 정수 4중항은 또한 정수 변과 면적을 갖는 헤론 삼각형과도 밀접한 관련이 있다.

임의의 네 개의 서로 접하는 원에서 시작하여 가능한 모든 방법으로 네 개 중 하나를 다른 해로 반복적으로 대체하면 (비에타 점프), 아폴로니안 개스킷이라고 하는 무한히 많은 접하는 원의 시스템으로 이어진다. 초기 네 개의 원이 정수 곡률을 가지면 각 대체도 정수 곡률을 가지므로 개스킷의 모든 원이 정수 곡률을 갖게 된다. 정수 곡률을 가진 임의의 네 개의 접하는 원은 정확히 하나의 그러한 개스킷에 속하며, 가장 크고 가장 큰 네 개의 원과 가장 작은 네 개의 곡률로 구성된 루트 4중항으로 고유하게 설명된다. 이 4중항은 동일한 개스킷의 다른 4중항에서 시작하여, 그러한 감소가 불가능해질 때까지 가장 작은 원을 동일한 데카르트 방정식을 푸는 더 큰 원으로 반복적으로 대체하여 찾을 수 있다.

루트 4중항은 비자명한 공약수가 없는 경우 원시적이라고 한다. 모든 원시 루트 4중항은 두 제곱의 합의 인수분해, $n^2+m^2=de$, 에서 4중항 $(-n,\backslash ,d+n,\backslash ,e+n,\backslash ,d+e+n-2m)$으로 찾을 수 있다. 원시적이 되려면 추가 조건 $\backslash gcd(n,d,e)=1$, 및 $-n\backslash le\; 0\backslash le\; 2m\backslash le\; d\backslash le\; e$을 만족해야 한다. 두 제곱의 합의 인수분해는 두 제곱의 합 정리를 사용하여 얻을 수 있다. 다른 모든 정수 아폴로니안 개스킷은 원시 루트 4중항에 임의의 정수를 곱하여 형성할 수 있으며, 이러한 개스킷 중 하나에 있는 임의의 4중항(즉, 데카르트 방정식의 임의의 정수 해)은 루트 4중항을 찾는 데 사용된 대체 프로세스를 되돌려 형성할 수 있다. 예를 들어, 그림에 표시된 루트 4중항 $(-10,18,23,27)$을 갖는 개스킷은 두 제곱의 인수분해된 합 $10^2+2^2=8\backslash cdot\; 13$으로부터 이러한 방식으로 생성된다.

곡률이 모두 제곱수인 경우를 생각한다. 이 때 데카르트 정리의 방정식은
$(v^2\; +\; x^2\; +\; y^2\; +\; z^2)^2\; =\; 2\; (v^4\; +\; x^4\; +\; y^4\; +\; z^4)$
로 나타낼 수 있다. 오일러는 $v,\; x,\; y,\; z$의 조합이 피타고라스 수가 됨을 보였다.
$(2vx)^2\; +\; (2yz)^2\; =\; (v^2\; +\; x^2\; -\; y^2\; -\; z^2)^2$
$(2vy)^2\; +\; (2xz)^2\; =\; (v^2\; -\; x^2\; +\; y^2\; -\; z^2)^2$
$(2vz)^2\; +\; (2xy)^2\; =\; (v^2\; -\; x^2\; -\; y^2\; +\; z^2)^2$
이제 $k\_1$이 음수였다고 하면
$(-v^2\; +\; x^2\; +\; y^2\; +\; z^2)^2\; =\; 2\; (v^4\; +\; x^4\; +\; y^4\; +\; z^4)$
의 해는 매개변수 표시로 나타낼 수 있으며,
$[v,\; x,\; y,\; z]\; =\; [2(ab-cd)(ab+cd),\; (a^2+b^2+c^2+d^2)(a^2-b^2+c^2-d^2),\; 2(ac-bd)(a^2+c^2),\; 2(ac-bd)(b^2+d^2)]$
가 된다. 여기서 $a,\; b,\; c,\; d$는 다음의 항등식을 만족한다.
$a^4\; +\; b^4\; =\; c^4\; +\; d^4$
특히 $v\; +\; x\; =\; y\; \backslash land\; z\; \backslash neq\; 0$일 때 방정식은
$4\; (x^2\; +\; vx\; +\; v^2)\; =\; z^2$
와 같이 이차 부정 방정식의 형태가 되며, 역시 해의 형태를 풀어 쓸 수 있다.