Đến nội dung

Hình ảnh

Chứng minh $$2(ab+bc+ac)-(a^2+b^2+c^2)\geq 4\sqrt{3}S$$

* * * * * 1 Bình chọn

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

#1
Ispectorgadget

Ispectorgadget

    Nothing

  • Quản lý Toán Phổ thông
  • 2946 Bài viết
Bài 1:Chứng minh rằng với moị tam giác có độ dài 3 cạnh là a,b,c và diện tích S ta có:
$$2(ab+bc+ac)-(a^2+b^2+c^2)\geq 4\sqrt{3}S$$
Bất đẳng thức Hadwiger-Finsler
Bài 2:Cho a,b,c là độ dài 3 cạnh tam giác. Chứng minh các bất đẳng thức
$$a^3+b^3+c^3+3abc-2b^2a-2c^2b-2a^2c\geq 0$$
$$3a^2b+3b^2c+3c^2a-3abc-2b^2a-2c^2b-2a^2c\geq 0$$
Bất đẳng thức Darij Grinberg
Bài 3:Cho $a_1;b_1;c_1$ là độ dài 3 cạnh 1 tam giác $A_1B_1C_1$ có diện tích $S_1$; $a_2;b_2;c_2$ là độ dài 3 cạnh tam giác có diện tích $S_2$ . Chứng minh rằng:
$a_1^2(b_2^2+c_2^2-a_2^2)+b_1^2(c_2^2+a_2^2-b_2^2)+c_1^2(a_2^2+b_2^2-c_2^2)\geq 16S_1S_2$
Bất đẳng thức Neuberg-Pedoe

Bài viết đã được chỉnh sửa nội dung bởi Ispectorgadget: 17-04-2012 - 08:36

►|| The aim of life is self-development. To realize one's nature perfectly - that is what each of us is here for. ™ ♫


#2
Tham Lang

Tham Lang

    Thượng úy

  • Thành viên
  • 1149 Bài viết
Tình cờ đọc được một bổ đề khá hay, mình xin nói rõ bổ đề này trước, rồi sẽ vận dụng sau :D
Cho $a, b, c$ là 3 cạnh của một tam giác, $x, y, z > 0$ thì ta có :
$$xa^2+yb^2+zc^2\ge 4\sqrt{xy+yz+zx}S$$
Mình xin được trích chứng minh cho bổ đề , mọi người ai có chứng minh hay hay thì post lời giải luôn nhé :D
Theo định lí hàm số cosin, ta có :
$$xa^2+yb^2+zc^2\ge 4\sqrt{xy+yz+zx}S\Leftrightarrow xa^2+yb^2+z\left (a^2+b^2-2ab\cos{C}\right )\ge 2ab\sin{C}\sqrt{xy+yz+zx}\Leftrightarrow \dfrac{(x+z)a}{b}+\dfrac{(y+z).b}{a}\ge 2\left (\sqrt{xy+yz+zx}+z\cos{C}\right )$$
Áp dụng tiếp bất đẳng thức $BCS$, ta có :
$$\left (\sqrt{xy+yz+zx}+z\cos{C}\right )^2 \le \left (z^2+xy+yz+zx\right )\left (\sin^2{C}+\cos^2{C}\right )= (x+z)(y+z)$$
Kết hợp với $\left [\dfrac{(x+z)a}{b}+\dfrac{(y+z)b}{a}\right ]^2\ge 4(x+z)(y+z)$ suy rs ĐPCM
Áp dụng bổ đề này, mình sẽ chứng minh 2 bài có vẻ "tương đồng" với nó.(mọi người xem như thế nào nhé :D)
Bài 1.
$$VT = 2(ab+bc+ca)-\left (a^2+b^2+c^2\right ) = a(b+c-a)+b(a+c-b)+c(a+b-c)=\dfrac{(b+c-a).a^2}{a}+\dfrac{(a+c-b).b^2}{b}+\dfrac{(a+b-c).c^2}{c}\ge 4\sqrt{\dfrac{b+c-a}{a}.\dfrac{c+a-b}{b}+\dfrac{c+a-b}{b}.\dfrac{a+b-c}{c}+\dfrac{a+b-c}{c}\dfrac{b+c-a}{a}}.S$$
Ta sẽ chứng minh :
$$\dfrac{(b+c-a)(a+c-b)}{ab}+\dfrac{(a+c-b)(a+b-c)}{bc}+\dfrac{(a+b-c)(b+c-a}{ca}\ge 3$$
$$\Leftrightarrow \dfrac{c^2-a^2-b^2+2ab}{ab}+\dfrac{a^2-b^2-c^2+2bc}{bc}+\dfrac{b^2-a^2-c^2+2ac}{ac}\ge 3$$
$$\Leftrightarrow \dfrac{c^3-c.\left (a^2+b^2\right )+a^3-a\left (b^2+c^2\right )+c^3-c\left (a^2+b^2\right )}{abc}\ge -3\Leftrightarrow a^3+b^3+c^3+3abc\ge ab(a+b)+bc(b+c)+ca(c+a)$$
Đúng vì đây là bất đẳng thức $Schur$
Bài 3.
Áp dụng trực tiếp bổ đề trên, ta có :
$$a_1^2\left (b_2^2+c_2^2-a_2^2\right )+b_1^2\left (a_2^2+c_2^2-b_2^2\right )+c_1^2\left (a_2^2+b_2^2-c_2^2\right ) \ge 4\sqrt{\left (b_2^2+c_2^2-a_2^2\right )\left (a_2^2+c_2^2-b_2^2\right )+\left (a_2^2+c_2^2-b_2^2\right )\left (a_2^2+b_2^2-c_2^2\right )+\left (a_2^2+b_2^2-c_2^2\right )\left (b_2^2+c_2^2-a_2^2\right )}.S_1$$
Việc còn lại là chứng minh :
$$\left (b_2^2+c_2^2-a_2^2\right )\left (a_2^2+c_2^2-b_2^2\right )+\left (a_2^2+c_2^2-b_2^2\right )\left (a_2^2+b_2^2-c_2^2\right )+\left (a_2^2+b_2^2-c_2^2\right )\left (b_2^2+c_2^2-a_2^2\right )\ge 16S_2^2$$
$$VT = c_2^4- \left (a_2^2-b_2^2\right )^2 + b_2^4-\left (a_2^2-c_2^2\right )^2 +a_2^4-\left (b_2^2-c_2^2\right )^2 =2\left (a_2^2b_2^2+b_2^2c_2^2+c_2^2a_2^2\right ) - \left (a_2^4+b_2^4+c_2^4\right )$$ $$ =
2c_2^2\left (a_2^2+b_2^2\right )-c_2^4 - \left (a_2^2-b_2^2\right )^2 = \left (a_2^2+b_2^2\right )^2 - \left (a_2^2-b_2^2\right )^2 - \left (a_2^2+b_2^2-c_2^2\right )^2 = 4a_2^2b_2^2- \left (a_2^2+b_2^2-c_2^2\right )^2 $$ $$= \left (2a_2b_2+a_2^2+b_2^2-c_2^2\right )\left (2a_2b_2+c_2^2-a_2^2-b_2^2\right ) = \left ((a_2+b_2)^2-c_2^2\right )\left (c_2^2- (a_2-b_2)^2\right ) = \left (a_2+b_2+c_2\right )\left (a_2+b_2-c_2\right )\left (c_2+a_2-b_2\right )\left (c_2+b_2-a_2\right ) = 16S_2^2$$
Suy ra ĐPCM.
Mệt quá. Hôm sau nghĩ bài 2. :wacko:

Bài viết đã được chỉnh sửa nội dung bởi huymit_95: 18-04-2012 - 08:06

Off vĩnh viễn ! Không ngày trở lại.......


#3
Crystal

Crystal

    ANGRY BIRDS

  • Hiệp sỹ
  • 5534 Bài viết

Tình cờ đọc được một bổ đề khá hay, mình xin nói rõ bổ đề này trước, rồi sẽ vận dụng sau :D
Cho $a, b, c$ là 3 cạnh của một tam giác, $x, y, z > 0$ thì ta có :
$$xa^2+yb^2+zc^2\ge 4\sqrt{xy+yz+zx}S$$


Bổ đề này chính là Câu 4 trong đề Đấu trường VMF trận 5 của đội BETA dành cho đội DELTA.

Em có thể xem ở đây: http://diendantoanho...opic=64798&st=0

----

#4
Ispectorgadget

Ispectorgadget

    Nothing

  • Quản lý Toán Phổ thông
  • 2946 Bài viết

Bài 1:Chứng minh rằng với moị tam giác có độ dài 3 cạnh là a,b,c và diện tích S ta có:
$$2(ab+bc+ac)-(a^2+b^2+c^2)\geq 4\sqrt{3}S$$
Bất đẳng thức Hadwiger-Finsler
Bài 2:Cho a,b,c là độ dài 3 cạnh tam giác. Chứng minh các bất đẳng thức
$$a^3+b^3+c^3+3abc-2b^2a-2c^2b-2a^2c\geq 0$$
$$3a^2b+3b^2c+3c^2a-3abc-2b^2a-2c^2b-2a^2c\geq 0$$
Bất đẳng thức Darij Grinberg
Bài 3:Cho $a_1;b_1;c_1$ là độ dài 3 cạnh 1 tam giác $A_1B_1C_1$ có diện tích $S_1$; $a_2;b_2;c_2$ là độ dài 3 cạnh tam giác có diện tích $S_2$ . Chứng minh rằng:
$a_1^2(b_2^2+c_2^2-a_2^2)+b_1^2(c_2^2+a_2^2-b_2^2)+c_1^2(a_2^2+b_2^2-c_2^2)\geq 16S_1S_2$
Bất đẳng thức Neuberg-Pedoe


Tội nghiệp anh mít làm 3 bài này mất cả ngày :P
Bài 1:
Đặt $a=y+z;b=z+x;c=x+y( x,y,z>0)$ . Bất đẳng thức cần chứng minh tương đương
$$(xy+xz+yz)^2-3xyz(x+y+z)=\frac{(xy-yz)^2+(yz-zx)^2+(xz-xy)^2}{2}\ge 0$$ Bất đẳng thức này đúng.
Cách khác: Ta có công thức lượng giác quen thuộc $\frac{2ab+2bc+2ac-(a^2+b^2+c^2)}{4S}=tan\frac{A}{2}+tan\frac{B}{2}+tan\frac{C}{2}$
Vì hàm số $tan x$ lồi trên khoảng $(0; \frac {\pi}{2})$. Áp dụng BĐT JenSen:
$$\frac{2ab+2bc+2ac-(a^2+b^2+c^2)}{4S}=tan\frac{A}{2}+tan\frac{B}{2}+tan\frac{C}{2}\geq tan(\frac{\frac{A}{2}+\frac{B}{2}+\frac{C}{2}}{3})=\sqrt{3}$$
Suy ra điều phải chứng minh.
Bài 3: Là mở rộng của bất đẳng thức Weizenbock.
Cho $a,b,c$ là 3 cạnh tam giác có diện tích là S ta có:
$$a^2+b^2+c^2\geq 4\sqrt{3}S$$
Bài này có 3 cách nhưng em chỉ trích 1 cách thôi (vì rất dài)
Bổ đề: Bất đẳng thức Vezela
Bài toán: Cho $a_1^2 - a_2^2 - ... - a_n^2 > 0$. Chứng minh rằng:
$$\left( {a_1^2 - a_2^2 - ... - a_n^2} \right)\left( {b_1^2 - b_2^2 - ... - b_n^2} \right) \leqslant {\left( {{a_1}{b_1} - {a_2}{b_2} - ... - {a_n}{b_n}} \right)^2}$$

Rất bất ngờ là qui nạp lại không giải quyết được bài này, tuy nó rất thành công khi chứng minh Cauchy-Schwarz (phát biểu tương tự)

Mạn phép trình bày lời giải bằng tam thức bậc 2.

Hiển nhiên khi $b_1^2 - b_2^2 - ... - b_n^2 \le 0$ thì bất đẳng thức đúng. Ta chỉ xét $b_1^2 - b_2^2 - ... - b_n^2 > 0$

Ta có

\[\begin{array}{l}
\left( {a_1^2 - a_2^2 - ... - a_n^2} \right)\left( {b_1^2 - b_2^2 - ... - b_n^2} \right) - {\left( {{a_1}{b_1} - {a_2}{b_2} - ... - {a_n}{b_n}} \right)^2} \\
= - a_1^2\left( {b_2^2 + b_3^2 + ... + b_n^2} \right) + 2{a_1}{b_1}\left( {{a_2}{b_2} + {a_3}{b_3} + ... + {a_n}{b_n}} \right) \\
- \left( {a_2^2 + a_3^2 + ... + a_n^2} \right)\left( {b_1^2 - b_2^2 - b_3^2 - ... - b_n^2} \right) - {\left( {{a_2}{b_2} + {a_3}{b_3} + ... + {a_n}{b_n}} \right)^2} \\
\end{array}\]
Xem biểu thức trên như một tam thức bậc 2 ẩn $a_1$ với hệ số $a$ không dương. Ta chỉ cần chứng minh $\Delta '$ cũng không dương là hoàn tất. Thật vậy:

\[\begin{array}{l}
\Delta ' \\
= b_1^2{\left( {{a_2}{b_2} + {a_3}{b_3} + ... + {a_n}{b_n}} \right)^2} - \left( {b_2^2 + b_3^2 + ... + b_n^2} \right)\left( {a_2^2 + a_3^2 + ... + a_n^2} \right)\left( {b_1^2 - b_2^2 - ... - b_n^2} \right) \\
- \left( {b_2^2 + b_3^2 + ... + b_n^2} \right){\left( {{a_2}{b_2} + {a_3}{b_3} + ... + {a_n}{b_n}} \right)^2} \\
= {\left( {{a_2}{b_2} + {a_3}{b_3} + ... + {a_n}{b_n}} \right)^2}\left( {b_1^2 - b_2^2 - ... - b_n^2} \right) - \left( {b_2^2 + b_3^2 + ... + b_n^2} \right)\left( {a_2^2 + a_3^2 + ... + a_n^2} \right)\left( {b_1^2 - b_2^2 - ... - b_n^2} \right) \\
= \left( {b_1^2 - b_2^2 - ... - b_n^2} \right)\left[ {{{\left( {{a_2}{b_2} + {a_3}{b_3} + ... + {a_n}{b_n}} \right)}^2} - \left( {b_2^2 + b_3^2 + ... + b_n^2} \right)\left( {a_2^2 + a_3^2 + ... + a_n^2} \right)} \right] \\
\end{array}\]
Ta đã có
\[{b_1^2 - b_2^2 - ... - b_n^2}>0\]
Và theo Cauchy-Schwarz ta cũng có
\[{\left( {{a_2}{b_2} + {a_3}{b_3} + ... + {a_n}{b_n}} \right)^2} - \left( {b_2^2 + b_3^2 + ... + b_n^2} \right)\left( {a_2^2 + a_3^2 + ... + a_n^2} \right) \le 0\]
Nên $\Delta ' \le 0$. Chứng minh kết thúc.

Trở lại việc chứng mnh BĐT ban đầu. Trước hết viết lại BĐT này theo $a_1;b_1;c_1;a_2;b_2;c_2$
$$(a_1^2+a_2^2+a_3^3)(b_1^2+b_2^2+b_3^2)-2(a_1^2a_2^2+b_1^2b_2^2+c_1^2+c_2^2)$$
$$\geq \sqrt{[(a_1^2+b_1^2+c_1^2)^2-2(a_1^4+b_1^4+c_1^4)][(a_2^2+b_2^2+c_2^2)^2-2(a_2^4+b_2^4+c_2^4)]}$$
Ta dùng phép thế $x_1=a_1^2+b_1^2+c_1^2;x_2=\sqrt{2}a_1^2;x_3=\sqrt{2}b_1^2;x_4=\sqrt{2}c_1^2;y_1=a_2^2+b_2^2+c_2^2;y_2=\sqrt{2}a_2^2;y_3=\sqrt{2}b_2^2;y_4=\sqrt{2}c_2^2$
Tương tự bổ đề 2 : Áp dụng bất đẳng thức Vezela ta có
$$x_1y_1-x_2y_2-x_3y_3-x_4y_4\geq \sqrt{[x_1^2-(x_2^2+x_3^2+x_4^2)][(y_1^2-(y_2^2+y_3^2+y_4^2))]}$$
Đây là bất đẳng thức cần chứng minh.

►|| The aim of life is self-development. To realize one's nature perfectly - that is what each of us is here for. ™ ♫


#5
Ispectorgadget

Ispectorgadget

    Nothing

  • Quản lý Toán Phổ thông
  • 2946 Bài viết

Bài 3:Cho $a_1;b_1;c_1$ là độ dài 3 cạnh 1 tam giác $A_1B_1C_1$ có diện tích $S_1$; $a_2;b_2;c_2$ là độ dài 3 cạnh tam giác có diện tích $S_2$ . Chứng minh rằng:
$a_1^2(b_2^2+c_2^2-a_2^2)+b_1^2(c_2^2+a_2^2-b_2^2)+c_1^2(a_2^2+b_2^2-c_2^2)\geq 16S_1S_2$
Bất đẳng thức Neuberg-Pedoe

Hai cách khác cho bài này
Bổ đề:
Hình đã gửi
____
Hình đã gửi

►|| The aim of life is self-development. To realize one's nature perfectly - that is what each of us is here for. ™ ♫


#6
Ispectorgadget

Ispectorgadget

    Nothing

  • Quản lý Toán Phổ thông
  • 2946 Bài viết
Bài 4: Cho a,b,c là 3 cạnh tam giác ABC số diện tích S; p,q,r là các số thực dương. Chứng minh:
$$\frac{p}{q+r}a^2+\frac{q}{r+p}b^2+\frac{r}{q+p}c^2\geq 2\sqrt{3}S$$
Bất đẳng thứcTsinsifas

Gợi ý: Sử dụng BĐT Hadwiger-Finsler

►|| The aim of life is self-development. To realize one's nature perfectly - that is what each of us is here for. ™ ♫


#7
le_hoang1995

le_hoang1995

    Sĩ quan

  • Thành viên
  • 314 Bài viết
Bài 4, sử dụng BĐT Hadwiger- Finsler ta cần chứng minh
$\sum \frac{p}{q+r}.a^2\geq (ab+bc+ca)-\frac{a^2+b^2+c^2}{2}$

$\Leftrightarrow \sum \frac{p}{q+r}.a^2+\sum a^2\geq (ab+bc+ca)+\frac{a^2+b^2+c^2}{2}$

$\Leftrightarrow (p+q+r)\sum \frac{a^2}{q+r}\geq \frac{(a+b+c)^2}{2}$

Thật vậy, theo BĐT cauchy-schwarz ta có

$(p+q+r)\sum \frac{a^2}{q+r}=(p+q+r)\left [ \frac{a^2}{q+r}+\frac{b^2}{r+p}+\frac{c^2}{p+q} \right ]$

$\geq (p+q+r).\frac{(a+b+c)^2}{2(p+q+r)}= \frac{(a+b+c)^2}{2}$

Suy ra ĐPCM.

Bài viết đã được chỉnh sửa nội dung bởi le_hoang1995: 23-04-2012 - 00:16





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

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