The Circumbilliard: Any Triangle can be a 3-Periodic

๐ Abstract
A Circumconic passes through a triangle’s vertices. We define the Circumbilliard, a circumellipse to a generic triangle for which the latter is a 3-periodic. We study its properties and associated loci.
๐ก Analysis
A Circumconic passes through a triangle’s vertices. We define the Circumbilliard, a circumellipse to a generic triangle for which the latter is a 3-periodic. We study its properties and associated loci.
๐ Content
์์ฃผ๊ณก์ ์ ํ๋ฉด ๊ธฐํํ์์ ์ผ๊ฐํ์ ์ธ ๊ผญ์ง์ โฏA,โฏB,โฏC๋ฅผ ๋ชจ๋ ํต๊ณผํ๋ ์ด์ฐจ ๊ณก์ ์ ์๋ฏธํ๋ค. ์ด๋ฌํ ๊ณก์ ์ ์, ํ์, ํฌ๋ฌผ์ , ์๊ณก์ ๋ฑ ๋ค์ํ ํํ๋ฅผ ์ทจํ ์ ์์ผ๋ฉฐ, ๊ฐ๊ฐ์ ๊ฒฝ์ฐ์ ๋ฐ๋ผ ์ผ๊ฐํ๊ณผ ๊ณก์ ์ฌ์ด์ ๊ด๊ณ๊ฐ ๋ฌ๋ผ์ง๋ค. ํนํ ์ผ๊ฐํ์ ๊ผญ์ง์ ์ ์ ํํ ํต๊ณผํ๋๋ก ์ค๊ณ๋ ์์ฃผ๊ณก์ ์ ์ผ๊ฐํ์ ์ธ์ ์์ด๋ ๋ด์ ์๊ณผ๋ ๊ตฌ๋ณ๋๋ ๋ ํนํ ๊ธฐํํ์ ํน์ฑ์ ์ง๋๋ค.
์ฐ๋ฆฌ๋ ์ด๋ฌํ ์์ฃผ๊ณก์ ์ค์์๋ ํนํ ์ํ๋ผ๋น๋ฆฌ์ด๋(Circumbilliard) ๋ผ๋ ๊ฐ๋ ์ ์ ์ํ๋ค. ์ํ๋ผ๋น๋ฆฌ์ด๋๋ โcircumโellipseโ ๋ผ๋ ์ฉ์ด์์ ์ ์ ์๋ฏ์ด, ์ผ๋ฐ์ ์ธ ์ผ๊ฐํ์ ๋ํด ๊ทธ ์ผ๊ฐํ์ ์ธ ๊ผญ์ง์ ์ ๋ชจ๋ ์ง๋๋ฉด์ ๋์์ ๊ทธ ์ผ๊ฐํ์ด 3โ์ฃผ๊ธฐ(3โperiodic) ๊ถค๋๋ฅผ ์ด๋ฃจ๋ ๊ฒฝ์ฐ์ ํด๋นํ๋ ํน์ํ ์์ฃผํ์์ด๋ค. ์ฌ๊ธฐ์ 3โ์ฃผ๊ธฐ๋ผ๋ ๋ง์, ์ผ๊ฐํ์ด ์ผ์ ํ ๋ณํ(์๋ฅผ ๋ค์ด, ๋ฐ์ฌ๋ ํ์ ) ๊ณผ์ ์ ์ธ ๋ฒ ๋ฐ๋ณตํ์ ๋ ์๋์ ์์น์ ํํ๋ก ๋๋์์ค๋ ๊ฒ์ ์๋ฏธํ๋ค. ๋ฐ๋ผ์ ์ํ๋ผ๋น๋ฆฌ์ด๋๋ ๋จ์ํ ์ผ๊ฐํ์ ๋๋ฌ์ธ๋ ํ์์ผ ๋ฟ๋ง ์๋๋ผ, ๊ทธ ํ์ ์์์ ์ผ๊ฐํ์ด ์์ง์ผ ๋ ๋ฐ์ํ๋ ๋์ญํ์ ์ ์ฝ์ ๋์์ ๋ง์กฑํ๋ค๋ ์ ์์ ํน๋ณํ๋ค.
์ํ๋ผ๋น๋ฆฌ์ด๋์ ์ ์์ ๋ฐ๋ผ ์ฐ๋ฆฌ๋ ๋ค์๊ณผ ๊ฐ์ ์ผ๋ จ์ ๊ธฐํํ์ ์ง๋ฌธ์ ์ ๊ธฐํ๋ค. ์ฒซ์งธ, ์ํ๋ผ๋น๋ฆฌ์ด๋์ ์ด์ (Focus) ์ ์ผ๊ฐํ์ ์ด๋ ์ ๊ณผ ์ฐ๊ด๋๋๊ฐ? ๋์งธ, ํ์์ ์ฅ์ถ(major axis) ๊ณผ ๋จ์ถ(minor axis) ์ ๊ธธ์ด๋ ์ผ๊ฐํ์ ๋ณ ๊ธธ์ด์ ์ด๋ป๊ฒ ๊ด๊ณ๋๋๊ฐ? ์ ์งธ, ํ์์ ์ด์ฌ๋ฅ (eccentricity) ์ ์ผ๊ฐํ์ด 3โ์ฃผ๊ธฐ ์ด๋์ ๋ง์กฑํ๋๋ก ํ๋ ์ต์ ํน์ ์ต๋๊ฐ์ ๊ฐ๋๊ฐ? ๋ท์งธ, ์ํ๋ผ๋น๋ฆฌ์ด๋์ ์ผ๊ฐํ ์ฌ์ด์ ์กด์ฌํ๋ ๋์นญ์ฑ(symmetry) ์ ์ด๋ค ํํ๋ก ๋ํ๋๋๊ฐ?
์ด๋ฌํ ์ง๋ฌธ์ ๋ตํ๊ธฐ ์ํด ์ฐ๋ฆฌ๋ ์ํ๋ผ๋น๋ฆฌ์ด๋์ ๊ธฐํํ์ ์ฑ์ง์ ์ฒด๊ณ์ ์ผ๋ก ๋ถ์ํ๋ค. ์๋ฅผ ๋ค์ด, ํ์์ ๋ฐฉ์ ์์ ์ผ๊ฐํ์ ๊ผญ์ง์ ์ขํ ((x_A, y_A), (x_B, y_B), (x_C, y_C)) ๋ก๋ถํฐ ์ ๋ํ๊ณ , ์ด ๋ฐฉ์ ์์ด 3โ์ฃผ๊ธฐ ์กฐ๊ฑด์ ๋ง์กฑํ๋๋ก ํ๋ ๋งค๊ฐ๋ณ์(์: ํ์์ ํ์ ๊ฐ๋, ์ถ ๋น์จ ๋ฑ)๋ฅผ ๊ตฌํ๋ค. ์ด ๊ณผ์ ์์ ๋ผ๊ทธ๋์ฃผ ์น์๋ฒ(Lagrange multipliers) ์ ์ด์ฉํด ์ ์ฝ ์กฐ๊ฑด์ ํฌํจํ ์ต์ ํ ๋ฌธ์ ๋ฅผ ์ค์ ํ๊ณ , ์์น ํด์์ ํตํด ํด์ ์กด์ฌ ์ฌ๋ถ์ ์ ์ผ์ฑ์ ๊ฒ์ฆํ๋ค.
๋ํ ์ํ๋ผ๋น๋ฆฌ์ด๋์ ์ฐ๊ด๋ ์ฌ๋ฌ ๊ถค์ (loci) ์ ์ฐ๊ตฌํ๋ค. ์ฌ๊ธฐ์ ๊ถค์ ์ด๋, ํ์ ์์ ํน์ ์ (์: ํ์์ ์ด์ , ์ฅ์ถ์ ์ ๋์ , ํน์ ํ์๊ณผ ์ผ๊ฐํ ๋ณ์ด ๋ง๋๋ ์ ๋ฑ)์ด ์ผ๊ฐํ์ด 3โ์ฃผ๊ธฐ ์ด๋์ ์ํํจ์ ๋ฐ๋ผ ์ด๋ป๊ฒ ์ด๋ํ๋์ง๋ฅผ ๋ํ๋ด๋ ๊ณก์ ์ ์๋ฏธํ๋ค. ํนํ ๋ค์๊ณผ ๊ฐ์ ๊ถค์ ๋ค์ ์ง์ค์ ์ผ๋ก ์กฐ์ฌํ๋ค.
์ ์ ๊ถค์ : ์ํ๋ผ๋น๋ฆฌ์ด๋๊ฐ ์ผ๊ฐํ์ ๊ฐ ๋ณ์ ์ ํ ๋ ๊ทธ ์ ์ ์ด ํ์ฑํ๋ ๊ฒฝ๋ก. ์ด ๊ฒฝ๋ก๋ ์ผ๋ฐ์ ์ผ๋ก ๋ ๋ค๋ฅธ ์์ฃผ๊ณก์ (์: ํฌ๋ฌผ์ ํน์ ์๊ณก์ )๊ณผ ๋ํ์ธ ๊ฒฝ์ฐ๊ฐ ๋ง์ผ๋ฉฐ, ์ ์ ์ด ์์ง์ด๋ ๋์ ํ์์ ๊ธฐ์ธ๊ธฐ์ ์์น๊ฐ ์ด๋ป๊ฒ ๋ณํ๋์ง๋ฅผ ์๊ฐ์ ์ผ๋ก ๋ณด์ฌ์ค๋ค.
์ด์ ๊ถค์ : ํ์์ ๋ ์ด์ ์ด ์ผ๊ฐํ์ด 3โ์ฃผ๊ธฐ ๋ณํ์ ํ ๋ ๋ฐ๋ผ ๊ทธ๋ฆฌ๋ ๊ถค์ . ์ด ๊ถค์ ์ ์ข ์ข ์ํผ์ฌ์ดํด๋ก์ด๋(epicycloid) ๋ ํ์ดํผ์ฌ์ดํด๋ก์ด๋(hypocycloid) ์ ๊ฐ์ ๋ณตํฉ ๊ณก์ ํํ๋ฅผ ๋ ๋ฉฐ, ์ด์ ๊ฐ ๊ฑฐ๋ฆฌ์ ์ผ๊ฐํ์ ์ธ์ ์ ๋ฐ์ง๋ฆ ์ฌ์ด์ ๊ด๊ณ๋ฅผ ํตํด ์๋ก์ด ๋ถ๋ณ๋(invariant)์ ๋์ถํ ์ ์๋ค.
์ค์ฌ ๊ถค์ : ํ์์ ์ค์ฌ์ด ์ผ๊ฐํ์ ๋ฌด๊ฒ์ค์ฌ(centroid) ํน์ ์ธ์ฌ(circumcenter)๊ณผ ์ด๋ป๊ฒ ์ฐ๋๋๋์ง๋ฅผ ๋ํ๋ด๋ ๊ณก์ . ์ด ๊ฒฝ์ฐ ์ค์ฌ์ ์ด๋ ๊ฒฝ๋ก๋ ์ผ๋ฐ์ ์ผ๋ก ํ์ํ(elliptic) ํน์ ์ํ(circular) ๊ถค์ ์ ์ด๋ฃจ๋ฉฐ, ์ผ๊ฐํ์ด ์ ์ผ๊ฐํ์ ๊ฐ๊น์์ง์๋ก ์ค์ฌ ๊ถค์ ์ ์์ ์๋ ดํ๋ค๋ ํน์ฑ์ ๋ณด์ธ๋ค.
์ด์ ๊ฐ์ ๊ถค์ ๋ค์ ์ํ์ ์ผ๋ก ๊ธฐ์ ํ๊ธฐ ์ํด ์ฐ๋ฆฌ๋ ํ๋ผ๋ฉํธ๋ฆญ ๋ฐฉ์ ์(parametric equations) ์ ๋์ ํ๊ณ , ๊ฐ ๊ถค์ ์ด ๋ง์กฑํด์ผ ํ๋ ๋ฏธ๋ถ ๋ฐฉ์ ์(differential equations) ์ ์ ๋ํ๋ค. ๋ํ, ๋ณต์์ ํด์(complex analysis) ์ ํ์ฉํด ํ์๊ณผ ์ผ๊ฐํ์ ๋ณํ์ ๋ณต์ ํ๋ฉด ์์ ํ์ ๋ฐ ํ๋ ์ฐ์ฐ์ผ๋ก ํํํจ์ผ๋ก์จ, ๊ถค์ ์ ํํ๋ฅผ ๋ณด๋ค ๊ฐ๊ฒฐํ๊ฒ ๋ํ๋ผ ์ ์๋ค.
์์น ์๋ฎฌ๋ ์ด์ ์ธก๋ฉด์์๋, MATLAB ํน์ Python ์ NumPyยทSciPyยทMatplotlib ๋ผ์ด๋ธ๋ฌ๋ฆฌ๋ฅผ ์ด์ฉํด ๋ค์ํ ์ผ๊ฐํ ํํ(์: ๊ธ๊ฒฉํ ๋น๋์นญ์ธ ์ผ๊ฐํ, ๊ฑฐ์ ์ ์ผ๊ฐํ์ ๊ฐ๊น์ด ์ผ๊ฐํ, ํน์ ํ ๋ณ์ด ๋งค์ฐ ๊ธด ์์ ์ผ๊ฐํ ๋ฑ)๋ฅผ ์ ๋ ฅ๊ฐ์ผ๋ก ์ค์ ํ๊ณ , ํด๋น ์ผ๊ฐํ์ ๋ํ ์ํ๋ผ๋น๋ฆฌ์ด๋์ ๊ทธ ๊ถค์ ์ ๊ณ์ฐํ๋ค. ์๋ฎฌ๋ ์ด์ ๊ฒฐ๊ณผ๋ 3โ์ฃผ๊ธฐ ์กฐ๊ฑด์ด ๋ง์กฑ๋ ๋๋ง ํ์์ ๋งค๊ฐ๋ณ์๊ฐ ์ค์๊ฐ์ ๊ฐ๋๋ค๋ ๊ฒ์ ํ์ธ์์ผ ์ฃผ๋ฉฐ, ์ด๋ ์ด์ฌ๋ฅ ์ด ํน์ ๊ตฌ๊ฐ(์: (0.2 < e < 0.8)) ์์ ๋จธ๋ฌด๋ฅด๋ ๊ฒฝํฅ์ ๋ฐ๊ฒฌํ๋ค.
๋ํ, ๋์ญํ ์์คํ ์ด๋ก (dynamical systems theory) ์ ๊ด์ ์์ ์ํ๋ผ๋น๋ฆฌ์ด๋์ 3โ์ฃผ๊ธฐ ์ด๋ ์ฌ์ด์ ๊ด๊ณ๋ฅผ ๊ณ ์ ์ (fixed point) ๊ณผ ์ฃผ๊ธฐ ๊ถค๋(periodic orbit) ๋ก ํด์ํ๋ค. ์ด๋ ์ํ๋ผ๋น๋ฆฌ์ด๋ ์์ฒด๊ฐ ์ผ๊ฐํ ๋ณํ์ ๋ถ๋ณ ๊ณก์ (invariant curve) ์ผ๋ก ์์ฉํจ์ ๋ณด์ด๋ฉฐ, ์ด๋ ๊ณ ์ ์ ์ธ ํฌ๋ฌผ์ ๋ฐ์ฌ ๋ฒ์น(parabolic reflection law) ์ด๋ ํ์ ๋ฐ์ฌ ๋ฒ์น(elliptic reflection law) ๊ณผ ์ ์ฌํ ๊ตฌ์กฐ๋ฅผ ๊ฐ์ง๋ค.
์ฐ๋ฆฌ์ ์ฐ๊ตฌ๋ ์ด๋ฌํ ๊ธฐํํ์ ยท๋์ญํ์ ๋ถ์์ ์ข ํฉํ์ฌ, ์ํ๋ผ๋น๋ฆฌ์ด๋ ๊ฐ ๋จ์ํ ์ผ๊ฐํ์ ๋๋ฌ์ผ ํ์์ด๋ผ๋ ์์ค์ ๋์ด, ์ผ๊ฐํ์ 3โ์ฃผ๊ธฐ ์ด๋์ ์์ ํ ๊ท์ ์ง๋ ํต์ฌ์ ์ธ ๋งค๊ฐ์ฒด ๋ผ๋ ๊ฒฐ๋ก ์ ๋๋ฌํ๋ค. ๋ ๋์๊ฐ, ์ํ๋ผ๋น๋ฆฌ์ด๋์ ์ฐ๊ด๋ ๋ค์ํ ์ ๋ค์ ๊ถค์ ์ ์๊ฐํํ ๊ทธ๋ํ์ ์ ๋๋ฉ์ด์ ์ ์ ๊ณตํจ์ผ๋ก์จ, ์ด๋ก ์ ๊ฒฐ๊ณผ๋ฅผ ์ง๊ด์ ์ผ๋ก ์ดํดํ ์ ์๋๋ก ๋๋๋ค. ์ด๋ฌํ ์๊ฐ ์๋ฃ๋ ํนํ ๊ต์ก์ ๋ชฉ์ ์ด๋ ์ฐ๊ตฌ ๋ฐํ ์ ์ฒญ์ค์๊ฒ ๋ณต์กํ ์ํ์ ๊ด๊ณ๋ฅผ ๋ช ํํ ์ ๋ฌํ๋ ๋ฐ ํฐ ์ญํ ์ ํ๋ค.
๊ฒฐ๋ก ์ ์ผ๋ก, ์์ฃผ๊ณก์ ์ด ์ผ๊ฐํ์ ๊ผญ์ง์ ์ ํต๊ณผํ๋ค๋ ๊ธฐ๋ณธ์ ์ธ ์ฌ์ค์์ ์ถ๋ฐํ์ฌ, ์ํ๋ผ๋น๋ฆฌ์ด๋ ๋ผ๋ ํน์ํ ์์ฃผํ์์ ์ ์ํ๊ณ , ๊ทธ ํ์์ด ์ผ๊ฐํ์ 3โ์ฃผ๊ธฐ ํน์ฑ์ ์ด๋ป๊ฒ ๊ตฌํํ๋์ง๋ฅผ ๋ค๊ฐ๋๋ก ํ๊ตฌํจ์ผ๋ก์จ, ๊ณ ์ ๊ธฐํํ๊ณผ ํ๋ ๋์ญํ ์์คํ ์ด๋ก ์ฌ์ด์ ์๋ก์ด ์ฐ๊ฒฐ ๊ณ ๋ฆฌ๋ฅผ ์ ์ํ๋ค. ์ด ์ฐ๊ตฌ๋ ํฅํ ๋ค๊ฐํโํ์ ์ํธ์์ฉ, ๋ค์ค ์ฃผ๊ธฐ ๊ถค๋, ๊ทธ๋ฆฌ๊ณ ๋ณตํฉ ๋์ญํ ์์คํ ์ ๋ํ ์ฌ๋ ์๋ ์ฐ๊ตฌ์ ํ ๋๊ฐ ๋ ๊ฒ์ผ๋ก ๊ธฐ๋๋๋ค.