Kvant

Bản dịch tự động sơ bộ, chất lượng thấp: có thể còn lỗi và câu chữ chưa tự nhiên. Bản này sẽ được thay bằng bản dịch tốt hơn. Bản gốc →

15

Bài toán
về hình tam giác
với điểm chung

Trong số thứ năm của «Kvant» năm 1978, người ta đã đề xuất tìm ra hình học lời giải của bài toán sau: hai hình tam giác trên mặt phẳng có một đáy chung và các đỉnh C1,C2C_1, C_2 khác nhau và nằm cùng một phía của đáy; chứng minh rằng khoảng cách giữa các đỉnh C1C_1 và C2C_2 lớn hơn khoảng cách giữa tâm O1O_1 và O2O_2 của các đường tròn nội tiếp các tam giác này.

Trong hai năm qua, các biên tập viên đã nhận được rất nhiều tin nhắn về bài toán thú vị và khó khăn này. Tuy nhiên, không ai trong số độc giả của chúng tôi có thể tìm thấy một chứng minh có tính đến tất cả các khả năng về vị trí tương đối của các đỉnh.

Chúng tôi đặt hai bằng chứng; cái đầu tiên được phát minh bởi nhà toán học Kharkov A. I. Medyannik, cái thứ hai là bằng chứng do các tác giả bài toán V. A. Zalgaller và A. A. Ivanov đề xuất, được đơn giản hóa theo lời khuyên của viện sĩ A. V. Pogorelov.

Bằng chứng đầu tiên

Chúng ta sẽ cần tính chất sau của đường phân giác của một góc trong một tam giác (Hình 6-8, bài toán 914): nếu AD là đường phân giác của góc A của một tam giác

tù nhân ABCABC (D∈[BC]D \in [BC]), sau đó ∣BD∣∣DC∣=∣AB∣∣AC∣\frac{|BD|}{|DC|} = \frac{|AB|}{|AC|}.

Đặt điểm O là tâm của đường tròn nội tiếp △ABC\triangle ABC (Hình 1). Chúng ta hãy biểu thị vectơ O⃗=AO\vec{O} = AO theo vectơ a⃗=BC⃗,b⃗=AC⃗,c⃗=AB⃗\vec{a} = \vec{BC}, \vec{b} = \vec{AC}, \vec{c} = \vec{AB} và theo độ dài của chúng a,b,ca, b, c.

Dễ dàng nhận thấy điều đó ϱ⃗=∣AO∣∣AD∣⋅AD⃗=∣AO∣∣AD∣(c⃗+∣BD∣∣DC∣a⃗)\vec{\varrho} = \frac{|AO|}{|AD|} \cdot \vec{AD} = \frac{|AO|}{|AD|} \left( \vec{c} + \frac{|BD|}{|DC|} \vec{a} \right).

Theo tính chất đường phân giác ∣DC∣∣BC∣=∣BD∣∣DC∣+∣BD∣∣DC∣=cb+c\frac{|DC|}{|BC|} = \frac{|BD|}{|DC|} + \frac{|BD|}{|DC|} = \frac{c}{b+c}.

Tương tự (BOBO là phân giác của góc B),

∣AO∣∣AD∣=11+∣OD∣∣AO∣=11+∣BD∣c\frac{|AO|}{|AD|} = \frac{1}{1 + \frac{|OD|}{|AO|}} = \frac{1}{1 + \frac{|BD|}{c}}.

Từ ∣BD∣∣DC∣=cb\frac{|BD|}{|DC|} = \frac{c}{b} và ∣BD∣+∣DC∣=a|BD| + |DC| = a chúng ta nhận được ∣BD∣=acb+c|BD| = \frac{ac}{b+c}.

Vì vậy ∣AO∣∣AD∣=b+ca+b+c\frac{|AO|}{|AD|} = \frac{b+c}{a+b+c}.

Lợi dụng thực tế là a⃗=−(b⃗+c⃗)\vec{a} = -(\vec{b} + \vec{c}), chúng ta thu được ϱ⃗=bc⃗−cb⃗p\vec{\varrho} = \frac{b\vec{c} - c\vec{b}}{p} cuối cùng,

(1)

ở đâu p=a+b+cp = a + b + c.

Bây giờ chúng ta hãy chuyển sang lời giải bài toán. Chúng ta hãy biểu thị độ dài của vectơ d⃗0=O1O2\vec{d}_0 = O_1O_2 theo d=∣C1C2∣d = |C_1C_2| và độ dài các cạnh của tam giác ABC1,ABC2ABC_1, ABC_2.

Theo những gì đã được chứng minh (xem Hình 2)

d⃗0=ϱ⃗2−ϱ⃗1=b2c⃗−cb⃗p2+cb⃗1−b1c⃗p1\vec{d}_0 = \vec{\varrho}_2 - \vec{\varrho}_1 = \frac{b_2\vec{c} - c\vec{b}}{p_2} + \frac{c\vec{b}_1 - b_1\vec{c}}{p_1},

Hình 1.

16

ở đâu p1=a1+b1+cp_1 = a_1 + b_1 + c, p2=a2+b2+cp_2 = a_2 + b_2 + c.

Tính d⃗0⋅d⃗0=d02\vec{d}_0 \cdot \vec{d}_0 = d_0^2, sau các phép biến đổi đơn giản, chúng ta thu được
p12p22d02=p12cb2[2cb2−2(b⃗2c⃗)]+p_1^2 p_2^2 d_0^2 = p_1^2 cb_2 [2cb_2 - 2(\vec{b}_2 \vec{c})] +
+p22cb1[2cb1−2(b⃗1c⃗)]++ p_2^2 cb_1 [2cb_1 - 2(\vec{b}_1 \vec{c})] +
+2p1p2[cb2(b⃗1c⃗)−c2(b⃗1b⃗2)]−+ 2p_1 p_2 [cb_2(\vec{b}_1 \vec{c}) - c^2(\vec{b}_1 \vec{b}_2)] -
−b1b2c2+cb1(b⃗2c⃗)].- b_1 b_2 c^2 + cb_1(\vec{b}_2 \vec{c})].

(2)

Lưu ý rằng 2(b⃗1c⃗)=a12−b12−c22(\vec{b}_1 \vec{c}) = a_1^2 - b_1^2 - c^2, 2(b⃗2c⃗)=a22−b22−c22(\vec{b}_2 \vec{c}) = a_2^2 - b_2^2 - c^2; Đó là lý do tại sao
2cb1−2(b⃗1c⃗)=2cb1−a12+b12+c2=2cb_1 - 2(\vec{b}_1 \vec{c}) = 2cb_1 - a_1^2 + b_1^2 + c^2 =
=(a1+b1+c)(b1−a1+c)== (a_1 + b_1 + c)(b_1 - a_1 + c) =
=p1(b1−a1+c),= p_1(b_1 - a_1 + c),

tương tự,
2cb2−2(b⃗2c⃗)=p2(b2−a2+c).2cb_2 - 2(\vec{b}_2 \vec{c}) = p_2(b_2 - a_2 + c).

Điều này làm giảm sự bình đẳng
(2) trên p1p2p_1 p_2. Ngoài ra, d⃗=b⃗2−b⃗1\vec{d} = \vec{b}_2 - \vec{b}_1, từ đâu 2(b⃗1b⃗2)=b12+b22−d22(\vec{b}_1 \vec{b}_2) = b_1^2 + b_2^2 - d^2. Đó là lý do tại sao
(2) có dạng
p1p2d02=p1cb2(b2−a2+c)+p_1 p_2 d_0^2 = p_1 cb_2(b_2 - a_2 + c) +
+p2cb1(b1−a1+c)++ p_2 cb_1(b_1 - a_1 + c) +
+[cb2(a12−b12−c2)−c2(b12+b22−d2)]−+ [cb_2(a_1^2 - b_1^2 - c^2) - c^2(b_1^2 + b_2^2 - d^2)] -
−2b1b2c2+cb1(a22−b22−c2)],- 2b_1 b_2 c^2 + cb_1(a_2^2 - b_2^2 - c^2)],
Ở đâu
p1p2(d2−d02)=p_1 p_2(d^2 - d_0^2) =
=[(a1+b1+c)(a2+b2+c)−c2]d2+= [(a_1 + b_1 + c)(a_2 + b_2 + c) - c^2]d^2 +
+[(a2−b2−c)(a1+b1+c)b2++ [(a_2 - b_2 - c)(a_1 + b_1 + c)b_2 +
+(a1−b1−c)(a2+b2+c)b1++ (a_1 - b_1 - c)(a_2 + b_2 + c)b_1 +
+(b12−a12+c2)b2+(b12+b22)c++ (b_1^2 - a_1^2 + c^2)b_2 + (b_1^2 + b_2^2)c +
+2b1b2c+(b22−a22+c2)b1]c,+ 2b_1 b_2 c + (b_2^2 - a_2^2 + c^2)b_1]c,

mà sau khi chuyển đổi bên trong dấu ngoặc vuông sẽ cho
p1p2(d2−d02)=[(a1+b1)(a2+b2)+p_1 p_2(d^2 - d_0^2) = [(a_1 + b_1)(a_2 + b_2) +
+c(a1+b1+a2+b2)]d2++ c(a_1 + b_1 + a_2 + b_2)]d^2 +
+[c(a2−a1)(b2−b1)++ [c(a_2 - a_1)(b_2 - b_1) +
+(a1b2−b1a2)(a2−a1+b1−b2)]c.+ (a_1 b_2 - b_1 a_2)(a_2 - a_1 + b_1 - b_2)]c.

(3)

Để chứng minh rằng d>d0d > d_0, chỉ cần chứng minh vế phải của đẳng thức (3) là dương là đủ. Sau này bao gồm hai điều khoản. Vì a1+b1>ca_1 + b_1 > c và a2+b2>ca_2 + b_2 > c, số hạng đầu tiên lớn hơn 3c2d23c^2 d^2. Vẫn còn phải kiểm tra xem số hạng thứ hai có nhỏ hơn 3c2d23c^2 d^2 về giá trị tuyệt đối hay không. Sự tương ứng ∣a2−a1∣<d|a_2 - a_1| < d, ∣b2−b1∣<d|b_2 - b_1| < d là hiển nhiên.

Hình 3

Bởi vì
p1p2(d2−d02)>(c2+2c2)d2−p_1 p_2(d^2 - d_0^2) > (c^2 + 2c^2)d^2 -
−∣c2(a2−a1)(b2−b1)∣−- |c^2(a_2 - a_1)(b_2 - b_1)| -
−∣a1b2−b1a2∣(∣a2−a1∣+- |a_1 b_2 - b_1 a_2|(|a_2 - a_1| +
+∣b2−b1∣)c>3c2d2−c2d2−+ |b_2 - b_1|)c > 3c^2 d^2 - c^2 d^2 -
−2dc∣a1b2−b1a2∣=2c2d2−- 2dc|a_1 b_2 - b_1 a_2| = 2c^2 d^2 -
−2dc∣a1b2−b1a2∣.- 2dc|a_1 b_2 - b_1 a_2|.

Dưới đây chúng ta sẽ chứng minh rằng ∣a1b2−b1a2∣≤cd|a_1 b_2 - b_1 a_2| \leq cd.

Do đó, vế phải của bất đẳng thức (4) là không âm.

Vì vậy, d>d0d > d_0.

Vì vậy, việc còn lại là chứng minh bổ đề sau.

Bổ đề. Cho điểm C2C_2 nằm tùy ý trong mặt phẳng của tam giác ABC1ABC_1. Sau đó (Hình 3)
∣a1b2−b1a2∣≤cd.|a_1 b_2 - b_1 a_2| \leq cd.

Bằng chứng. Chúng ta thả từ điểm C2C_2 đường vuông góc C2PC_2 P, C2QC_2 Q, C2TC_2 T đến các đường thẳng BC1BC_1, AC1AC_1, ABAB.

Một hình tròn có đường kính AC2AC_2 có thể được mô tả xung quanh tứ giác AQC2TAQC_2 T.

Vì QA^T=αQ\hat{A}T = \alpha, theo định lý sin, ∣QT∣=b2sin⁡α|QT| = b_2 \sin \alpha.

Tương tự xét các tứ giác C1PC2QC_1 PC_2 Q và PC2TBPC_2 TB, ta thu được ∣PQ∣=dsin⁡γ|PQ| = d \sin \gamma và ∣PT∣=a2sin⁡β|PT| = a_2 \sin \beta.

Gọi RR là bán kính của đường tròn ngoại tiếp tam giác AC1B′AC_1 B'. Theo định luật sin, sin⁡γ=c2R\sin \gamma = \frac{c}{2R}, sin⁡β=b12R\sin \beta = \frac{b_1}{2R}, sin⁡α=a12R\sin \alpha = \frac{a_1}{2R}. Hậu kỳ ∣QT∣=a1b22R|QT| = \frac{a_1 b_2}{2R}, ∣PT∣=a2b12R|PT| = \frac{a_2 b_1}{2R}, ∣PQ∣=cd2R|PQ| = \frac{cd}{2R}.

Bất đẳng thức tam giác ngụ ý ∣PT∣−∣QT∣≤∣PQ∣|PT| - |QT| \leq |PQ|; Đó là lý do tại sao

17

Hình 4

mu sau khi thay thế các biểu thức cho ∣QT∣|QT|, ∣PT∣|PT|, ∣PQ∣|PQ| và đơn giản hóa chúng ta nhận được

∣a1b2−a2b1∣≤cd.|a_1b_2-a_2b_1| \leq cd.

Bằng chứng thứ hai

Với chân đế ABAB cố định, chúng ta sẽ di chuyển đồng đều đỉnh CC dọc theo đoạn C1C2C_1C_2 từ C1C_1 đến C2C_2. Trong trường hợp này, tâm OO của vòng tròn nội tiếp sẽ di chuyển dọc theo một đường nào đó từ O1O_1 đến O2O_2.

Bổ đề. Khi đỉnh CC di chuyển với tốc độ khác 0 thì tâm OO di chuyển với tốc độ thấp hơn.

Từ bổ đề này, suy ra rằng khi CC đi qua đoạn C1C2C_1C_2 với tốc độ không đổi, điểm OO, chuyển động với tốc độ thấp hơn tại mỗi thời điểm, sẽ đi từ O1O_1 đến O2O_2 một đường đi ngắn hơn. Hơn nữa, đường dẫn trực tiếp ∣O1O2∣|O_1O_2| ngắn hơn ∣C1C2∣|C_1C_2|.

Trước khi chứng minh bổ đề, chúng ta hãy xem xét bổ đề sau. Nếu đỉnh CC di chuyển với tốc độ v⃗≠0\vec{v} \neq 0 thì các tia BCBC và ACAC, chạy dọc theo các cạnh của tam giác, quay với một số vận tốc góc ω1\omega_1 và ω2\omega_2, và ít nhất một trong các vận tốc này không bằng 0. Hãy thống nhất các dấu: chúng ta coi vận tốc góc là dương nếu chùm tia quay theo chiều kim đồng hồ và âm nếu chùm tia quay ngược chiều kim đồng hồ.

Tốc độ v⃗\vec{v} và ω1\omega_1, ω2\omega_2 có ​​liên quan với nhau. Nếu chúng ta loại bỏ vectơ v⃗=CT⃗\vec{v} = \vec{CT} khỏi điểm CC (Hình 4), thì độ dài ∣CP∣|CP| hình chiếu của nó lên hướng vuông góc với tia BCBC sẽ bằng ∣ω1∣⋅∣BC∣|\omega_1| \cdot |BC|. (Đó là vì

Hình 5

tổng tốc độ chuyển động của điểm CC bao gồm tốc độ chuyển động của nó cùng với tia quay BCBC và tốc độ chuyển động của nó dọc theo tia này.) Tương tự, độ dài ∣CQ∣|CQ| của hình chiếu v⃗\vec{v} theo hướng vuông góc với tia ACAC bằng ∣ω2∣⋅∣AC∣|\omega_2| \cdot |AC|. Có thể vẽ một đường tròn xung quanh tứ giác CPTQCPTQ. Hơn nữa, v⃗\vec{v} bằng đường kính của hình tròn này.

Cách xây dựng tương tự có thể được thực hiện đối với tốc độ v⃗0\vec{v}_0 chuyển động của tâm OO, chỉ trong trường hợp này [BC)[BC), [AC)[AC) được thay thế bằng [BO)[BO), [AO)[AO) và ω1\omega_1, ω2\omega_2 được thay thế bằng ω12\frac{\omega_1}{2}, ω22\frac{\omega_2}{2}.

Ít nhất một trong các tốc độ ω1\omega_1, ω2\omega_2 không bằng 0. Ngoài ra, sự thay đổi đồng thời về dấu của ω1\omega_1, ω2\omega_2 sẽ đảo ngược hướng của v⃗\vec{v} và v⃗0\vec{v}_0 mà không làm thay đổi độ lớn của v⃗\vec{v} và v⃗0\vec{v}_0. Do đó, khi chứng minh bất đẳng thức ∥v⃗∥>∥v⃗0∥\|\vec{v}\| > \|\vec{v}_0\|, không mất tính tổng quát, ta có thể giả sử ω1>0\omega_1 > 0 và xét riêng ba trường hợp: ω2>0\omega_2 > 0, ω2=0\omega_2 = 0, ω2<0\omega_2 < 0.

Trường hợp 1. Cho ω2>0\omega_2 > 0. Chúng ta hãy xoay hình tứ giác CPTQCPTQ bằng 90∘90^\circ quanh điểm CC đến vị trí CP′TQ′CP'TQ' (Hình 5) và hình tứ giác OP0T0Q0OP_0T_0Q_0 quanh OO đến vị trí OP0′T0′Q0′OP'_0T'_0Q'_0 và vẽ (P0′P′′)∥(Q0′Q′′)∥(OC)(P'_0P'') \parallel (Q'_0Q'') \parallel (OC). Các điểm P′′P'' và Q′′Q'' sẽ chia đôi các đoạn CP′CP', CQ′CQ', vì ∣CP′∣/∣CB∣=ω1|CP'| / |CB| = \omega_1 và ∣OP′∣/∣OB∣=ω12|OP'| / |OB| = \frac{\omega_1}{2}.

Từ v⃗\vec{v} - đường kính của hình tròn vẽ quanh một hình tam giác CP′Q′CP'Q', MỘT v⃗0\vec{v}_0 - Đường kính của hình tròn ngoại tiếp một hình tam giác CP′Q′CP'Q', MỘT v⃗0\vec{v}_0 - Đường kính của hình tròn ngoại tiếp một hình tam giác CP′Q′CP'Q', MỘT v⃗0\vec{v}_0 - đường kính của vòng tròn được mô tả

18

Hình 6

Hình 7.

trượt quanh OP0′Q0′OP'_0Q'_0, chúng tôi có
∣v⃗∣=∣P0′Q′∣sin⁡γ=∣P′′Q′′∣sin⁡γ2cos⁡γ2,|\vec{v}| = \frac{|P'_0Q'|}{\sin \gamma} = \frac{|P''Q''|}{\sin \frac{\gamma}{2} \cos \frac{\gamma}{2}},
∣v⃗0∣=∣P0′Q′∣sin⁡(π2+γ2)=∣P0′Q′∣cos⁡γ2.|\vec{v}_0| = \frac{|P'_0Q'|}{\sin \left(\frac{\pi}{2} + \frac{\gamma}{2}\right)} = \frac{|P'_0Q'|}{\cos \frac{\gamma}{2}}.

Đoạn P0′Q0′P'_0Q'_0 nghiêng về đường phân giác COCO dốc hơn một trong các tia AOAO, BOBO, và thậm chí dốc hơn một trong các tia ACAC và BCBC, nghiêng COCO một góc γ2\frac{\gamma}{2}. Do đó, khoảng cách giữa các đường thẳng song song P0′P′′P'_0P'' và Q0′Q′′Q'_0Q'' vượt quá ∣P0′Q0′∣sin⁡γ2|P'_0Q'_0| \sin \frac{\gamma}{2}.

Hơn nữa, ∣P′′Q′′∣>∣P0′Q0′∣sin⁡γ2|P''Q''| > |P'_0Q'_0| \sin \frac{\gamma}{2}, cùng với (5) cho ra ∣v⃗∣>∣v⃗0∣|\vec{v}| > |\vec{v}_0|.

Trường hợp 2. Đặt ω2=0\omega_2 = 0 (Hình 6); sau đó ∣CP∣=ω1∣BC∣|CP| = \omega_1 |BC|, ∣OP0∣=ω1/2|OP_0| = \omega_1/2, từ đâu ∣v⃗∣=ω1sin⁡γ∣BC∣|\vec{v}| = \frac{\omega_1}{\sin \gamma} |BC|, ∣v⃗0∣=|\vec{v}_0| =

ω12sin⁡γ2∣BO∣.\frac{\omega_1}{2 \sin \frac{\gamma}{2}} |BO|.

Nhưng ∣BC∣>∣BO∣|BC| > |BO| (vì ∠BOC\angle BOC là ngu ngốc) và sin⁡γ<2sin⁡γ2\sin \gamma < 2 \sin \frac{\gamma}{2}, do đó ∣v⃗∣>∣v⃗0∣|\vec{v}| > |\vec{v}_0|.

Trường hợp 3. Cho ω2<0\omega_2 < 0. Như trong trường hợp 1, chúng ta xoay các hình tứ giác CPTQCPTQ, OP0T0Q0OP_0T_0Q_0 theo 90∘90^\circ đến các vị trí CP′T′Q′CP'T'Q', OP0′T′Q0′OP'_0T'Q'_0 (Hình 7) và vẽ (P0′P′′)∥(Q0′Q′′)∥(BD)∥(OC)(P'_0P'') \parallel (Q'_0Q'') \parallel (BD) \parallel (OC). Các điểm P′′P'', Q′′Q'' lại nằm ở trung điểm của các đoạn CP′CP', CQ′CQ'.

Lần này một lần nữa
∣v⃗∣=∣P0′Q′∣sin⁡(π−γ)=∣P′′Q′′∣sin⁡γ2cos⁡γ2,|\vec{v}| = \frac{|P'_0Q'|}{\sin (\pi - \gamma)} = \frac{|P''Q''|}{\sin \frac{\gamma}{2} \cos \frac{\gamma}{2}},
∣v⃗0∣=∣P0′Q′∣sin⁡(π2−γ2)=∣P0′Q′∣cos⁡γ2,|\vec{v}_0| = \frac{|P'_0Q'|}{\sin \left(\frac{\pi}{2} - \frac{\gamma}{2}\right)} = \frac{|P'_0Q'|}{\cos \frac{\gamma}{2}},
và để đảm bảo rằng ∣v⃗∣>∣v⃗0∣|\vec{v}| > |\vec{v}_0|, chúng ta chỉ cần kiểm tra xem trong trường hợp này
∣P′′Q′′∣>∣P0′Q0′∣.|P''Q''| > |P'_0Q'_0|.

Chúng ta hãy chuẩn bị đoạn P′′Q′′P''Q'' với tâm CC để nó đi vào một đoạn nào đó BMBM. Tương tự, chúng ta hãy chuẩn bị đoạn P0′Q0′P'_0Q'_0 với tâm OO để nó đi vào một đoạn nào đó BNBN. Điều quan trọng là các hệ số nấu phải giống nhau. Do đó, để chứng minh (6) chỉ cần chứng minh ∣BM∣>∣BN∣|BM| > |BN| là đủ. Nhưng điều sau rõ ràng là tam giác BNMBNM có một góc tù ở đỉnh NN. Thật vậy, nếu NN nằm bên trái của đường thẳng BDBD thì MNB^>COB^>π2M\widehat{NB} > \widehat{COB} > \frac{\pi}{2}, và nếu NN nằm bên phải của BDBD thì MNB^>MNO^=COA^>π2M\widehat{NB} > M\widehat{NO} = \widehat{COA} > \frac{\pi}{2}. Bổ đề đã được chứng minh.

Bình luận. Từ bổ đề, dễ dàng suy ra rằng bất đẳng thức ∣O1O2∣<∣C1C2∣|O_1O_2| < |C_1C_2| được bảo toàn, thứ nhất, nếu C1C_1, C2C_2 nằm trên các cạnh khác nhau của đường thẳng ABAB, và thứ hai, nếu các tam giác ABC1ABC_1, ABC2ABC_2 có đáy chung ABAB nằm trong không gian trong các mặt phẳng khác nhau.

Câu hỏi. Hãy cố định đáy của hình tam giác và di chuyển phần trên của nó. Liệu tâm của quả cầu nội tiếp có chuyển động với tốc độ chậm hơn đỉnh không?