Xem mã nguồn của Định lý Nhật Bản về tứ giác nội tiếp

[[Hình:Japanese theorem for quadrilateral 2.svg|400px|thumb|Tâm của bốn đường tròn nội tiếp các tam giác ABD, ABC, BCD, ACD là một hình chữ nhật]]
Trong [[hình học phẳng]], '''định lý Nhật Bản về tứ giác nội tiếp''' có nội dung như sau:

Cho <math> ABCD </math> là một tứ giác nội tiếp và <math>I_A, I_B, I_C, I_D</math> lần lượt là tâm các đường tròn nội tiếp các [[tam giác]] <math> \triangle ABD, \triangle ABC, \triangle BCD, \triangle ACD </math> khi đó tứ giác tạo bởi bốn điểm <math>I_A, I_B, I_C, I_D</math> là hình chữ nhật.

* Người ta sử dụng [[Định lý Carnot (hình học)|đị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.<ref>[http://www.cut-the-knot.org/Curriculum/Geometry/Eyeball.shtml The Eyeball Theorem, at Cut-the-Knot]</ref>
* Đị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.

==Xem thêm==
*[[Định lý Carnot (hình học)|Định lý Carnot]]
*[[Sangaku]]
==Chú thích==
{{tham khảo}}

==Tham khảo==

* Mangho Ahuja, Wataru Uegaki, Kayo Matsushita: [http://wayback.archive.org/web/*/http://www.math-cs.cmsu.edu/~mjms/2006.2/mangho999.ps ''In Search of the Japanese Theorem'']
*[http://www.cut-the-knot.org/proofs/jap.shtml Japanese Theorem at Cut-the-Knot]
*[http://www.gogeometry.com/sangaku2.html Japanese theorem, interactive proof with animation]
*[http://hdl.handle.net/10076/4917 Wataru Uegaki: "Japanese Theoremの起源と歴史" (On the Origin and History of the Japanese Theorem) ]
*[http://www.cut-the-knot.org/Curriculum/Geometry/Eyeball.shtml The Eyeball Theorem, at cut the knot]
*Wells, D. The Penguin Dictionary of Curious and Interesting Geometry. London: Penguin, p.&nbsp;70, 1991.

==Liên kết ngoài==
* [http://mathworld.wolfram.com/EyeballTheorem.html Eyeball Theorem]
* [http://www.cut-the-knot.org/m/Geometry/VietnameseSangaku.shtml Vietnamese Extension of a Japanese Theorem] tại [[Cut-The-Knot]]

[[Thể loại:Hình học phẳng Euclid]]
[[Thể loại:Định lý hình học|N]]
[[Thể loại:Định lý trong hình học phẳng]]