Cho tứ giác lồi ABCD có \(\widehat{ABC}=\widehat{CDA}=90^0\). Gọi M là trung điểm của BD. Giả sử đường tròn (S) đi qua M và tiếp xúc với AC tại A. Đường tròn (T) đi qua M và tiếp xúc với AC tại C (biết rằng hai đường tròn (S) và (T) không tiếp xúc với nhau). Chứng minh rằng các giao điểm của (S) và (T) cùng nằm trên đường trung trực của BD.
Nhận xét: Tứ giác ABCD nội tiếp đường tròn đường kính AC vì ^ABC=^CDA=900. Gọi tâm của đường tròn này là O. Khi đó thì O chính là trung điểm đoạn AC. Ta thấy M là 1 điểm chung của (S) và (T), đồng thời là trung điểm BD nên M nằm trên trung trực BD. Gọi giao điểm thứ hai của (S) và (T) là L. Ta đi chứng minh L cũng nằm trên trung trực BD. Thật vậy:
Từ M kẻ MK vuông góc với đường thẳng ST. Gọi E,F lần lượt là hình chiếu của S,T lên MA,MC.
Khi đó các tứ giác KSEM, KTMS nội tiếp => ^EKF = ^MKE + ^MKF = ^MSE + ^MTF = (^ASM + ^CTM)/2
Ta thấy AC là tiếp tuyến chung của (S) và (T) nên ^MAC = ^ASM/2; ^MCA = ^CTM/2
Từ đó: ^EKF = ^MCA + ^MAC = ^EOA + ^FOC (Chú ý tứ giác MEOF là hbh) = 1800 - ^EOF
Suy ra tứ giác KEOF nội tiếp => ^EKO = ^EFO = ^MAC = ^MSE (=^ASM/2) = ^EKM
Mà M và O nằm cùng phía so với EK nên tia KM,KO trùng nhau hay O,M,K thẳng hàng
Mặt khác: (S) và (T) cắt nhau tại M và L nên ML vuông góc ST. Do MK vuông góc ST nên M,K,L thẳng hàng
Vì vậy 4 điểm O,M,K,L thẳng hàng. Lại có OM là trung trực của BD => ML cũng là trung trực BD
Hay 2 giao điểm của (S) và (T) cùng nằm trên đường trung trực của BD (đpcm).