Kvant
Bài toán Kvant

Lời giải bài toán M504, M506, M507; F513, F516, F517

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 →

34

Lời giải bài toán
M504, M506, M507; F513, F516, F517

M504. Trên bàn cờ gồm n×nn \times n ô có kk các plimka có kích thước 2×12 \times 1 được đặt và không thể đặt plimka thứ (k+1)(k+1) mà không di chuyển các plimka hiện có. Chứng minh rằng không còn nhiều hơn a)(n2+n+1)/3a) (n^2+n+1)/3 ô trống;
b)(n2+2)/3b) (n^2+2)/3;
c)n2/3c) n^2/3.

Có thể có được ước tính mạnh mẽ hơn nữa cho một số nn không?

Hình 1.

Hình 2.

Cái lồng này phải được tự do

Hình 3.

Hình 4.

Để có xx ô tự do.

a) Chúng ta hãy liên kết từng ô trống không nằm ở chiều ngang phía trên của bảng với một ô “che phủ” nó từ phía trên (Hình 1). Rõ ràng là mỗi ô được liên kết với tối đa một ô (vì vậy số ô trống không nằm trên chiều ngang trên cùng của bảng nhiều nhất là một số ô n2−x2\frac{n^2-x}{2} được bố trí như đã nêu trong bài toán). Đặt x1x_1 ô trống ở phía trên cùng của bảng; thì x1≤n+12x_1 \leq \frac{n+1}{2}. Chúng ta có x−x1≤n2−x2x-x_1 \leq \frac{n^2-x}{2}, tức là

3x≤n2+2x1≤n2+n+1,3x \leq n^2+2x_1 \leq n^2+n+1,

Ở đâu

x≤(n2+n+1)/3.x \leq (n^2+n+1)/3.

  1. Ta ký hiệu bằng x1x_1 số ô trống bên trong bảng, bằng x2x_2 số ô trống ở viền bảng, không tính các ô góc; cuối cùng, bằng x3x_3 chúng ta biểu thị số ô góc trống của bảng. Sau đó x=x1+x2+x3x=x_1+x_2+x_3. Bằng y1y_1 chúng ta biểu thị số l và tok nằm ngay bên trong bảng; đến y2y_2—số lượng ô kéo dài đến các cạnh của bảng trong ít nhất một hình vuông; thì y1+y2=n2−x2y_1+y_2 = \frac{n^2-x}{2}.

Hãy tính xem một ô trống có bao nhiêu khoảng trắng - đường viền của nó là plimka. Một mặt, có 4x1+3x2+2x34x_1+3x_2+2x_3 trong số đó. Mặt khác, vì các ô được xếp theo cách không thể thêm một ô duy nhất nên không có nhiều hơn 4y1+3y24y_1+3y_2 các cặp này (mỗi ô đối diện với các cạnh của bảng có viền không quá một hình vuông thứ ba và mỗi ô có đường viền bên trong bảng không quá bốn). Pozny

4x1+3x2+2x3≤4y1+3y2.4x_1+3x_2+2x_3 \leq 4y_1+3y_2.

Vì hai ô trống trên ranh giới bảng được ngăn cách bằng một ô, nên chúng ta có

x2+x3≤y2.x_2+x_3 \leq y_2.

Cộng các bất đẳng thức (1) và (2), ta thu được

4x1+4x2+3x3≤4(y1+y2),4x_1+4x_2+3x_3 \leq 4(y_1+y_2),

hoặc

x−14x3≤n2−x2.x-\frac{1}{4}x_3 \leq \frac{n^2-x}{2}.

Nhưng x3≤4x_3 \leq 4; có nghĩa là x≤n2−x2+1x \leq \frac{n^2-x}{2} + 1 hoặc 3x≤n2+23x \leq n^2+2, do đó x≤(n2+2)/3x \leq (n^2+2)/3.

c) Lưu ý rằng nếu bất đẳng thức (1) là nghiêm ngặt thì chúng ta thu được điều chúng ta cần ở điểm c): bất đẳng thức nghiêm ngặt x<n2−x2+1x < \frac{n^2-x}{2} + 1 tương đương như sau:

x≤n2−x2,откуда x≤n23.x \leq \frac{n^2-x}{2}, \text{откуда } x \leq \frac{n^2}{3}.

Pozny, nếu chúng ta giả sử rằng x>n23x > \frac{n^2}{3}, thì trong mọi trường hợp, mỗi ô phải liền kề với số lượng ô trống tối đa. Đặc biệt, cạnh nào của quân cờ có chiều dài 1 không vừa với mép bàn cờ thì phải liền kề

35

Tế bào miễn phí. Do đó, các ô phải được sắp xếp thành “hàng” (Hình 2) và các “hàng” không được tiếp giáp nhau cũng như không giao nhau, vì trong cả hai trường hợp, hình ảnh hiển thị trong Hình 3 sẽ xuất hiện - cho đến khi chạm đến mép. Điều này có nghĩa là tất cả các “hàng” phải song song, điều này chỉ có thể thực hiện được khi nn chia hết cho 3. Trong trường hợp này, số ô là n2/3n^2/3 (ví dụ tương ứng được hiển thị trong Hình 4). Vì vậy, đối với bảng n×nn \times n, trong đó n=3kn=3k, ước tính n23\frac{n^2}{3} là chính xác.

S. Fomin

Không mất tính tổng quát, chúng ta có thể giả sử rằng 0<a≤b≤c≤d0 < a \leq b \leq c \leq d. Cộng thêm ba bất đẳng thức
a(a−b)(a−c)(a+2d)≥0,a(a-b)(a-c)(a+2d) \geq 0,
a(a−b)(a+2c)(a−d)≥0,a(a-b)(a+2c)(a-d) \geq 0,
a(a+2b)(a−c)(a−d)≥0,a(a+2b)(a-c)(a-d) \geq 0,
chúng tôi nhận được
3a4−3a2(bc+bd+cd)+6abcd≥0,3a^4 - 3a^2(bc + bd + cd) + 6abcd \geq 0,
hoặc
a4−a2(bc+bd+cd)+2abcd≥0.a^4 - a^2(bc + bd + cd) + 2abcd \geq 0.

Mặt khác, sự bất bình đẳng
b4+c4+d4−a2(b2+c2+d2−bc−bd−cd)−b2c2−b2d2−c2d2≥0b^4 + c^4 + d^4 - a^2(b^2 + c^2 + d^2 - bc - bd - cd) - b^2c^2 - b^2d^2 - c^2d^2 \geq 0
tương đương với tiếp theo
[(b+c)2−a2](b−c)2+[(b+d)2−a2](b−d)2+[(c+d)2−a2](c−d)2≥0.[(b+c)^2 - a^2](b-c)^2 + [(b+d)^2 - a^2](b-d)^2 + [(c+d)^2 - a^2](c-d)^2 \geq 0.

Cộng các bất đẳng thức (1) và (2), ta thu được mệnh đề bài toán.
Hãy đưa lời giải vào bài toán này và sử dụng phân tích toán học. Chúng ta cần ước lượng hình học sau đây
Bổ đề. Nếu hàm ff không âm tùy ý tại mỗi điểm của vòng lặp [x0;+∞[[x_0; +\infty[ thì nó không giảm trên vòng lặp này.
Lưu ý rằng nếu bất kỳ hai số a,b,c,da, b, c, d nào trùng nhau thì chứng minh bất đẳng thức là đúng. Trên thực tế, chúng ta hãy chỉ đạo, a=da = d. thì bất đẳng thức của chúng ta có thể được viết lại như sau:
a4+2(bc−b2−c2)a2+b4+c4−b2c2≥0.a^4 + 2(bc - b^2 - c^2)a^2 + b^4 + c^4 - b^2c^2 \geq 0.

Vế trái của bất đẳng thức (3) là tam thức bậc hai đối với a2a^2 với phân biệt không dương −2bc(b−c)2-2bc(b-c)^2, do đó (3) đúng.

Bây giờ chúng ta viết lại bất đẳng thức cần tìm dưới dạng này:
d4−(a2+b2+c2)d2+2abcd+a4+b4+c4−a2b2−a2c2−b2c2≥0d^4 - (a^2 + b^2 + c^2)d^2 + 2abcd + a^4 + b^4 + c^4 - a^2b^2 - a^2c^2 - b^2c^2 \geq 0

và coi vế trái của (4) là hàm của dd; Hãy biểu thị hàm này bằng ff. Ta cần chứng minh rằng f(d)≥0f(d) \geq 0 cho d≥cd \geq c (và 0<a≤b≤c0 < a \leq b \leq c). Chúng tôi có:
f′(d)=4d3−2(a2+b2+c2)d+2abc,f'(d) = 4d^3 - 2(a^2 + b^2 + c^2)d + 2abc,
vậy f′(c)=2c3−2(a2+b2)c+2abc≥0(0<a≤b≤c)f'(c) = 2c^3 - 2(a^2 + b^2)c + 2abc \geq 0 (0 < a \leq b \leq c).
Kế tiếp,
f′′(d)=12d2−2(a2+b2+c2)≥0f''(d) = 12d^2 - 2(a^2 + b^2 + c^2) \geq 0

tại 0<a≤b≤c0 < a \leq b \leq c. Do đó, theo Bổ đề f′(d)≥f′(c)≥0f'(d) \geq f'(c) \geq 0 cho d≥cd \geq c. Sử dụng thực tế là f(c)≥0f(c) \geq 0 (xem nhận xét ở trên) và f′(d)≥0f'(d) \geq 0 cho d≥cd \geq c, và áp dụng lại bổ đề, chúng ta thu được bất đẳng thức f(d)≥0f(d) \geq 0 cho d≥cd \geq c, đây chính là điều cần thiết.

Một khái quát hóa thú vị về bất đẳng thức này được phát minh bởi F. Schleöfer (Ryazan): với mọi a1,…,ana_1, \dots, a_n
(n−1)(a12+a22+⋯+an2)+na12⋅a22⋅⋯⋅an2≥(a1+a2+⋯+an)2(n-1)(a_1^2 + a_2^2 + \dots + a_n^2) + n\sqrt{a_1^2 \cdot a_2^2 \cdot \dots \cdot a_n^2} \geq (a_1 + a_2 + \dots + a_n)^2.

Đối với n=4n=4, a1=a2a_1=a^2, a2=b2a_2=b^2, a3=c2a_3=c^2, a4=d2a_4=d^2, chúng tôi thu được tuyên bố về bài toán của mình.

V. Senderov, E. Turkevich

36

M507. Giả sử a1<a2<⋯<an<2na_1 < a_2 < \dots < a_n < 2n là một dãy hữu hạn các số tự nhiên (n≥6n \ge 6).
a) Hãy chứng minh rằng
min⁡[ai,aj]≤6([n2]+1),\min [a_i, a_j] \leq 6 \left( \left[ \frac{n}{2} \right] + 1 \right),
[aj,aj][a_j, a_j] cũng có nghĩa là bội số chung nhỏ nhất của các số aia_i và aja_j, và mức tối thiểu được lấy trên tất cả các tham số của các số ai,aja_i, a_j.
b) Hãy chứng minh rằng
max⁡(ai,aj)>38n147−c,\max (a_i, a_j) > \frac{38n}{147} - c,
khác cc không phụ thuộc vào nn và (ai,aj)(a_i, a_j) có ​​nghĩa là ước số chung nhỏ nhất của aia_i và aja_j.
Không thể cải thiện các ước tính trong bài toán a) và b) (chúng ta có thể thay thế hệ số 6 bằng hệ số nhỏ hơn và 38147−большим\frac{38}{147} - \text{большим}).

Dưới đây chúng ta sẽ chứng minh một phát biểu tổng quát hơn. Hãy để a1<a2<⋯<an≤2na_1 < a_2 < \dots < a_n \leq 2n.
a) Hãy chứng minh rằng chúng ta yêu cầu bất đẳng thức đúng với n≥5n \ge 5. Giả sử trong số các phần tử của dãy a1,a2,…,ana_1, a_2, \dots, a_n có một số a≤na \leq n. Nếu số 2a cũng thuộc dãy này thì
min⁡[ai,aj]≤[a,2a]=2a≤2n≤6([n2]+1),\min [a_i, a_j] \leq [a, 2a] = 2a \leq 2n \leq 6 \left( \left[ \frac{n}{2} \right] + 1 \right),
mang lại lời giải bài toán. Nếu 2a không thuộc dãy thì chúng ta xóa số aa khỏi chuỗi đó và thay thế bằng 2a. Rõ ràng là min⁡[ai,aj]\min [a_i, a_j] đối với chuỗi mới không kém gì chuỗi ban đầu. Áp dụng lý luận tương tự cho từng phần tử a≤na \leq n, cuối cùng chúng ta sẽ đi đến chuỗi n+1,n+2,…,2nn + 1, n + 2, \dots, 2n và
min⁡[ai,aj]\min [a_i, a_j] đối với chuỗi này không nhỏ hơn mức tối thiểu tương ứng đối với bất kỳ chuỗi nào khác mà từ đó nó thu được, đặc biệt là đối với chuỗi ban đầu.
Bây giờ chúng ta hãy chứng minh rằng với dãy n+1,n+2,…,2nn + 1, n + 2, \dots, 2n tại n≥5n \ge 5 đẳng thức
n+1≤a<b≤2nn + 1 \leq a < b \leq 2n
Và
[a,b]=6k+6=6([n2]+1).[a, b] = 6k + 6 = 6 \left( \left[ \frac{n}{2} \right] + 1 \right).

Bây giờ, hãy kiểm tra xem với bất kỳ cặp số c,dc, d nào thỏa mãn điều kiện n+1≤c<d≤2nn + 1 \leq c < d \leq 2n thì bất đẳng thức [c,d]≥6([n2]+1)[c, d] \geq 6 \left( \left[ \frac{n}{2} \right] + 1 \right) đúng. Thật vậy, [c,d]=pd=qc[c, d] = pd = qc, ở đâu q>p>1q > p > 1. Trong trường hợp này, p=2p = 2 và q≥3q \ge 3 hoặc q≥4q \ge 4. Trong trường hợp đầu tiên, cc là số chẵn, do đó c≥2([n2]+1)c \ge 2 \left( \left[ \frac{n}{2} \right] + 1 \right) và [c,d]=qc≥3c≥6([n2]+1)[c, d] = qc \ge 3c \ge 6 \left( \left[ \frac{n}{2} \right] + 1 \right). Trong trường hợp thứ hai [c,d]=qc≥4(n+1)≥6([n2]+1)[c, d] = qc \ge 4 (n + 1) \ge 6 \left( \left[ \frac{n}{2} \right] + 1 \right). Điều này hoàn thành việc chứng minh khẳng định a).

  1. Hãy xem xét bài toán tổng quát hơn: đặt a1<a2<⋯<ak≤Ba_1 < a_2 < \dots < a_k \leq B là một dãy số tự nhiên; Hãy thử ước tính cường độ của max(ai,aj)max (a_i, a_j). Nghịch đảo bài toán rất hữu ích cho việc này: đặt A,BA, B là số dương (không nhất thiết phải là số nguyên); xác định kk tối đa mà tại đó có một dãy kk số tự nhiên riêng biệt a1,a2,…,aka_1, a_2, \dots, a_k tối đa sao cho
    (1) phần tử nào của chuỗi không vượt quá BB;
    (2) (ai,aj)≤A(a_i, a_j) \leq A cho bất kỳ phần tử riêng biệt nào ai,aja_i, a_j.
    Chúng tôi sẽ biểu thị số lượng tối đa này bằng k(A,B)k (A, B). Đối với lời giải bản gốc bài toán bạn cần chọn AA sao cho k(A,2n)k (A, 2n) gần bằng nn. Thật vậy, nếu với mỗi AA
    k(A,2n)<n,k (A, 2n) < n,
    thì với bất kỳ chuỗi nào a1<a2<⋯<an≤2na_1 < a_2 < \dots < a_n \leq 2n sẽ có
    max(ai,aj)>A;max (a_i, a_j) > A;
    nếu k(A,2n)≥nk (A, 2n) \ge n thì tồn tại một dãy a1<a2<⋯<an≤2na_1 < a_2 < \dots < a_n \leq 2n sao cho
    max(ai,aj)≤A.max (a_i, a_j) \leq A.
    Đặt a1,…,aka_1, \dots, a_k là dãy thỏa mãn điều kiện (1) và (2). Nếu phần tử aia_i nào đó của dãy này có ước số d>Ad > A không giống với aia_i thì theo điều kiện (2) dd không phải là một phần tử của dãy. Sau đó, thay thế

37

aia_i bằng dd, chúng ta thu được một chuỗi mới có cùng độ dài, cũng thỏa mãn điều kiện (1) và (2). Tiến hành theo cách tương tự, cuối cùng chúng ta sẽ thu được một chuỗi trong đó không có phần tử nào có ước số riêng lớn hơn AA. Chúng tôi gọi một chuỗi như vậy là không thể rút gọn.

Bây giờ chúng ta hãy xem xét tập hợp MM của tất cả các số tự nhiên không vượt quá BB và không có ước số thực sự lớn hơn AA. M là một dãy bất khả quy thỏa mãn các điều kiện (1) và (2), và mọi dãy bất khả quy khác đều chứa trong MM. Do đó, rõ ràng là k(A,B)k(A, B) đơn giản bằng số phần tử MM.

Để đếm số phần tử của tập hợp MM, chúng ta tính riêng số lượng 4 phần tử, số phần tử lẻ chia hết cho 3, v.v. Chính xác hơn là đặt M2M_2 gồm cả 4 phần tử của tập hợp MM, M3M_3 gồm cả 4 phần tử của MM chia hết cho 3, M5M_5 gồm cả 4 phần tử MM, chia hết cho 5, nhưng không chia hết cho 2 hoặc 3. Và nói chung, đối với bất kỳ số nguyên tố pp nào, tập hợp MpM_p bao gồm các phần tử của tập hợp MM chia hết cho pp và không có thừa số nguyên tố nào nhỏ hơn pp.

Hãy đếm số phần tử của tập hợp MpM_p. Bất kỳ phần tử nào từ MpM_p đều có dạng pcpc, trong đó c⩽Ac \leqslant A (vì MM là tập tối giản), pc⩽Bpc \leqslant B và cc không có thừa số nguyên tố nào nhỏ hơn pp. Nếu pA⩽BpA \leqslant B thì có thể bỏ qua điều kiện pc⩽Bpc \leqslant B và số phần tử MpM_p bằng số phần tử tự nhiên c⩽Ac \leqslant A không có thừa số nguyên tố nhỏ hơn pp (chúng ta sẽ biểu thị số đó bằng mp(A)m_p(A)). Nếu pA>BpA > B thì số phần tử MpM_p bằng mp(Bp)m_p\left(\frac{B}{p}\right) và không vượt quá mp(A)m_p(A).

Hãy để chúng tôi sửa một số nguyên tố pp. Nói chung, các bộ M2,M3,M5,…,MpM_2, M_3, M_5, \dots, M_p không làm cạn kiệt các bộ MM. Chúng ta hãy biểu thị bằng NN tập hợp tất cả các phần tử còn lại của MM. Chúng không có ước số giữa các số 2, 3, 5, …, pp nên số của chúng không vượt quá số mq(B)m_q(B), trong đó qq là số nguyên tố tiếp theo sau pp. Như vậy,

k(A,B)⩽m2(A)+m3(A)+⋯+mp(A)+mq(B).k(A, B) \leqslant m_2(A) + m_3(A) + \dots + m_p(A) + m_q(B).

Nếu pA⩽B<qApA \leqslant B < qA, thì bất đẳng thức này chuyển thành đẳng thức. Thật vậy, rõ ràng là mỗi MrM_r chứa chính xác mr(A)m_r(A) phần tử. Mặt khác, mọi số c⩽Bc \leqslant B, không có ước số nhỏ hơn qq, do đó không có ước số nào lớn hơn AA (nếu c=dfc = df, trong đó d>Ad > A và c⩽B<qAc \leqslant B < qA, thì f<qf < q), và do đó được bao gồm trong NN; do đó NN chứa phần tử mq(B)m_q(B).

Bây giờ chúng ta hãy bắt đầu ước tính các số có dạng mr(C)m_r(C). Thứ nhất, m2(C)m_2(C) bằng số tự nhiên l⩽Cl \leqslant C, nghĩa là bằng [C][C] và khác CC nhỏ hơn 1. Tiếp theo, m3(C)=m2(C)−m2(C2)m_3(C) = m_2(C) - m_2\left(\frac{C}{2}\right) (số tất cả l⩽Cl \leqslant C nhỏ hơn 1, thì m3(C)m_3(C) khác với CC (1−12)\left(1 - \frac{1}{2}\right) bởi ít hơn 2).

Lập luận theo cách tương tự, chúng ta nhận được rằng nếu pp và q(p<q)q(p < q) là hai số nguyên tố lân cận thì mq(C)=mp(C)−mp(Cp)m_q(C) = m_p(C) - m_p\left(\frac{C}{p}\right), từ đó cho thấy mq(C)m_q(C) khác với số C(1−12)(1−13)……(1−1p)C\left(1 - \frac{1}{2}\right)\left(1 - \frac{1}{3}\right) \dots \dots \left(1 - \frac{1}{p}\right) nhỏ hơn 2i−12^{i-1}, trong đó ii là số của số nguyên tố qq. Nói cách khác, biểu thị bằng ZqZ_q tích của tất cả các số có dạng

38

(1−1r),\left(1 - \frac{1}{r}\right),
trong đó rr là số nguyên tố nhỏ hơn qq (và đặt Z2=1Z_2 = 1), ta có

∣mq(C)−C⋅Zq∣<2i−1|m_q(C) - C \cdot Z_q| < 2^{i-1}

(ii là số của số nguyên tố qq). Do đó, các ước tính sau đây đúng với số k(A,B)k(A, B):

k(A,B)≤m2(A)+…+mp(A)+mq(B)<A(Z2+Z3+…+Zp)+B⋅Zq+1+2+…+2i−1=A(Z2+…+Zp)+B⋅Zq+(2i−1);k(A, B) \leq m_2(A) + \ldots + m_p(A) + m_q(B) < A(Z_2 + Z_3 + \ldots + Z_p) + B \cdot Z_q + 1 + 2 + \ldots + 2^{i-1} = A(Z_2 + \ldots + Z_p) + B \cdot Z_q + (2^i - 1);

nếu pA≤B≤qApA \leq B \leq qA thì

k(A,B)=m2(A)+…+mp(A)+mq(B)>A(Z2+…+Zp)+B⋅Zq−(2i−1).k(A, B) = m_2(A) + \ldots + m_p(A) + m_q(B) > A(Z_2 + \ldots + Z_p) + B \cdot Z_q - (2^i - 1).

(3)

Bây giờ chúng ta hãy quay lại bài toán ban đầu và tìm hiểu xem AA k(A,2n)<nk(A, 2n) < n là gì. Để làm được điều này, chỉ cần giải AA bất đẳng thức

A(1+Z3+…+Zp)+2n⋅Zq+(2i−1)≤n.A(1 + Z_3 + \ldots + Z_p) + 2n \cdot Z_q + (2^i - 1) \leq n.

Lấy pp bằng 3,5 hoặc 7, ta được tương ứng:

A≤29n−143,A≤1455n−9011,A \leq \frac{2}{9}n - \frac{14}{3}, \quad A \leq \frac{14}{55}n - \frac{90}{11},

A≤38147n−31021.A \leq \frac{38}{147}n - \frac{310}{21}.

Tại p=7p = 7 có hệ số nhỏ 38147\frac{38}{147}, hệ số lớn nhất trong ba hệ số. Lấy p≥11p \geq 11 là vô nghĩa, vì 11⋅38147n≥2n11 \cdot \frac{38}{147}n \geq 2n, và các bất đẳng thức cho k(A,2n)k(A, 2n) sẽ kém chính xác hơn. Vì vậy, chúng tôi đã chứng minh rằng với n≥2n \geq 2 cho bất kỳ chuỗi nào a1<a2<…<an≤2na_1 < a_2 < \ldots < a_n \leq 2n

max⁡(ai,aj)>38147n−31021.\max(a_i, a_j) > \frac{38}{147}n - \frac{310}{21}.

Để chứng minh hệ số 38147\frac{38}{147} không thể bị thay đổi, ta lấy A=38147n+31021A = \frac{38}{147}n + \frac{310}{21}. Khi đó tại n≥543n \geq 543 sẽ có 7A≤2n<11A7A \leq 2n < 11A, và sử dụng bất đẳng thức (3), chúng ta thu được k(A,2n)≥nk(A, 2n) \geq n. Do đó, với n≥543n \geq 543 luôn có một dãy a1<a2<…<an≤2na_1 < a_2 < \ldots < a_n \leq 2n mà

max⁡(ai,aj)≤38147n+31021.\max(a_i, a_j) \leq \frac{38}{147}n + \frac{310}{21}.

Nếu ước tính mr(C)m_r(C) một cách cẩn thận, chúng ta có thể thu được các bất đẳng thức chính xác hơn: với n≥2n \geq 2 cho bất kỳ chuỗi nào a1<a2<…<an≤2na_1 < a_2 < \ldots < a_n \leq 2n

max⁡(ai,aj)≥38147n−7349;\max(a_i, a_j) \geq \frac{38}{147}n - \frac{73}{49};

và ngoài ra còn có một dãy a1<a2<…<an≤2na_1 < a_2 < \ldots < a_n \leq 2n mà

max⁡(ai,aj)≤38147n+7349.\max(a_i, a_j) \leq \frac{38}{147}n + \frac{73}{49}.

(điều đáng chú ý là hằng số 7349\frac{73}{49} trong các bất đẳng thức này không thể giảm được nữa).

D. Bernishtein

39

F513. Vào một ngày nắng đẹp, khi Mặt trời ở đường chân trời, hãy lên một màn hình nhẵn, ở bên phải, trên bức tường trắng, vuốt thẳng các mép của một miếng bìa cứng. Nếu đồng hồ được đưa đến tấm bìa cứng bằng một ngón tay, như trong Hình 5, thì trên màn hình, tôi sẽ chỉ ngón tay ra khỏi tấm bìa cứng và lau khô ngón tay thứ hai. Hãy thực hiện thí nghiệm này và giải thích kết quả của nó.

Không thể sử dụng khái niệm nhiễu xạ để mô tả hiện tượng này vì kích thước của vân nhiễu xạ ở những khoảng cách như vậy là nhỏ.

Lời giải bài toán chỉ dành cho người lớn khi chúng ta tính đến việc Mặt trời không phải là nguồn ánh sáng chính xác mà có kích thước góc hữu hạn.

Để hiểu bóng sắp tới xuất hiện như thế nào, hãy tham khảo Hình 6.

Vì Mặt trời, với tư cách là nguồn sáng, có một số kích thước góc (khoảng nửa độ), nên bóng của tất cả các vật thể trong một ngày nắng đều được đặt. Kích thước của cạnh của bóng phụ thuộc vào khoảng cách từ vật thể đến bề mặt nơi quan sát thấy bóng. Mặc dù trong thí nghiệm trên, có vẻ như rìa bóng của một vật thể được xác định rõ ràng, nhưng thực tế không phải vậy. Ngoài vùng bóng đầy đủ, còn có vùng bóng một phần. Khi một ngón tay đến gần một vật thể, chặn một phần tia rơi vào vùng nửa tối, một bóng đang tới sẽ xuất hiện trên màn hình. Sự hợp nhất của bóng và bóng đối diện với chuyển động đi xuống tiếp theo của ngón tay xảy ra ở viền của vùng nửa tối và phần được chiếu sáng của màn hình.

Bằng cách đo khoảng cách giữa vật thể và màn hình, giữa ngón tay và vật thể, cũng như kích thước của bóng tới phía trước bóng trực tiếp, chúng ta có thể ước tính kích thước góc của Mặt trời dựa trên những cân nhắc hình học đơn giản.

G. Solovyanok

Hình 5.

F516. Một đĩa nặng bán kính R lăn trên hai sợi dây không dãn quấn quanh nó. Các đầu tự do của sợi chỉ được cố định (Hình 7). Các luồng liên tục được tham gia khi đĩa di chuyển. Tại một số thời điểm, tốc độ của đĩa là ω\omega và tốc độ giữa các luồng là α\alpha. Tốc độ của tâm đĩa lúc này là bao nhiêu?

Chúng ta hãy xem xét chuyển động của các điểm cc và dd, tại đó chúng chạm vào đĩa, trong một hệ tọa độ có gốc trùng với điểm OO, trong đó tâm của đĩa nằm, khi góc giữa các ren là α\alpha và các trục OXOX và OYOY tạo một góc α\alpha với nhau và song song với các ren (Hình 7). Trong hệ tọa độ này (như trong bất kỳ hệ tọa độ cố định nào), vận tốc của điểm cc và dd lần lượt bằng nhau

vc=v0+vc0,vd=v0+vd0.v_c = v_0 + v_{c0}, \quad v_d = v_0 + v_{d0}.

trong đó v0v_0 là tốc độ của tâm đĩa, vc0v_{c0} và vd0v_{d0} là vận tốc của các điểm cc và dd so với tâm của đĩa. Rõ ràng là ∣vc0∣=∣vd0∣|v_{c0}| = |v_{d0}|, và ở tốc độ góc quay của đĩa ω\omega

∣vc0∣=∣vd0∣=ωR=u.|v_{c0}| = |v_{d0}| = \omega R = u.

Từ điều kiện không giãn của các sợi dây, suy ra rằng, khi chúng tạo thành một góc α\alpha, các hình chiếu vdxv_{dx} và vcyv_{cy} của vận tốc vdv_d và vcv_c trên trục OXOX và OYOY bằng 0:

vdx=v0x−u=0,vcy=v0y−u=0.v_{dx} = v_{0x} - u = 0, \quad v_{cy} = v_{0y} - u = 0.

Từ đây

v0x=v0y=u.v_{0x} = v_{0y} = u.

Điều này có nghĩa là vectơ v0v_0 của tốc độ tâm đĩa có hướng