Math Labs
Định lýĐã chứng minh

Định lý phương tích của điểm

Phát biểu

Nếu hai đường thẳng qua điểm PP cắt đường tròn lần lượt tại A,BA,B và C,DC,D, thì PA→⋅PB→=PC→⋅PD→\overrightarrow{PA} \cdot \overrightarrow{PB} = \overrightarrow{PC} \cdot \overrightarrow{PD}, và giá trị có dấu chung này bằng OP2−r2OP^2 - r^2 với O,rO,r là tâm và bán kính đường tròn.

Vì sao đúng?

Định lý này là công cụ được dùng lại nhiều nhất trong hình học Olympic: nó biến bất kỳ hình vẽ nào có hai cát tuyến, một tiếp tuyến và một cát tuyến, hoặc hai dây cung qua một điểm thành một phương trình đại số, tránh đuổi góc theo từng trường hợp.

Phác thảo chứng minh

Bước 1: Lập tam giác đồng dạng. Gọi hai đường thẳng qua PP cắt đường tròn tại A,BA,B và C,DC,D. Vì A,B,C,DA,B,C,D cùng nằm trên một đường tròn, các góc nội tiếp ∠PAC\angle PAC và ∠PDB\angle PDB chắn cùng cung BCBC (hoặc cung bù, tùy cấu hình), nên ∠PAC=∠PDB\angle PAC = \angle PDB.

Bước 2: Khớp cặp góc thứ hai. Góc tại PP trong tam giác PACPAC và góc tại PP trong tam giác PDBPDB hoặc bằng nhau (nếu PP ở ngoài đường tròn, hai đường chung đỉnh PP nên góc đó chính là cùng một góc) hoặc là góc đối đỉnh (nếu PP ở trong đường tròn). Dù thế nào ∠APC=∠DPB\angle APC = \angle DPB.

Bước 3: Kết luận đồng dạng. Hai tam giác PACPAC và PDBPDB có hai cặp góc bằng nhau nên đồng dạng theo trường hợp góc-góc: △PAC∼△PDB\triangle PAC \sim \triangle PDB.

Bước 4: Rút ra tỉ số. Tam giác đồng dạng cho các cạnh tương ứng tỉ lệ: PAPD=PCPB\frac{PA}{PD} = \frac{PC}{PB}, biến đổi thành PA⋅PB=PC⋅PDPA \cdot PB = PC \cdot PD (dùng độ dài không dấu trước, cho PP ở ngoài đường tròn).

Bước 5: Tính giá trị chung qua đường kính. Chọn đường thẳng cụ thể qua PP và tâm OO, cắt đường tròn tại hai điểm trên đường kính, ở khoảng cách có dấu OP−rOP - r và OP+rOP + r từ PP (lấy PP ở ngoài nên OP>rOP > r). Tích của chúng là (OP−r)(OP+r)=OP2−r2(OP-r)(OP+r) = OP^2 - r^2, mà theo Bước 4 phải bằng PA⋅PBPA \cdot PB với mọi đường qua PP.

**Bước 6: Xử lý PP ở trong đường tròn bằng độ dài có dấu.** Khi PP nằm trong đường tròn, A,P,BA,P,B theo thứ tự đó trên dây cung, nên PA→\overrightarrow{PA} và PB→\overrightarrow{PB} ngược hướng và tích có dấu PA→⋅PB→=−PA⋅PB\overrightarrow{PA}\cdot\overrightarrow{PB} = -PA\cdot PB âm; lặp lại Bước 1–5 với đường kính qua PP cho −PA⋅PB=OP2−r2-PA\cdot PB = OP^2-r^2 (nay âm vì OP<rOP<r), nên đẳng thức PA→⋅PB→=OP2−r2\overrightarrow{PA}\cdot\overrightarrow{PB}=OP^2-r^2 đúng đồng nhất kể cả dấu, hoàn tất chứng minh.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Trieu Trinh, Yuhuai Wu, Quoc Le, He He, Thang Luong (2024). AlphaGeometry: An Olympiad-level AI system for geometry
  2. Evan Chen (2016). Euclidean Geometry in Mathematical Olympiads
  3. H.S.M. Coxeter, S.L. Greitzer (1967). Geometry Revisited