Phương tích của một điểm

Trong hình học phẳng sơ cấp, phương tích của một điểm là một số thực thể hiện khoảng cách tương đối của điểm đó đối với một đường tròn cho trước. Khái niệm này được giới thiệu bởi nhà toán học Jakob Steiner năm 1826.^[1]

Một cách cụ thể, phương tích $\Pi (P)$ của một điểm $P$ đối với một đường tròn $c$ với tâm $O$ và bán kính $r$ được định nghĩa bởi

\Pi (P)=|PO|^{2}-r^{2}.

Nếu $P$ nằm bên ngoài đường tròn thì $\Pi (P)>0$ ,

nếu $P$ nằm trên đường tròn thì $\Pi (P)=0$ , và

nếu $P$ nằm bên trong đường tròn thì $\Pi (P)<0$ .

Do định lý Pythagoras, số $\Pi (P)$ có ý nghĩa hình học đơn giản thể hiện trong sơ đồ bên phải: Đối với một điểm $P$ nằm ngoài đường tròn thì $\Pi (P)$ là bình phương khoảng cách theo tiếp tuyến $|PT|$ của điểm $P$ tới đường tròn $c$ .

Những điểm có cùng phương tích đối với một đường tròn $c$ , tức là các đường đẳng giá trị $\Pi (P)$ , là các đường tròn đồng tâm với $c$ .

Steiner đã sử dụng phương tích của một điểm để chứng minh một vài khẳng định về đường tròn, ví dụ:

Xác định một đường tròn, cắt bốn đường tròn đã cho với cùng một góc.^[2]
Giải Bài toán của Apollonius
Dựng các đường tròn Malfatti:^[3] Đối với một tam giác đã cho xác định ba đường tròn tiếp xúc nhau và mỗi đường tròn tiếp xúc với hai cạnh của tam giác.
Phiên bản hình học cầu của bài toán Malfatti:^[4] Tam giác nêu trên là một tam giác cầu.

Những công cụ quan trọng trong việc nghiên cứu các đường tròn là trục đẳng phương của hai đường tròn và tâm đẳng phương của ba đường tròn.

Sơ đồ phương tích là một tập hợp các đường tròn chia mặt phẳng thành các miền, một miền tương ứng với một đường tròn cho trước gồm những điểm có phương tích đối với đường tròn đó nhỏ hơn phương tích của tất cả các đường tròn khác.

Tổng quát hơn, nhà toán học Pháp Edmond Laguerre đã định nghĩa phương tích của một điểm đối với một đường cong đại số bất kỳ theo cách tương tự.

Tính chất hình học

Ngoài những tính chất đã nêu trên, sau đây là một số tính chất sâu hơn:

Đường tròn trực giao

Đường tròn trực giao (màu xanh lá)

Đối với một điểm bất kỳ $P$ bên ngoài đường tròn $c$ tồn tại hai tiếp điểm $T_{1},T_{2}$ nằm trên đường tròn $c$ , với những khoảng cách bằng nhau tới $P$ . Do đó đường tròn $o$ với tâm $P$ đi qua $T_{1}$ cũng đi qua $T_{2}$ , và được gọi là cắt đường tròn $c$ trực giao:

Đường tròn với tâm $P$ và bán kính ${\sqrt {\Pi (P)}}$ cắt đường tròn $c$ trực giao.

Góc giữa hai đường tròn

Nếu bán kính $\rho$ của đường tròn tâm $P$ khác ${\sqrt {\Pi (P)}}$ , ta có thể định nghĩa góc giao $\varphi$ giữa hai đường tròn, nhờ áp dụng định lý cosin (xem hình vẽ):

\rho ^{2}+r^{2}-2\rho r\cos \varphi =|PO|^{2}

\rightarrow \ \cos \varphi ={\frac {\rho ^{2}+r^{2}-|PO|^{2}}{2\rho r}}={\frac {\rho ^{2}-\Pi (P)}{2\rho r}}

( $PS_{1}$ và $OS_{1}$ là các bán kình và pháp tuyến với tiếp tuyến của đường tròn.)

Nếu $P$ nằm bên trong đường tròn màu xanh lam thì $\Pi (P)<0$ và $\varphi$ luôn khác $90^{\circ }$ .

Nếu góc $\varphi$ đã cho thì có thể tính bán kính $\rho$ bằng cách giải phương trình bậc hai

\rho ^{2}-2\rho r\cos \varphi -\Pi (P)=0

.

Định lý cát tuyến cắt nhau và định lý dây cung cắt nhau

Định lý cát tuyến và định lý dây cung

Đối với các định lý cát tuyến cắt nhau và định lý dây cung cắt nhau, phương tích của một điểm đóng vai trò là một bất biến:

Định lý cát tuyến cắt nhau: Đối với điểm $P$ nằm ngoài đường tròn $c$ và từ đó vẽ cát tuyến $g$ cắt $c$ tại các giao điểm $S_{1},S_{2}$ , khẳng định sau là đúng: $|PS_{1}|\cdot |PS_{2}|=\Pi (P)$ , do đó tích này không phụ thuộc vào đường thẳng $g$ . Nếu $g$ là là tiếp tuyến thì $S_{1}=S_{2}$ và khẳng định này được gọi là định lý tiếp tuyến-cát tuyến.
Định lý dây cung cắt nhau: Đối với một điểm $P$ nằm trong đường tròn $c$ và các giao điểm $S_{1},S_{2}$ của một cát tuyến $g$ của $c$ thì khẳng định sau là đúng: $|PS_{1}|\cdot |PS_{2}|=-\Pi (P)$ , do đó tích này không phụ thuộc vào đường thẳng $g$ .

Trục đẳng phương

Cho $P$ là một điểm và $c_{1},c_{2}$ là hai đường tròn không đồng tâm với các tâm tương ứng $O_{1},O_{2}$ và các bán kính tương ứng $r_{1},r_{2}$ . Điểm $P$ có phương tích $\Pi _{i}(P)$ đối với đường tròn $c_{i}$ . Tập hợp tất cả các điểm $P$ với $\Pi _{1}(P)=\Pi _{2}(P)$ là một đường thẳng được gọi là trục đẳng phương. Nó chứa những điểm có thể là điểm chung của hai đường tròn và vuông góc với đường nối tâm ${\overline {O_{1}O_{2}}}$ .

Chứng minh chung của định lý cát tuyến và định lý dây cung

Định lý cát tuyến/dây cung: chứng minh

Cả hai định lý, và bao gồm cả định lý tiếp tuyến-cát tuyến, có thể được chứng minh đồng thời:

Cho $P:{\vec {p}}$ là một điểm với biểu diễn vectơ, $c:{\vec {x}}^{2}-r^{2}=0$ là một đường tròn với tâm ở gốc tọa độ và ${\vec {v}}$ là một vectơ đơn vị chỉ hướng bất kỳ. Các tham số $t_{1},t_{2}$ của các điểm chung của đường thẳng $g:{\vec {x}}={\vec {p}}+t{\vec {v}}$ (đi qua $P$ ) với đường tròn $c$ có thể được xác định bằng cách thay phương trình tham số của đường thẳng vào phương trình của đường tròn:

({\vec {p}}+t{\vec {v}})^{2}-r^{2}=0\quad \rightarrow \quad t^{2}+2t\;{\vec {p}}\cdot {\vec {v}}+{\vec {p}}^{2}-r^{2}=0\ .

Từ định lý Viète có thể tìm ra:

t_{1}\cdot t_{2}={\vec {p}}^{2}-r^{2}=\Pi (P)

. (không phụ thuộc vào

{\vec {v}}

!)

$\Pi (P)$ là phương tích của $P$ đói với đường tròn $c$ .

Bởi vì $|{\vec {v}}|=1$ ta có những kết luận sau đây đối với các điểm $S_{1},S_{2}$ :

|PS_{1}|\cdot |PS_{2}|=t_{1}t_{2}=\Pi (P)\

, nếu

P

nằm ngoài đường tròn,

|PS_{1}|\cdot |PS_{2}|=-t_{1}t_{2}=-\Pi (P)\

, nếu

P

nằm trong đường tròn (

t_{1},t_{2}

có dấu khác nhau).

Trong trường hợp $t_{1}=t_{2}$ thì đường thẳng $g$ là một tiếp tuyến và $\Pi (P)$ là bình phương khoảng cách theo phương tiếp tuyến từ điểm $P$ tới đường tròn $c$ .

Phương tích của một điẻm đối với một mặt cầu

Phương tích của một điểm đối với một mặt cầu

Khái niệm phương tích của một điểm đối với một đường tròn có thể được mở rộng cho một mặt cầu.^[5] Các định lý cát tuyến và dây cung cũng đúng đối với một mặt cầu, và có thể được chứng minh tương tự trường hợp đường tròn.

Tham khảo

^ Jakob Steiner: Einige geometrische Betrachtungen, 1826, S. 164
^ Steiner, p. 163
^ Steiner, p. 178
^ Steiner, p. 182
^ K.P. Grothemeyer: Analytische Geometrie, Sammlung Göschen 65/65A, Berlin 1962, S. 54

Coxeter, H. S. M. (1969), Introduction to Geometry (ấn bản thứ 2), New York: Wiley.
Darboux, Gaston (1872), “Sur les relations entre les groupes de points, de cercles et de sphéres dans le plan et dans l'espace”, Annales Scientifiques de l'École Normale Supérieure, 1: 323–392.
Laguerre, Edmond (1905), Oeuvres de Laguerre: Géométrie (bằng tiếng Pháp), Gauthier-Villars et fils, tr. 20
Steiner, Jakob (1826), “Einige geometrische Betrachtungen”, Journal für die reine und angewandte Mathematik, 1: 161–184.
Berger, Marcel (1987), Geometry I, Springer, ISBN 978-3-540-11658-5

Đọc thêm

Ogilvy C. S. (1990), Excursions in Geometry, Dover Publications, tr. 6–23, ISBN 0-486-26530-7
Coxeter H. S. M., Greitzer S. L. (1967), Geometry Revisited, Washington: MAA, tr. 27–31, 159–160, ISBN 978-0-88385-619-2
Johnson RA (1960), Advanced Euclidean Geometry: An elementary treatise on the geometry of the triangle and the circle , New York: Dover Publications, tr. 28–34, ISBN 978-0-486-46237-0

Liên kết ngoài

Jacob Steiner and the Power of a Point at Convergence Lưu trữ 2020-09-08 tại Wayback Machine
Weisstein, Eric W., "Circle Power", MathWorld.
Intersecting Chords Theorem at cut-the-knot
Intersecting Chords Theorem With interactive animation
Intersecting Secants Theorem With interactive animation

[1] Jakob Steiner: Einige geometrische Betrachtungen, 1826, S. 164

[2] Steiner, p. 163

[3] Steiner, p. 178

[4] Steiner, p. 182

[5] K.P. Grothemeyer: Analytische Geometrie, Sammlung Göschen 65/65A, Berlin 1962, S. 54

[1]

[2]

[3]

[4]

[5]