ĐỊNH LÝ PTOLEMY CHO TỨ GIÁC NỘI TIẾP

1. Phát biểu định lý

Định lý Ptolemy: Cho tứ giác $ABCD$ nội tiếp đường tròn. Khi đó, ta có:

$AC \cdot BD = AB \cdot CD + AD \cdot BC$

Trong đó:

• $AC$ và $BD$ là độ dài hai đường chéo của tứ giác.
• $AB, BC, CD, DA$ là độ dài các cạnh của tứ giác.

Nói một cách khác, tích độ dài hai đường chéo của một tứ giác nội tiếp bằng tổng các tích độ dài của các cặp cạnh đối diện.

2. Chứng minh định lý

2.1. Sơ đồ chứng minh

Chúng ta sẽ chứng minh định lý Ptolemy bằng phương pháp sử dụng tam giác đồng dạng. Ý tưởng chính là:

1. Dựng điểm $E$ trên đường chéo $AC$ sao cho $\angle ABE = \angle CBD$.
2. Chứng minh $\triangle ABE \sim \triangle DBC$ và $\triangle ABD \sim \triangle EBC$.
3. Từ các cặp tam giác đồng dạng, suy ra các tỉ lệ thức về cạnh.
4. Sử dụng các tỉ lệ thức này để suy ra đẳng thức Ptolemy.

2.2. Chứng minh chi tiết

Cho tứ giác $ABCD$ nội tiếp đường tròn. Không mất tính tổng quát, giả sử $AC$ là đường chéo dài hơn. Trên $AC$, lấy điểm $E$ sao cho $\angle ABE = \angle CBD$.

Bước 1: Chứng minh $\triangle ABE \sim \triangle DBC$

Xét $\triangle ABE$ và $\triangle DBC$, ta có:

• $\angle ABE = \angle CBD$ (theo cách dựng)
• $\angle BAE = \angle BDC$ (hai góc nội tiếp cùng chắn cung $BC$)

Vậy $\triangle ABE \sim \triangle DBC$ (g-g).

Suy ra: $\frac{AB}{DB} = \frac{AE}{DC} = \frac{BE}{BC} \implies AB \cdot DC = DB \cdot AE$ (1)

Bước 2: Chứng minh $\triangle ABD \sim \triangle EBC$

Ta có: $\angle ABE = \angle CBD$ (theo cách dựng) $\implies \angle ABE + \angle EBC = \angle CBD + \angle EBC \implies \angle ABC = \angle EBD$

Xét $\triangle ABD$ và $\triangle EBC$, ta có:

• $\angle ABD = \angle ABE + \angle EBD = \angle CBD + \angle EBC = \angle ABC$
• $\angle ADB = \angle ACB$ (hai góc nội tiếp cùng chắn cung $AB$)

Vậy $\triangle ABD \sim \triangle EBC$ (g-g).

Suy ra: $\frac{AD}{EC} = \frac{BD}{BC} = \frac{AB}{EB} \implies AD \cdot BC = BD \cdot EC$ (2)

Bước 3: Kết luận

Cộng (1) và (2), ta được:

$AB \cdot CD + AD \cdot BC = BD \cdot AE + BD \cdot EC = BD(AE + EC) = BD \cdot AC$

Vậy $AC \cdot BD = AB \cdot CD + AD \cdot BC$ (đpcm).

3. Ứng dụng của định lý Ptolemy

Định lý Ptolemy có nhiều ứng dụng trong giải toán hình học, đặc biệt là các bài toán liên quan đến tứ giác nội tiếp và các bài toán chứng minh đẳng thức hình học. Một số ứng dụng tiêu biểu bao gồm:

• Chứng minh một tứ giác là tứ giác nội tiếp.
• Tính độ dài đoạn thẳng.
• Chứng minh các đẳng thức hình học.

4. Các dạng bài tập thường gặp

4.1. Bài toán chứng minh đẳng thức

Ví dụ 1: Cho tam giác đều $ABC$ nội tiếp đường tròn $(O)$. Điểm $M$ thuộc cung $BC$ không chứa $A$. Chứng minh rằng $MA = MB + MC$.

Hướng dẫn:

• Áp dụng định lý Ptolemy cho tứ giác nội tiếp $ABMC$.
• Sử dụng tính chất của tam giác đều để đơn giản biểu thức.

4.2. Bài toán tính độ dài đoạn thẳng

Ví dụ 2: Cho hình vuông $ABCD$ cạnh $a$ nội tiếp đường tròn $(O)$. Điểm $M$ thuộc cung nhỏ $CD$. Biết $MC = m$ và $MD = n$. Tính $MA$ và $MB$ theo $a, m, n$.

Hướng dẫn:

• Áp dụng định lý Ptolemy cho tứ giác nội tiếp $AMCD$ và $BCDM$.
• Giải hệ phương trình để tìm $MA$ và $MB$.

4.3. Bài toán chứng minh tứ giác nội tiếp

Ví dụ 3: Cho tứ giác $ABCD$. Chứng minh rằng nếu $AC \cdot BD = AB \cdot CD + AD \cdot BC$ thì tứ giác $ABCD$ nội tiếp.

Hướng dẫn:

• Đây là định lý đảo của định lý Ptolemy.
• Chứng minh bằng phản chứng. Giả sử tứ giác $ABCD$ không nội tiếp, khi đó sẽ tồn tại điểm $B'$ sao cho tứ giác $AB'CD$ nội tiếp. Áp dụng định lý Ptolemy cho tứ giác $AB'CD$ và so sánh với giả thiết để dẫn đến mâu thuẫn.

5. Bài tập tự luyện

1. Cho hình chữ nhật $ABCD$. Chứng minh rằng nếu $M$ là một điểm bất kỳ trên mặt phẳng thì $MA^2 + MC^2 = MB^2 + MD^2$.

2. Cho tam giác $ABC$ nội tiếp đường tròn $(O)$. Gọi $M$ là trung điểm của cạnh $BC$. Gọi $D$ là giao điểm của $AM$ với đường tròn $(O)$. Chứng minh rằng $AB^2 + AC^2 = 2AM \cdot AD$.

3. Cho tứ giác $ABCD$ nội tiếp đường tròn $(O)$. Các đường thẳng $AB$ và $CD$ cắt nhau tại $E$, các đường thẳng $AD$ và $BC$ cắt nhau tại $F$. Chứng minh rằng:

   $\frac{EA}{EB} \cdot \frac{FC}{FB} = \frac{DA}{DB} \cdot \frac{DC}{DA}$

6. Kết luận

Định lý Ptolemy là một công cụ mạnh mẽ trong hình học, đặc biệt là khi giải các bài toán liên quan đến tứ giác nội tiếp. Việc nắm vững định lý và các ứng dụng của nó sẽ giúp các bạn học sinh tự tin hơn trong việc giải quyết các bài toán hình học phức tạp.