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,C2 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 C1 và C2 lớn hơn khoảng cách giữa tâm O1 và O2 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 ABC (D∈[BC]), sau đó ∣DC∣∣BD∣=∣AC∣∣AB∣.
Đặt điểm O là tâm của đường tròn nội tiếp △ABC (Hình 1). Chúng ta hãy biểu thị vectơ O=AO theo vectơ a=BC,b=AC,c=AB và theo độ dài của chúng a,b,c.
Dễ dàng nhận thấy điều đó ϱ=∣AD∣∣AO∣⋅AD=∣AD∣∣AO∣(c+∣DC∣∣BD∣a).
Theo tính chất đường phân giác ∣BC∣∣DC∣=∣DC∣∣BD∣+∣DC∣∣BD∣=b+cc.
Tương tự (BO là phân giác của góc B),
∣AD∣∣AO∣=1+∣AO∣∣OD∣1=1+c∣BD∣1.
Từ ∣DC∣∣BD∣=bc và ∣BD∣+∣DC∣=a chúng ta nhận được ∣BD∣=b+cac.
Vì vậy ∣AD∣∣AO∣=a+b+cb+c.
Lợi dụng thực tế là a=−(b+c), chúng ta thu được ϱ=pbc−cb cuối cùng,
(1)
ở đâu p=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ơ d0=O1O2 theo d=∣C1C2∣ và độ dài các cạnh của tam giác ABC1,ABC2.
Theo những gì đã được chứng minh (xem Hình 2)
d0=ϱ2−ϱ1=p2b2c−cb+p1cb1−b1c,
Hình 1.
16
ở đâu p1=a1+b1+c, p2=a2+b2+c.
Tính d0⋅d0=d02, sau các phép biến đổi đơn giản, chúng ta thu được p12p22d02=p12cb2[2cb2−2(b2c)]+ +p22cb1[2cb1−2(b1c)]+ +2p1p2[cb2(b1c)−c2(b1b2)]− −b1b2c2+cb1(b2c)].
(2)
Lưu ý rằng 2(b1c)=a12−b12−c2, 2(b2c)=a22−b22−c2; Đó là lý do tại sao 2cb1−2(b1c)=2cb1−a12+b12+c2= =(a1+b1+c)(b1−a1+c)= =p1(b1−a1+c),
tương tự, 2cb2−2(b2c)=p2(b2−a2+c).
Điều này làm giảm sự bình đẳng
(2) trên p1p2. Ngoài ra, d=b2−b1, từ đâu 2(b1b2)=b12+b22−d2. Đó là lý do tại sao
(2) có dạng p1p2d02=p1cb2(b2−a2+c)+ +p2cb1(b1−a1+c)+ +[cb2(a12−b12−c2)−c2(b12+b22−d2)]− −2b1b2c2+cb1(a22−b22−c2)],
Ở đâu p1p2(d2−d02)= =[(a1+b1+c)(a2+b2+c)−c2]d2+ +[(a2−b2−c)(a1+b1+c)b2+ +(a1−b1−c)(a2+b2+c)b1+ +(b12−a12+c2)b2+(b12+b22)c+ +2b1b2c+(b22−a22+c2)b1]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)+ +c(a1+b1+a2+b2)]d2+ +[c(a2−a1)(b2−b1)+ +(a1b2−b1a2)(a2−a1+b1−b2)]c.
(3)
Để chứng minh rằng d>d0, 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>c và a2+b2>c, số hạng đầu tiên lớn hơn 3c2d2. Vẫn còn phải kiểm tra xem số hạng thứ hai có nhỏ hơn 3c2d2 về giá trị tuyệt đối hay không. Sự tương ứng ∣a2−a1∣<d, ∣b2−b1∣<d là hiển nhiên.
Hình 3
Bởi vì p1p2(d2−d02)>(c2+2c2)d2− −∣c2(a2−a1)(b2−b1)∣− −∣a1b2−b1a2∣(∣a2−a1∣+ +∣b2−b1∣)c>3c2d2−c2d2− −2dc∣a1b2−b1a2∣=2c2d2− −2dc∣a1b2−b1a2∣.
Dưới đây chúng ta sẽ chứng minh rằng ∣a1b2−b1a2∣≤cd.
Do đó, vế phải của bất đẳng thức (4) là không âm.
Vì vậy, d>d0.
Vì vậy, việc còn lại là chứng minh bổ đề sau.
Bổ đề. Cho điểm C2 nằm tùy ý trong mặt phẳng của tam giác ABC1. Sau đó (Hình 3) ∣a1b2−b1a2∣≤cd.
Bằng chứng. Chúng ta thả từ điểm C2 đường vuông góc C2P, C2Q, C2T đến các đường thẳng BC1, AC1, AB.
Một hình tròn có đường kính AC2 có thể được mô tả xung quanh tứ giác AQC2T.
Vì QA^T=α, theo định lý sin, ∣QT∣=b2sinα.
Tương tự xét các tứ giác C1PC2Q và PC2TB, ta thu được ∣PQ∣=dsinγ và ∣PT∣=a2sinβ.
Gọi R là bán kính của đường tròn ngoại tiếp tam giác AC1B′. Theo định luật sin, sinγ=2Rc, sinβ=2Rb1, sinα=2Ra1. Hậu kỳ ∣QT∣=2Ra1b2, ∣PT∣=2Ra2b1, ∣PQ∣=2Rcd.
Bất đẳng thức tam giác ngụ ý ∣PT∣−∣QT∣≤∣PQ∣; Đó là lý do tại sao
17
Hình 4
mu sau khi thay thế các biểu thức cho ∣QT∣, ∣PT∣, ∣PQ∣ và đơn giản hóa chúng ta nhận được
∣a1b2−a2b1∣≤cd.
Bằng chứng thứ hai
Với chân đế AB cố định, chúng ta sẽ di chuyển đồng đều đỉnh C dọc theo đoạn C1C2 từ C1 đến C2. Trong trường hợp này, tâm O của vòng tròn nội tiếp sẽ di chuyển dọc theo một đường nào đó từ O1 đến O2.
Bổ đề. Khi đỉnh C di chuyển với tốc độ khác 0 thì tâm O di chuyển với tốc độ thấp hơn.
Từ bổ đề này, suy ra rằng khi C đi qua đoạn C1C2 với tốc độ không đổi, điểm O, chuyển động với tốc độ thấp hơn tại mỗi thời điểm, sẽ đi từ O1 đến O2 một đường đi ngắn hơn. Hơn nữa, đường dẫn trực tiếp ∣O1O2∣ ngắn hơn ∣C1C2∣.
Trước khi chứng minh bổ đề, chúng ta hãy xem xét bổ đề sau. Nếu đỉnh C di chuyển với tốc độ v=0 thì các tia BC và AC, 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 và ω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 và ω1, ω2 có liên quan với nhau. Nếu chúng ta loại bỏ vectơ v=CT khỏi điểm C (Hình 4), thì độ dài ∣CP∣ hình chiếu của nó lên hướng vuông góc với tia BC sẽ bằng ∣ω1∣⋅∣BC∣. (Đó là vì
Hình 5
tổng tốc độ chuyển động của điểm C bao gồm tốc độ chuyển động của nó cùng với tia quay BC và tốc độ chuyển động của nó dọc theo tia này.) Tương tự, độ dài ∣CQ∣ của hình chiếu v theo hướng vuông góc với tia AC bằng ∣ω2∣⋅∣AC∣. Có thể vẽ một đường tròn xung quanh tứ giác CPTQ. Hơn nữa, 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 độ v0 chuyển động của tâm O, chỉ trong trường hợp này [BC), [AC) được thay thế bằng [BO), [AO) và ω1, ω2 được thay thế bằng 2ω1, 2ω2.
Ít nhất một trong các tốc độ ω1, ω2 không bằng 0. Ngoài ra, sự thay đổi đồng thời về dấu của ω1, ω2 sẽ đảo ngược hướng của v và v0 mà không làm thay đổi độ lớn của v và v0. Do đó, khi chứng minh bất đẳng thức ∥v∥>∥v0∥, không mất tính tổng quát, ta có thể giả sử ω1>0 và xét riêng ba trường hợp: ω2>0, ω2=0, ω2<0.
Trường hợp 1. Cho ω2>0. Chúng ta hãy xoay hình tứ giác CPTQ bằng 90∘ quanh điểm C đến vị trí CP′TQ′ (Hình 5) và hình tứ giác OP0T0Q0 quanh O đến vị trí OP0′T0′Q0′ và vẽ (P0′P′′)∥(Q0′Q′′)∥(OC). Các điểm P′′ và Q′′ sẽ chia đôi các đoạn CP′, CQ′, vì ∣CP′∣/∣CB∣=ω1 và ∣OP′∣/∣OB∣=2ω1.
Từ v - đường kính của hình tròn vẽ quanh một hình tam giác CP′Q′, MỘT v0 - Đường kính của hình tròn ngoại tiếp một hình tam giác CP′Q′, MỘT v0 - Đường kính của hình tròn ngoại tiếp một hình tam giác CP′Q′, MỘT v0 - đường kính của vòng tròn được mô tả
18
Hình 6
Hình 7.
trượt quanh OP0′Q0′, chúng tôi có ∣v∣=sinγ∣P0′Q′∣=sin2γcos2γ∣P′′Q′′∣, ∣v0∣=sin(2π+2γ)∣P0′Q′∣=cos2γ∣P0′Q′∣.
Đoạn P0′Q0′ nghiêng về đường phân giác CO dốc hơn một trong các tia AO, BO, và thậm chí dốc hơn một trong các tia AC và BC, nghiêng CO một góc 2γ. Do đó, khoảng cách giữa các đường thẳng song song P0′P′′ và Q0′Q′′ vượt quá ∣P0′Q0′∣sin2γ.
Hơn nữa, ∣P′′Q′′∣>∣P0′Q0′∣sin2γ, cùng với (5) cho ra ∣v∣>∣v0∣.
Trường hợp 2. Đặt ω2=0 (Hình 6); sau đó ∣CP∣=ω1∣BC∣, ∣OP0∣=ω1/2, từ đâu ∣v∣=sinγω1∣BC∣, ∣v0∣=
2sin2γω1∣BO∣.
Nhưng ∣BC∣>∣BO∣ (vì ∠BOC là ngu ngốc) và sinγ<2sin2γ, do đó ∣v∣>∣v0∣.
Trường hợp 3. Cho ω2<0. Như trong trường hợp 1, chúng ta xoay các hình tứ giác CPTQ, OP0T0Q0 theo 90∘ đến các vị trí CP′T′Q′, OP0′T′Q0′ (Hình 7) và vẽ (P0′P′′)∥(Q0′Q′′)∥(BD)∥(OC). Các điểm P′′, Q′′ lại nằm ở trung điểm của các đoạn CP′, CQ′.
Lần này một lần nữa ∣v∣=sin(π−γ)∣P0′Q′∣=sin2γcos2γ∣P′′Q′′∣, ∣v0∣=sin(2π−2γ)∣P0′Q′∣=cos2γ∣P0′Q′∣,
và để đảm bảo rằng ∣v∣>∣v0∣, chúng ta chỉ cần kiểm tra xem trong trường hợp này ∣P′′Q′′∣>∣P0′Q0′∣.
Chúng ta hãy chuẩn bị đoạn P′′Q′′ với tâm C để nó đi vào một đoạn nào đó BM. Tương tự, chúng ta hãy chuẩn bị đoạn P0′Q0′ với tâm O để nó đi vào một đoạn nào đó BN. Đ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∣ là đủ. Nhưng điều sau rõ ràng là tam giác BNM có một góc tù ở đỉnh N. Thật vậy, nếu N nằm bên trái của đường thẳng BD thì MNB>COB>2π, và nếu N nằm bên phải của BD thì MNB>MNO=COA>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∣ được bảo toàn, thứ nhất, nếu C1, C2 nằm trên các cạnh khác nhau của đường thẳng AB, và thứ hai, nếu các tam giác ABC1, ABC2 có đáy chung AB 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?