Giúp mình với!

Lời giải câu a:

Xét các tam giác đồng dạng được tạo bởi các đường cao trong tam giác nhọn $ABC$:

$\triangle AB'C' \sim \triangle ABC$ với tỉ số đồng dạng $k_1 = \cos A$, suy ra:

$S_{AB'C'} = S_{ABC} \cdot \cos^2 A$

Tương tự:

$S_{A'BC'} = S_{ABC} \cdot \cos^2 B$

$S_{A'B'C} = S_{ABC} \cdot \cos^2 C$

Diện tích tam giác trực xướng $A'B'C'$ bằng diện tích tam giác $ABC$ trừ đi diện tích 3 tam giác ở 3 đỉnh:

$S_{A'B'C'} = S_{ABC} - S_{AB'C'} - S_{A'BC'} - S_{A'B'C}$

$S_{A'B'C'} = S_{ABC} \left( 1 - \cos^2 A - \cos^2 B - \cos^2 C \right)$

Chia hai vế cho $S_{ABC}$:

$\frac{S_{A'B'C'}}{S_{ABC}} = 1 - \left( \cos^2 A + \cos^2 B + \cos^2 C \right)$

Chuyển vế ta được điều phải chứng minh:

$\cos^2 A + \cos^2 B + \cos^2 C = 1 - \frac{S_{A'B'C'}}{S_{ABC}}$

Lời giải câu b:

Đặt độ dài ba cạnh $BC = a, CA = b, AB = c$ và các đường cao $AA' = h_a, BB' = h_b, CC' = h_c$.

Ta có mối liên hệ giữa diện tích $S$ và độ dài các đường cao:

$h_a = \frac{2S}{a}, \quad h_b = \frac{2S}{b}, \quad h_c = \frac{2S}{c}$

Bất đẳng thức cần chứng minh trở thành:

$\frac{(a + b + c)^2}{h_a^2 + h_b^2 + h_c^2} \ge 4 \iff (a + b + c)^2 \ge 4 \left( \frac{4S^2}{a^2} + \frac{4S^2}{b^2} + \frac{4S^2}{c^2} \right) = 16S^2 \left( \frac{1}{a^2} + \frac{1}{b^2} + \frac{1}{c^2} \right)$

Sử dụng công thức Heron $S = \sqrt{p(p-a)(p-b)(p-c)}$ với $p = \frac{a+b+c}{2}$, suy ra $a+b+c = 2p$.

Bất đẳng thức tương đương:

$4p^2 \ge 16 \cdot p(p-a)(p-b)(p-c) \left( \frac{1}{a^2} + \frac{1}{b^2} + \frac{1}{c^2} \right)$

$p \ge 4(p-a)(p-b)(p-c) \left( \frac{1}{a^2} + \frac{1}{b^2} + \frac{1}{c^2} \right)$

Đặt $p - a = x, p - b = y, p - c = z$ ($x, y, z > 0$), khi đó $a = y + z, b = z + x, c = x + y$ và $p = x + y + z$.

Bất đẳng thức trở thành:

$x + y + z \ge 4xyz \left( \frac{1}{(y+z)^2} + \frac{1}{(z+x)^2} + \frac{1}{(x+y)^2} \right)$

Áp dụng bất đẳng thức Cauchy-Schwarz:

$(y+z)^2 \ge 4yz \implies \frac{1}{(y+z)^2} \le \frac{1}{4yz}$

$\implies 4xyz \left( \frac{1}{(y+z)^2} + \frac{1}{(z+x)^2} + \frac{1}{(x+y)^2} \right) \le 4xyz \left( \frac{1}{4yz} + \frac{1}{4zx} + \frac{1}{4xy} \right) = x + y + z$

Bất đẳng thức luôn đúng.

Dấu bằng xảy ra khi $x = y = z$, tức là $a = b = c$ (tam giác $ABC$ đều).