Translate

Wednesday, January 14, 2015

 Bài toán: (VMO 2015 pro. 5) Cho $(f_n(x))$ là dãy các đa thức xác định bởi: $$\begin{cases} f_0(x)=2,\, f_1(x)=3x\\ f_n(x)=3xf_{n-1}(x)+(1-x-2x^2)f_{n-2}(x)\end{cases}$$ Tìm tất cả các số nguyên dương $n$ để $f_n(x)$ chia hết cho đa thức $x^3-x^2+x$

Lời giải: 

   Xét phương trình đặc trưng: $$t^2-3xt-(1-x-2x^2)=0$$ Giải phương trình này ta tìm được hai nghiệm $$\begin{cases}t_1=x+1\\t_2=2x-1\end{cases}$$ Suy ra: $f_n(x)=A(x+1)^n+B(2x-1)^n$. Cho $n=0, n=1$ ta có hệ: $$\begin{cases}A+B=2\\(x+1)A+(2x-1)B=3x\end{cases}\Leftrightarrow \begin{cases}A=1\\B=1\end{cases}$$ Vậy, ta được $$f_n(x)=(x+1)^n+(2x-1)^n$$ Nếu $n$ chẳn, thì $f_n(x)\equiv 2\pmod{x}$ mà $x^3-x^2+x\equiv 0\pmod{x}$ nên trường hợp này không thể xảy ra. Tức là $n$ lẻ.
   Ta nhận thấy: $$(x+1)^3=x^3+3x^2+3x+1=x^3-x^2+x+4x^2+2x+1\equiv 4x^2+2x+1\equiv \pmod{x^3-x^2+x}\\(2x-1)^3=8x^3-12x^2+6x-1=8(x^3-x^2+x)-4x^2-2x-1\equiv -4x^2-2x-1\pmod{x^3-x^2+x}$$ 
 Xét các trường hợp: 
    Trường hợp 1: $n=3k+1$, $k$ chẵn. Khi đó, ta có: $$\begin{aligned}f_n(x)&=(x+1)^{3k+1}+(2x-1)^{3k+1}\\&=(x^3+3x^2+3x+1)^k(x+1)+(8x^3-12x^2+6x-1)^k(2x-1)\\&\equiv (4x^2+2x+1)^k(x+1)+(-4x^2-2x-1)^k(2x-1)\\&\equiv 3x(4x^2+2x+1)^k\not\equiv 0\pmod{x^3-x^2+x}\end{aligned}$$
    Trường hợp 2: $n=3k+2$, $k$ lẻ. Khi đó, ta có $$\begin{aligned}f_n(x)&=(x+1)^{3k+2}+(2x-1)^{3k+2}\\&=(x^3+3x^2+3x+1)^k(x^2+2x+1)+(8x^3-12x^2+6x-1)^k(4x^2-4x+1)\\&\equiv (4x^2+2x+1)^k(x^2+2x+1)+(-4x^2-2x-1)^k(4x^2-4x+1)\\&\equiv (4x^2+2x+1)^k(x^2+2x+1-4x^2+4x-1)\\&\equiv (4x^2+2x+1)^k(-3x^2+6x)\\&\not\equiv 0\pmod{x^3-x^2+x}\end{aligned}$$
    Trường hợp 3: $n=3(2k+1),k\in\mathbb{N}$. khi đó ta có: $$\begin{aligned}f_n(x)&=(x+1)^{3(2k+1)}+(2x-1)^{3(2k+1)}\\& =(x^3+3x^2+3x+1)^{2k+1}+(8x^3-12x^2+6x-1)^{2k+1}\\&\equiv (4x^2+2x+1)^{2k+1}+(-4x^2-2x-1)^{2k+1}\\&\equiv 0\pmod{x^3-x^2+x}\end{aligned}$$
 Cuối cùng, ta được kết quả: $$\boxed{n=3(2k+1),k\in\mathbb{N}}$$

Sunday, January 4, 2015

Phương tích- hàng điều hòa

Bài toán: Cho tam giác nhọn $ABC$ và một đường tròn thay đổi qua $B, C$ cắt $AB, AC$ tại $M, N$. Gọi $P$ là giao điểm của $BN$ và $CM$, $Q,T$ là giao điểm của $AP, MN$ với $BC$. Đường thẳng qua $Q$ và song song với $MN$ gặp $AB, AC$ lần lượt tại $R, S$.
      a. Chứng minh rằng: đường tròn ngoại tiếp tam giác $BKN$ luôn đi qua điểm cố định.
      b.Gọi $K$ là trực tâm tam giác $AMN$. Đặt $BC=a, d$ là khoảng cách từ $A$ tới $PK$. Chứng minh rằng, $d\le a. \cot A$


Lời giải:
     a. Ta có $RS || MN$ nên $\angle BRS=\angle TMb=180^o-\angle BMN=\angle BCS$, hay tứ giác $BSCR$ nội tiếp, suy ra: $$\overline{QB}.\overline{QC}=\overline{QR}.\overline{QS}$$ Mặt khác, ta lại có $(BCQT)=-1$, Gọi $E$ là trung điểm $BC$, theo hệ thức Maclaurin ta có: $$\overline{QT}.\overline{QW}=\overline{QB}.\overline{QC}$$ Từ đây suy ra: $\overline{QT}.\overline{QE}=\overline{QR}.\overline{QS}$, tức là $T, R, S, E$ đồng viên hay nói cách khác đường tròn $(TRS)$ luôn đi qua trung điểm $E$ cố định của $BC$.
   b. Ký hiệu $(XY)$ là dùng để chỉ đường tròn có đường kính $XY$. Gọi $B', C'$ là hình chiếu của $B, C$ lên $AB, AC$. Khi đó, dễ thấy $B'\in (BN),\, C'\in (CM)$.
   Ta có: $\Delta B'C'H\sim \Delta CBH$ nên: $$\overline{HB'}.\overline{HB}=\overline{HC'}.\overline{HC}$$ Suy ra $H$ nằm trên trục đẳng phương của hai đường tròn $(BN)$ và $(CM)$. Tương tự, ta cũng chứng minh được $K$ nằm trên trục đẳng phương của $(BN)$ và $(CM)$.
  Mặt khác, ta lại có $\overline{PM}.\overline{PC}=\overline{PN}.\overline{PB}$ nên $P$ nằm trên trục đẳng phương của $(BN) $ và $(CM)$. Vậy, $P, K, H$ thẳng hàng, suy ra: $d\le AH$. Kết hợp với: $$AH=\dfrac{AB'}{\sin\angle AHB'}=\dfrac{AB'}{\sin\angle ACB}=BC.\dfrac{AB'}{BB'}=BC.\cot A$$ Tóm lại, ta có được: $d\le a.\cot A$
   Bài toán được chứng minh hoàn toàn.

Wednesday, December 31, 2014

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).

Wednesday, December 17, 2014

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 a,b,c thỏa mãn:a+b+c=1.Chứng minh rằng:
\sqrt{7a^2-8a+3}+\sqrt{7b^2-8b+3}+\sqrt{7c^2-8c+3} \ge \sqrt{12(a^2+b^2+c^2)+6}

Lời giải 

Không mất tổng quát giả sử rằng: a \ge b \ge c \ge 0.
Đặtf(a,b,c)=\sqrt{7a^2-8a+3}+\sqrt{7b^2-8b+3}+\sqrt{7c^2-8c+3}-\sqrt{12(a^2+b^2+c^2)+6}
Ta sẽ chứng minh rằng:
f(a,b,c) \ge f \left(\frac{a+b}{2},\frac{a+b}{2},c\right).
Để chứng minh điều này,đầu tiên ta chứng minh kết quả sau:
\sqrt{7a^2-8a+3}+\sqrt{7b^2-8b+3} \ge \sqrt{7(a+b)^2-16(a+b)+12+\frac{9(a-b)^2}{2}}
Bình phương hai vế và sử dụng đẳng thức: (x+y)^2=2(x^2+y^2)-(x-y)^2,ta có thể viết bất đẳng thức này dưới dạng:
5(a-b)^2 \ge 2\left(\sqrt{7a^2-8a+3}-\sqrt{7b^2-8b+3}\right)^2
Hay là
5(a-b)^2 \ge \frac{2(a-b)^2(8-7(a+b))^2}{\left(\sqrt{7a^2-8a+3}+\sqrt{7b^2-8b+3}\right)^2}
Sử dụng bất đẳng thức Minkowski có :
\sqrt{7a^2-8a+3}+\sqrt{7b^2-8b+3}=\sqrt{7\left(a-\frac{4}{7}\right)^2+\frac{5}{7}}+\sqrt{7\left(b-\frac{4}{7}\right)^2+\frac{...
Sử dụng kết quả này và giả thiết: a+b+c=1,ta chỉ cần chứng minh:
5(7c^2+2c+3) \ge 2(1+7c)^2
\Leftrightarrow 13-18c-63c^2 \ge 0
\Leftrightarrow (1-3c)(13+21c) \ge 0
Điều này hiển nhiên đúng với 0 \le c \le \frac{1}{3}.
Để hoàn thành bước dồn biến ,ta chỉ cần chứng minh:
\sqrt{7(a+b)^2-16(a+b)+12+\frac{9(a-b)^2}{2}}-\sqrt{12(a^2+b^2+c^2)+6} \ge \sqrt{7(a+b)^2-16(a+b)+12}-\sqrt{6(a+b)^2+12c^2+6}
\Leftrightarrow  \frac{3(a-b)^2}{\sqrt{7(a+b)^2-16(a+b)+12+\frac{9(a-b)^2}{2}}+\sqrt{7(a+b)^2-16(a+b)+12}}\ge \frac{4(a-b)^2}...
Chú ý rằng
6(a+b)^2+12c^2+6=6(3c^2-2c+2)
7(a+b)^2-16(a+b)+12=7c^2+2c+3
12(a^2+b^2+c^2)+6=6(3c^2-2c+2+(a-b)^2)
7(a+b)^2-16(a+b)+12+\frac{9(a-b)^2}{2}=7c^2+2c+3+\frac{9(a-b)^2}{2}
Mặt khác
3(3c^2-2c+2)-(7c^2+2c+3)=2c^2-8c+3=2c^2+c+3(1-3c) \ge 0

3(3c^2-2c+2+(a-b)^2)-\left(7c^2+2c+3+\frac{9(a-b)^2}{2}\right)=2c^2-8c+3-\frac{3(a-b)^2}{2} \ge 2c^2-8c+3-\frac{3(a+b-2c)^2}{...

Và 3 \sqrt{2} >4 , bước dồn biến được chứng minh xong.

Cuối cùng,ta chỉ cần chứng minh rằng:
\sqrt{7c^2+2c+3}+\sqrt{7c^2-8c+3} \ge \sqrt{6(3c^2-2c+2)}
\Leftrightarrow \sqrt{(7c^2+2c+3)(7c^2-8c+3)} \ge 2c^2-3c+3

Ta có
(7c^2+2c+3)(7c^2-8c+3)-(2c^2-3c+3)^2=45c^4-30c^3+5c^2=5c^2(3c-1)^2 \ge 0
Bài toán được chứng minh xong.Đẳng thức xảy ra \Leftrightarrow a=b=c=\frac{1}{3} ; a=b=\frac{1}{2} , c=0 và các hoán vị tương ứng.
Nhận xét 
- Bước chứng minh
\sqrt{7a^2-8a+3}+\sqrt{7b^2-8b+3} \ge \sqrt{7(a+b)^2-16(a+b)+12+\frac{9(a-b)^2}{2}}
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ả f(a,b,c) \ge f \left(\frac{a+b}{2},\frac{a+b}{2},c\right) 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 a,b,c thỏa mãn:a+b+c=1.Chứng minh rằng:
\frac{2a-a^2}{2a^2-2a+1}+\frac{2b-b^2}{2b^2-2b+1}+\frac{2c-c^2}{2c^2-2c+1} \le 3

Bài toán 2 Quykhtn

Cho tam giác ABC có độ dài 3 cạnh là a,b,c và 3 trung tuyến là m_a,m_b,m_c.Chứng minh rằng:
\frac{2}{\sqrt{3}} \left(m_a+m_b+m_c\right) \ge \sqrt{a^2-\frac{(b-c)^2}{2}}+\sqrt{b^2-\frac{(c-a)^2}{2}}+\sqrt{c^2-\frac{(a-...

Lời giải 

Viết bất đẳng thức cần chứng minh dưới dạng tương đương sau:
\sqrt{2b^2+2c^2-a^2}+\sqrt{2c^2+2a^2-b^2}+\sqrt{2a^2+2b^2-c^2} \ge \sqrt{3}\left(\sqrt{a^2-\frac{(b-c)^2}{2}}+\sqrt{b^2-\frac...
Không mất tổng quát giả sử rằng a \ge b \ge c \ge 0.
Kí hiệu
f(a,b,c)= \sqrt{2b^2+2c^2-a^2}+\sqrt{2c^2+2a^2-b^2}+\sqrt{2a^2+2b^2-c^2}
Ta sẽ chứng minh: f(a,b,c) \ge f \left(a,\frac{b+c}{2},\frac{b+c}{2} \right)
Để chứng minh kết quả này,đầu tiên ta chứng minh kết quả sau:
\sqrt{2a^2+2b^2-c^2}+\sqrt{2a^2+2c^2-b^2} \ge \sqrt{8a^2+(b+c)^2-2(b-c)^2}
Bình phương hai vế và sử dụng đẳng thức: (x+y)^2=2(x^2+y^2)-(x-y)^2 ,ta có thể viết bất đẳng thức này dưới dạng:
3(b-c)^2 \ge \left(\sqrt{2a^2+2b^2-c^2}-\sqrt{2a^2+2c^2-b^2}\right)^2
tương đương
3(b-c)^2 \ge \frac{9(b-c)^2(b+c)^2}{\left(\sqrt{2a^2+2b^2-c^2}+\sqrt{2a^2+2c^2-b^2}\right)^2}
Chú ý rằng
\sqrt{2a^2+2b^2-c^2}+\sqrt{2a^2+2c^2-b^2} \ge \sqrt{(a+b)^2-c^2}+\sqrt{(a+c)^2-b^2}
\sqrt{a+b-c}+\sqrt{a+c-b}=\sqrt{2a+2\sqrt{(a+b-c)(a+c-b}} \ge \sqrt{2(b+c)}
Như vậy ta chỉ cần chứng minh rằng:
2(a+b+c) \ge 3(b+c) \Leftrightarrow 2a \ge b+c
Điều này luôn đúng với a \ge b \ge c
Để hoàn thành bước dồn biến ta phải chứng minh:
\sqrt{8a^2+(b+c)^2-2(b-c)^2} +\sqrt{2b^2+2c^2-a^2} \ge \sqrt{8a^2+(b+c)^2}+\sqrt{(b+c)^2-a^2}
Tương đương
\frac{(b-c)^2}{\sqrt{2b^2+2c^2-a^2}+\sqrt{(b+c)^2-a^2}} \ge \frac{2(b-c)^2}{\sqrt{8a^2+(b+c)^2}+\sqrt{8a^2+(b+c)^2-2(b-c)^2}}
Tương đương
\sqrt{8a^2+(b+c)^2}+\sqrt{8a^2+(b+c)^2-2(b-c)^2} \ge 2 \left(\sqrt{2b^2+2c^2-a^2}+\sqrt{(b+c)^2-a^2}\right)
Dễ thấy (b-c)^2 \le (b-c+2(a-b))^2=(2a-b-c)^2 nên
2(b^2+c^2)=(b+c)^2+(b-c)^2 \le (b+c)^2+(2a-b-c)^2
Do đó
8a^2+(b+c)^2-4(2b^2+2c^2-a^2) \ge 12a^2+(b+c)^2-4(b+c)^2-4(2a-b-c)^2
=(2a-b-c)(7(b+c)-2a) \ge 0
Bây giờ xét biểu thức:
g(a,b,c)=\sqrt{a^2-\frac{(b-c)^2}{2}}+\sqrt{b^2-\frac{(c-a)^2}{2}}+\sqrt{c^2-\frac{(a-b)^2}{2}}
Dễ thấy
\sqrt{a^2-\frac{(b-c)^2}{2}} \le a

\left(\sqrt{b^2-\frac{(c-a)^2}{2}}+\sqrt{c^2-\frac{(a-b)^2}{2}}\right)^2
=b^2-\frac{(c-a)^2}{2}+c^2-\frac{(a-b)^2}{2}+2\sqrt{\left(b^2-\frac{(c-a)^2}{2}\right)\left(c^2-\frac{(a-b)^2}{2}\right)}
\le b^2-\frac{(c-a)^2}{2}+c^2-\frac{(a-b)^2}{2}+2 \left(bc-\frac{(a-b)(a-c)}{2}\right)
=(b+c)^2-\frac{(2a-b-c)^2}{2}
Như vậy
g(a,b,c) \le g \left(a,\frac{b+c}{2},\frac{b+c}{2}\right)
Vậy để chứng minh bài toán ta chỉ cần chứng minh:
f \left(a,\frac{b+c}{2},\frac{b+c}{2}\right) \ge g \left(a,\frac{b+c}{2},\frac{b+c}{2}\right)
tương đương
\sqrt{8a^2+(b+c)^2}+\sqrt{(b+c)^2-a^2} \ge \sqrt{3}\left(a+\sqrt{(b+c)^2-\frac{(2a-b-c)^2}{2}}\right)
Đặt \frac{b+c}{a}=x với 1 < x \le 2.
Bất đẳng thức cần chứng minh trở thành:
\sqrt{x^2+8}+\sqrt{x^2-1} \ge \sqrt{3} \left(1+\sqrt{x^2-\frac{(x-2)^2}{2}}\right)
tương đương
\frac{x^2-12x+20}{2}+2\sqrt{(x^2+8)(x^2-1)} \ge 3\sqrt{2(x^2+4x-4)}
tương đương
\frac{x^2-4x+4}{2} +2 \left(\sqrt{(x^2+8)(x^2-1)}-(5x-4)\right) \ge 3(\sqrt{2(x^2+4x-4)}-2x)
tương đương
\frac{(x-2)^2}{2}+\frac{2(x-2)^2(x^2+4x-6)}{\sqrt{(x^2+8)(x^2-1)}+(5x-4)} \ge \frac{-6(x-2)^2}{\sqrt{2(x^2+4x-4)}+2x}
\frac{1}{2}+\frac{6}{\sqrt{2(x^2+4x-4)}+2x} \ge \frac{2(6-4x-x^2)}{\sqrt{(x^2+8)(x^2-1)}+(5x-4)}
Chú ý rằng:
\frac{2(6-4x-x^2)}{\sqrt{(x^2+8)(x^2-1)}+(5x-4)}\le \frac{2}{\sqrt{(x^2+8)(x^2-1)}+(5x-4)} \le \frac{2}{5x-4} \le \frac{2}{x}
\sqrt{2(x^2+4x-4)}+2x \le 4x
Mặt khác:
\frac{1}{2}+\frac{6}{4x}>\frac{1}{2x}+\frac{3}{2x}=\frac{2}{x}
Bài toán được chứng minh xong.
Đẳng thức xảy ra \Leftrightarrow a=b=c.

   
                                                                                           Nguồn: artofproblemsolving.com