Đến nội dung

Hình ảnh

Có bao nhiêu lời giải cho Bất đẳng thức Ptolemy

- - - - -

  • Please log in to reply
Chủ đề này có 7 trả lời

#1
zaizai

zaizai

    Tiến sĩ diễn đàn toán

  • Thành viên
  • 1380 Bài viết
Như các bạn đã biết cách chứng minh định lí Ptolemy thông thường là lấy điểm bằng các đại lượng cho trước. Cụ thể là cách chứng minh trong bài viết chuyên đề của mình đã nêu lên.
Mình mở topic này mong muốn tìm thêm các cách giải khác cho định lí này.
Hiện tại mình có trong tay 5 phép chứng minh cho định lí này:
+ Sử dụng phép nghịch đảo.
+ Sử dụng công cụ số phức.
+ Sử dụng cách vẻ đường đối xứng.
+ Dùng đẳng thức.
+ Dùng cách đã trình bày ở bài chuyên đề
Bây giờ mình xin trình bày một cách khác xem sao :)
Dựng đường thẳng m đối xứng với AD qua đường phân giác trong $ \widehat{BAC}$
Đường thẳng m chứa một và chỉ một điểm O thỏa mãn
$\widehat{AOB}= \widehat{ACD}$
Lại có $\widehat{ABC}=\widehat{ABC} \rightarrow \widehat{OBA}=\widehat{CDA}$
Như vậy nếu ABCD nội tiếp thì điểm O nằm trên đoạn BC và cũng chỉ xảy ra trong trường hợp này, ngược lại nếu điểm O nằm trên BC thì ABCD nội tiếp.
Quay trở lại bài toán, ta có:
$ \Delta AOB=\Delta ACD\rightarrow \dfrac{AO}{AC}= \dfrac{AB}{AD}= \dfrac{OB}{CD} (1)$
Hơn nữa $\widehat{OAC}=\widehat{BAD}\rightarrow \Delta OAC=\Delta BAD$
Khi đó ta có:
$ \dfrac{OC}{BD}= \dfrac{AC}{AD} (2)$
Từ (1) và (2) suy ra:
$ OC= \dfrac{AC.BD}{AD}, OB= \dfrac{AB.CD}{AD}$
Ta xét 2 trường hợp:
+ Nếu ABCD nội tiếp thì:
$ 0C=OB+BC$
Thay thế các giá trị vào ta có đpcm.
+ Nếu ABCD không nội tiếp thì:
$ OC<OB+BC$
Thay thế các giá trị vào ta có đpcm.

Mời mọi người cùng tham gia :D

Bài viết đã được chỉnh sửa nội dung bởi inhtoan: 10-11-2009 - 21:48


#2
neverstop

neverstop

    Thượng sĩ

  • Thành viên
  • 261 Bài viết
Có 1 cách khác là dùng các công thức tính độ dài đường chéo của tứ giác lồi và xét trường hợp tứ giác nội tiếp (xem chi tiết trong cuốn Euclidean geometry - Paul Yiu)

zaizai nói rõ hơn 1 chút về cách thứ 3 và thứ 4 được không?
Download phần mềm miễn phí: http://rilwis.tk

#3
zaizai

zaizai

    Tiến sĩ diễn đàn toán

  • Thành viên
  • 1380 Bài viết
cách thứ 3 là cách mà em đã trình bày ở trên ạ a_{n}
Còn cách thứ 4 thì đợi em vài hôm nữa mấy hôm nay bận kiểm tra quá :rolleyes: Anh thông cảm cho tình cảnh dữ dội của em nhé :D
À quyển mà anh nói có bản PDF ko ạ :rolleyes:
Còn 1 quyển cũng rất nỏi tiếng là quyển Advanced Euclidean Geometry của Johnson anh có ko ạ :D Nếu có bản PDF thì em xin anh 1 bản a_{n}

#4
neverstop

neverstop

    Thượng sĩ

  • Thành viên
  • 261 Bài viết
Cuốn đó anh không có. Anh chỉ có cuốn cùng tên của Paul Yiu thôi. Em vào trang chủ của Paul Yiu mà down về nhé (http://www.math.fau....u/geometry.html). Tất cả đều ở dạng pdf. Nếu như không được thì mấy hôm nữa anh up lên cho.
Download phần mềm miễn phí: http://rilwis.tk

#5
hieuchuoi@

hieuchuoi@

    Thành viên lười nhác

  • Thành viên
  • 418 Bài viết
zaizai nên xem xét thêm trường hợp tứ giác lõm nữa, ví dụ như cách cậu dùng trong chuyên đề chỉ dùng cho tứ giác lồi thôi :D . BDT Ptolemy nên phát biểu dưới dạng 4 điểm http://dientuvietnam...tex.cgi?A,B,C,D

#6
zaizai

zaizai

    Tiến sĩ diễn đàn toán

  • Thành viên
  • 1380 Bài viết
vậy mời hiếu trình bày lời giải cho tứ giác lõm :D Theo mình biết thì tứ giác lồi thường được sử dụng hơn còn lòm thì chưa nghe bao giờ nhưng có lẽ ý tưởng chứng minh cũng ko khác nhau là bao :D

#7
NAPOLE

NAPOLE

    Napoleon Bonaparte

  • Pre-Member
  • 328 Bài viết
Mình còn có các giải của Ptolemy bằng lượng giác nhưng hôm nay ở tiệm nên ko nhớ chút gì cả .Để vể nhà xem lại rồi sáng thứ tư sẽ post
Defense Of The Ancients

#8
zaizai

zaizai

    Tiến sĩ diễn đàn toán

  • Thành viên
  • 1380 Bài viết
Mình ko thích lượng giác lắm nên ko quan tâm đến lời giải này :equiv Thực ra thì mình cũng có đọc lời giải đó rồi :vdots Ai có cách nào tự phát minh thì thú vị quá :equiv




1 người đang xem chủ đề

0 thành viên, 1 khách, 0 thành viên ẩn danh