Bài toán đường thẳng Euler

Bài toán: Cho tam giác $ABC$ nội tiếp đường tròn $(O)$, $(J)$ là đường tròn bàng tiếp góc $A$ của tam giác $ABC$. Đường tròn $(J)$ tiếp xúc với $BC, CA, AB$ tại $M, P, N$. Chứng minh rằng, $JO$ là đường thẳng Euler của tam giác $MNP$

Lời giải:
   Gọi $M', N', P'$ theo thứ tự là giao điểm của các cặp đường thẳng $(JA,PN); (JC;PM); (JB; MN)$. Rõ ràng đường tròn Euler của các tam giác $MNP$ cũng chính là đường tròn ngoại tiếp tam giác $M'N'P'$. Gọi $A',B',C'$ theo thứ tự là giao điểm của $JA, JB, JC$ với đường tròn ngoại tiếp tam giác $ABC$.
  Ta có $$\overline{JB}.\overline{JB'}=\overline{JA}.\overline{JA'}=\overline{JC}.\overline{JC'}$$  Đồng thời. $$\overline{JM'}.\overline{JA}=\overline{JB}.\overline{JP'}=\overline{JC}.\overline{JN'}$$  Suy ra $$\dfrac{\overline{JM'}}{\overline{JA'}}=\dfrac{\overline{JP'}}{\overline{JB'}}=\dfrac{\overline{JN'}}{\overline{JC'}}$$ Theo đó, ta có được: $A'B'||M'N',\; B'C'||P'N',\; C'A'||M'N'$. Từ đó suy ra tồn tại phép vị tự $V_{J,k}$ sao cho $V_{J,k}: \Delta M'N'P' \to\Delta A'C'B'$, suy ra tâm đường tròn ngoại tiếp tam giác $A'B'C', M'N'P'$ và $J$ thẳng hàng, hay nói cách khác $JO$ là đường thẳng Euler của tam giác $MNP$ (dpcm).

DỒN BIẾN THỪA-TRỪ

Trong các bài toán chứng minh bất đẳng thức có lẽ các bài toán bất đẳng thức chứa căn là một trong những dạng toán hay và thú vị nhất .Đơn giản là chúng ta không thể dùng các phép biến đổi thông thường để chứng minh bài toán và như thế mới thúc đẩy các ý tưởng mới được.Trong các phương pháp chứng minh dạng toán này không thể không nhắc tới phương pháp dồn biến thừa trừ của anh Võ Quốc Bá Cẩn.Ý tưởng của phương pháp rất đơn giản nhưng điều đơn giản này lại giúp chúng ta giải quyết rất nhiều bất đẳng thức khó,trong đó có một số kết quả từng là những bài toán mở.Trong bài viết này xin được giới thiệu thêm một số bài toán có thể giải bằng phương pháp này.

Bài toán 1 Võ Quốc Bá Cẩn

Cho các số thực không âm  thỏa mãn:.Chứng minh rằng:


Lời giải 

Không mất tổng quát giả sử rằng: 
Đặt
Ta sẽ chứng minh rằng:

Để chứng minh điều này,đầu tiên ta chứng minh kết quả sau:

Bình phương hai vế và sử dụng đẳng thức: ,ta có thể viết bất đẳng thức này dưới dạng:

Hay là

Sử dụng bất đẳng thức Minkowski có :

Sử dụng kết quả này và giả thiết: ,ta chỉ cần chứng minh:



Điều này hiển nhiên đúng với 
Để hoàn thành bước dồn biến ,ta chỉ cần chứng minh:


Chú ý rằng




Mặt khác




Và  , bước dồn biến được chứng minh xong.

Cuối cùng,ta chỉ cần chứng minh rằng:



Ta có

Bài toán được chứng minh xong.Đẳng thức xảy ra  và các hoán vị tương ứng.
Nhận xét 
- Bước chứng minh

là mấu chốt trong lời giải bài toán này.Kết quả này giúp cho bước dồn biến đơn giản hơn rất nhiều do bớt đi được được một biểu thức chứa căn và như thế cũng làm cho việc tính toán trở nên đơn giản hơn.Nếu trực tiếp chứng minh kết quả  thì tính toán sẽ rất nhiều và gặp rất nhiều khó khăn.
-Sử dụng kết quả này ta có thể chứng minh kết quả sau:
Cho các số thực không âm  thỏa mãn:.Chứng minh rằng:


Bài toán 2 Quykhtn

Cho tam giác  có độ dài 3 cạnh là  và 3 trung tuyến là .Chứng minh rằng:


Lời giải 

Viết bất đẳng thức cần chứng minh dưới dạng tương đương sau:

Không mất tổng quát giả sử rằng .
Kí hiệu

Ta sẽ chứng minh: 
Để chứng minh kết quả này,đầu tiên ta chứng minh kết quả sau:

Bình phương hai vế và sử dụng đẳng thức:  ,ta có thể viết bất đẳng thức này dưới dạng:

tương đương

Chú ý rằng


Như vậy ta chỉ cần chứng minh rằng:

Điều này luôn đúng với 
Để hoàn thành bước dồn biến ta phải chứng minh:

Tương đương

Tương đương

Dễ thấy  nên

Do đó


Bây giờ xét biểu thức:

Dễ thấy






Như vậy

Vậy để chứng minh bài toán ta chỉ cần chứng minh:

tương đương

Đặt  với .
Bất đẳng thức cần chứng minh trở thành:

tương đương

tương đương

tương đương


Chú ý rằng:


Mặt khác:

Bài toán được chứng minh xong.
Đẳng thức xảy ra .
   
                                                                                           Nguồn: artofproblemsolving.com