Định Lý Nhật Bản Về Tứ Giác Nội Tiếp

Cho ${\displaystyle ABCD}$ là một tứ giác nội tiếp và ${\displaystyle I_{A},I_{B},I_{C},I_{D}}$ lần lượt là tâm các đường tròn nội tiếp các tam giác ${\displaystyle \triangle ABD,\triangle ABC,\triangle BCD,\triangle ACD}$ khi đó tứ giác tạo bởi bốn điểm ${\displaystyle I_{A},I_{B},I_{C},I_{D}}$ là hình chữ nhật.

• Người ta sử dụng định lý Carnot để chứng minh định lý định lý Nhật Bản về tứ giác nội tiếp
• Định lý Nhật Bản về tứ giác nội tiếp được chứng minh là một mở rộng của định lý Nhãn Cầu.
• Định lý Nhật Bản về tứ giác nội tiếp có thể dùng để chứng minh trường hợp tổng quát hơn là định lý Nhật Bản cho một đa giác nội tiếp.

• Định lý Carnot
• Sangaku

• Mangho Ahuja, Wataru Uegaki, Kayo Matsushita: In Search of the Japanese Theorem
• Japanese Theorem at Cut-the-Knot
• Japanese theorem, interactive proof with animation
• Wataru Uegaki: "Japanese Theoremの起源と歴史" (On the Origin and History of the Japanese Theorem)
• The Eyeball Theorem, at cut the knot
• Wells, D. The Penguin Dictionary of Curious and Interesting Geometry. London: Penguin, p. 70, 1991.

• Eyeball Theorem
• Vietnamese Extension of a Japanese Theorem tại Cut-The-Knot