Question

[Đan Nghi]

Nguyên lý Đi-rich-lê là gì? Cho ví dụ?

P/s: Nhanh mình tick

Answer 1

[khanh cuong]

  - Nguyên lý Dirichlet do nhà toán học người Đức nổi tiếng là Dirichlet đề xuất từ thế kỷ XX đã được áp dụng để chứng minh sự tồn tại nghiệm trong nhiều bài toán tổ hợp. Nguyên lý này được phát triển từ một mệnh đề rất đơn giản gọi là nguyên lý “nguyên lý quả cam” hay là nguyên lý  “chuồng chim bồ câu”: Giả sử có một đàn chim bồ câu bay vào chuồng. Nếu số chim nhiều hơn số ngăn chuồng thì chắc chắn có ít nhất một ngăn có nhiều hơn một con chim.                                                    

         - Một cách tổng quát, nguyên lý Dirichlet được phát biểu như sau:

      Nếu xếp nhiều hơn n+1 đối tượng vào n cái hộp thì tồn tại ít nhất một hộp chứa không ít hơn hai đối tượng.

     - Việc chứng minh nguyên lý này có thể tiến hành bằng lập luận phản chứng rất đơn giản: Giả sử không hộp nào chứa nhiều hơn một đối tượng thì chỉ có nhiều nhất là n đối tượng được xếp trong các hộp, trái với giả thiết là số đối tượng lớn hơn n.

vVí dụ 1:

         Một năm có nhiều nhất là 365 ngày. Do vậy trong số 366 người bất kỳ bao giờ cũng có ít nhất 2 người có cùng ngày sinh nhật ( không xét năm nhuận ).

vVí dụ 2:

        Thang điểm bài kiểm tra là từ 0 đến 10, tức là có 11 thang điểm khác nhau. Do vậy trong số 12 sinh viên bất kỳ của một lớp sẽ có ít nhất 2 người có kết quả bài kiểm tra giống nhau.

vVí dụ 3:

         Cấp bậc quân hàm của sĩ quan có 8 cấp bậc từ thiếu úy đến đại tá. Do vậy trong một đơn vị có 9 sĩ quan thì sẽ có ít nhất 2 người cùng cấp bậc.

·      Nguyên lý Dirichlet cơ bản:

       Nếu nhốt n+1 con thỏ vào n cái chuồng thì bao giờ cũng có một chuồng chứa ít nhất 2 con thỏ.

·      Nguyên lý Dirichlet mở rộng:

      Nếu nhốt n con thỏ vào cái chuồng thì tồn tại một chuồng có ít nhất  con thỏ .

     Ở đây kí hiệu  để chỉ phần nguyên của .

      Ta có thể chứng minh nguyên lý Dirichlet mở rộng như sau: Giả sử mọi chuồng thỏ không có đến  ==(con)

                thì số thỏ trong mỗi chuồng đều nhỏ hơn hoặc bằng  con. Từ đó suy ra tổng số con thỏ không vượt quá  con. Điều này vô lý vì có n con thỏ. Vậy giả thiết phản chứng là sai. Nguyên lý Dirichlet mở rộng được chứng minh.

Answer 2

[Nguyệt]

Nếu đem m thỏ vào n lồng với m>n thì ít nhất cũng có một lồng nhốt không ít hơn 2 thỏ. Tương tự, nếu đem m đồ vật vào n ô ngăn kéo, với m>n, thì ít nhất cũng phải có 1 ô ngăn kéo chứa không ít hơn 2 đồ vật
Phần chứng minh bài toán, các bạn chắc gần như ai cũng biết, mình chỉ xin nêu một vài bài toán vận dụng cơ bản.

Ví dụ 1:
Trong một lớp chuyên toán có 40 học sinh. Trong một kỳ kiểm tra chất lượng môn toán chỉ có một em đạt điểm tối đa là 10, và một em đạt điểm 4, các em khác đạt từ điểm 5 trở lên. Chứng minh rằng trong lớp ít nhất cũng có 8 em có điểm số như nhau, biết rằng điểm số các em đều là các số nguyên.

Lời giải: 
Theo giả thiết của bài toán thì chỉ có một em đạt điểm 10 và một em đạt điểm 4, do đó sẽ có 40−2=3840−2=38 em đạt điểm 5 đến điểm 9. Coi mỗi học sinh là một "thỏ", mỗi loại điểm là 1 "lồng", như vậy ta sẽ có các lồng sau:
"Lồng 5": nhốt những ai đạt điểm 5
"Lồng 6": nhốt những ai đạt điểm 6
"Lồng 7": nhốt những ai đạt điểm 7
"Lồng 8": nhốt những ai đạt điểm 8
"Lồng 9": nhốt những ai đạt điểm 9
Với 5 lồng nhốt 38 thỏ, vậy có ít nhất một lồng nhốt không ít hơn 8 thỏ, bài toán được chứng minh.
Ví dụ 2:
Cho 10 số tự nhiên bất kỳ: a1,a2,a3...,a9,a10a1,a2,a3...,a9,a10
Chứng minh rằng thế nào cũng có một số hoặc tổng một số số liên tiếp nhau trong dãy 10 số đã cho chia hết cho 10.
Lời giải:

Để làm xuất hiện khái niệm "thỏ", "lồng", ta thành lập dãy số mới sau đây:
Đặt B1=a1B1=a1
B2=a1+a2B2=a1+a2
B3=a1+a2+a3B3=a1+a2+a3
B4=a1+a2+a3+a4B4=a1+a2+a3+a4
...
B10=a1+...+a10B10=a1+...+a10
Ta thấy rằng:
- Nếu tồn tài một BiBi nào đó (i=1,2,3,...,10) chia hết cho 10 thì bài toán đã được chứng minh.
- Nếu không tồn tại một B1B1 nào đó chia hết cho 10 thì ta chỉ việc đem tất cả BiBi chia cho 10, lúc đó được 10 số dư từ 1-9, trong khi đó các số tự nhiên từ 1-9 chỉ có 9 số (như vậy tương đương với việc nhốt 10 chủ thỏ vào 9 lồng), theo nguyên tắc Đi-rích-lê, tồn tại 1 lồng nhốt không ít hơn 2 chú thỏ, tương đương với việc tồn tại hai số có cùng số dư, như vậy có hiệu chia hết cho 10, bài toán được chứng minh