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 →

44

S. Fomin

Vé và hộp

Trong ghi chú này, bài toán đã được giải quyết, đề xuất vào năm 1977 tại cuộc thi (nghiên cứu) loại XI Olympic Toán toàn liên bang lần thứ hai. bài toán này đã được đặt trong “Bài tập cho Kvanta” («Kvant», 1977, Số 9, M465). Chúng ta hãy nhớ lại công thức của nó.

Có một nghìn vé có số 000, 001, …, 999 và một trăm ô có số 00, 01, …, 99. Vé được cắt và đặt vào ô, nếu số ô có thể lấy được từ số của vé này bằng cách gạch bỏ một trong các số. Chứng minh rằng

a) bạn có thể đặt tất cả các vé vào 50 hộp;
b) không thể phân phối tất cả vé vào ít hơn 40 hộp;
b) không thể phân phối tất cả vé vào ít hơn 50 hộp.

Giả sử có 10^k vé có số k chữ số từ 00…0 đến 99…9. Vé được cắt giảm xuống
đặt nó vào hộp, số lượng có thể lấy được từ số phiếu này; gạch bỏ một trong các số. Chứng minh rằng

  1. Hàm F(k,N)

Hãy bắt đầu với một câu hỏi thoạt nhìn không liên quan đến nhiệm vụ của chúng ta.

Cho k và N là hai số tự nhiên. Hãy xem xét tất cả các tập hợp k số nguyên không âm có thể có, tổng của chúng bằng N. Đối với mỗi tập hợp như vậy, chúng ta tìm tổng bình phương của các số có trong nó (Hình 1). Chúng tôi biểu thị số tiền nhỏ nhất trong số này bằng F(k, N). Đặt nó tương ứng với tập A = {a₁, a₂, …, aₖ}.

Bổ đề. Mỗi chữ số trong tập hợp A khác nhau không quá 1.

Bằng chứng. Hãy giả sử điều ngược lại. Giả sử a₂ > a₁ + 1. Xét tập A’ = {a₁ + 1, a₂ - 1, a₃, …, aₖ}.

Từ

(a1+1)2+(a2−1)2=a12+a22−2(a2−a1)<a12+a22,\left( a_1 + 1 \right)^2 + \left( a_2 - 1 \right)^2 = a_1^2 + a_2^2 - 2 \left( a_2 - a_1 \right) < a_1^2 + a_2^2,

tổng bình phương của các số trong tập A’ nhỏ hơn tổng bình phương của A. Điều ngược lại thu được chứng tỏ bổ đề.

Bây giờ đã rõ cách tính F(k,N). Bạn cần chia N cho k có số dư và chọn k số sao cho mỗi số bằng thương hoặc lớn hơn thương số 1 và tổng các số này bằng N.

Hình 2 thể hiện bảng giá trị hàm F(k,N) cho k và N nhỏ.

Giải thích “hình học” của F (k, N) là gì? Để đơn giản, cho k = 3. Khi đó bài toán tìm F(k, N) có thể được hiểu như sau: tìm trong tam giác ABC xác định trong không gian các phương trình x₁ + x₂ + x₃ = N và các bất đẳng thức x₁ ≥ 0,

45

Hình 2.

x2≥0,x3≥0x_2 \geq 0, x_3 \geq 0 (Hình 3), lũy thừa MM với tọa độ nguyên, khoảng cách ít nhất so với gốc tọa độ OO (tổng các bình phương mà chúng ta quan tâm không gì khác hơn bình phương khoảng cách từ điểm OO đến MM). Đương nhiên, chúng ta cần đưa điểm này về đáy của phân phối lại hạ từ OO xuống mặt phẳng của tam giác ABCABC, tức là đến điểm (N3;N3;N3)\left(\frac{N}{3}; \frac{N}{3}; \frac{N}{3}\right).

Đối với k>3k > 3 có thể mở rộng tương tự bằng cách sử dụng khái niệm không gian kk chiều.

Hãy xem xét cách giải thích khác của F(k,N)F(k, N). Đặt k=2k = 2 để đơn giản. Khi đó, các tập hợp đang xem xét có dạng ∣a,N−a∣(a−целое неотрицательное)|a, N - a|(a - \text{целое неотрицательное}) và chúng ta phải đối mặt với bài toán việc tìm giá trị nhỏ nhất của hàm x→x2+(N−x)2x \rightarrow x^2 + (N - x)^2 được xác định trên tập hợp các số nguyên từ intervala [0,N][0, N]. Hàm này là một hàm tam thức bậc hai; mức tối thiểu đạt được tại điểm x=N2x = \frac{N}{2}. Do đó, F(2,N)F(2, N) bằng N22\frac{N^2}{2} hoặc N2+12\frac{N^2 + 1}{2} tùy thuộc vào tính chẵn lẻ của NN (Hình 4).

Đối với k>2k > 2 người ta cần xem xét hàm tương ứng của các biến k−1k - 1 và tìm mức tối thiểu của nó.

  1. Lời giải bài toán a) và b)

Hãy sắp xếp tất cả các hộp theo dạng hình vuông 10×1010 \times 10, như trong Hình 5, aa. Trong Hình 5, bb hình vuông Q0Q_0 này được vẽ theo hình thức quen thuộc với chúng ta; Giả sử rằng mỗi ô của nó là một hộp có số tương ứng. Hãy đánh số các hàng và cột của hình vuông này bằng các số từ 1 đến 9. Vì tất cả các số ở điều kiện bài toán đều bằng nhau nên các hàng và cột của hình vuông Q0Q_0 có thể được sắp xếp lại.

Chúng ta cần chọn một số ô nhất định và bỏ tất cả vé vào các ô này. Hãy đồng ý tô các ô tương ứng với các ô đã chọn là Q0Q_0. Đặt số lượng ô tối thiểu

46

HIỆN TẠI, cụ thể là n0n_0, được tô bóng ở dòng 0; chúng ta có thể coi đây là những ô n0n_0 đầu tiên của dòng. Bây giờ chúng ta hãy tạo khoảng cách cho hình vuông Q1Q_1 thu được từ Q0Q_0 bằng cách gạch bỏ các hàng n0n_0 đầu tiên và các cột n0n_0 đầu tiên (Hình 6). Hãy chứng minh rằng tất cả các ô Q1Q_1 phải được tô bóng. Để làm điều này, hãy lấy các hộp được đánh số xyxy, trong đó x≥n0x \geq n_0, y≥n0y \geq n_0. Nó phải bao gồm vé 0xy0xy: không thể đặt nó trong các hộp 0x0x và 0y0y, vì các ô tương ứng không được điền vào. Điều này có nghĩa là ô có số xyxy phải được tô bóng cho tất cả x≥n0x \geq n_0, y≥n0y \geq n_0.

Sau chủ đề, có bao nhiêu ô được tô màu trong hình vuông Q0Q_0 của chúng ta. Trong mỗi dòng của hình chữ nhật Π0\Pi_0 (xem Hình 6), ít nhất n0n_0 ô được tô bóng. Trong Q1Q_1 tất cả các ô (10−n0)2(10-n_0)^2 đều được tô bóng. Do đó, ít nhất n02+(10−n0)2n_0^2 + (10-n_0)^2 ô được tô màu trong Q0Q_0. Tổng nhỏ nhất trong số này là F(2,10)F(2, 10) 50. Vì vậy, trong mọi trường hợp, ít nhất 50 ô được tô màu Q0Q_0. Mặt khác, năm mươi ô có ghi các số trong Hình 7 là đủ: bằng cách gạch bỏ một số trong số mỗi vé sao cho còn lại hai số chẵn lẻ giống nhau, chúng ta sẽ đặt vé này vào ô tương ứng. Hai tin nhắn này hoàn thành lời giải điểm a) và b) bài toán.

  1. Lời giải bài toán d)

Bây giờ hãy đặt vé là kk chữ số. Chúng ta sẽ giả định rằng chúng ta không có 10 chữ số mà là NN, trong đó NN là một số tự nhiên tùy ý (như thể

chúng tôi đã áp dụng hệ thống số NN-ary).

Đường vuông Q0Q_0 bây giờ đánh số các số từ 0 đến N−1N-1; do đó, trong Q0Q_0 tổng cộng N2N^2 tế bào.

Như trước đây, chúng ta sẽ giả sử rằng ở hàng 0 có các ô được điền n0n_0 và ở bất kỳ hàng nào khác không có ít hơn n0n_0. Chúng ta hãy xây dựng hình vuông Q1Q_1 theo cách tương tự. Hãy thực hiện với Q1Q_1 giống như cách chúng ta đã làm với Q0Q_0 - chúng ta chọn hàng trong đó có số ô được tô bóng ít nhất (đặt đây là hàng đầu tiên, tức là hàng có số n0n_0 trong ô vuông ban đầu), biểu thị số ô được tô bóng trong đó bằng n1n_1 và loại bỏ những ô đầu tiên từ Q1Q_1 n1n_1 hàng và cột, chúng ta có được một hình vuông Q2Q_2. Chúng ta sẽ xây dựng với nó theo cách tương tự, v.v., cho đến hình vuông Qk−2Q_{k-2} (Hình 8). Primogolniki tương tự như Π0\Pi_0 sẽ được ký hiệu là

Hình 7.