Professional Documents
Culture Documents
Pigeonhole Principle
Pigeonhole Principle
গিণতযজ্ঞ
সূ চীপতৰ্
1 িপিজওনেহাল িপৰ্িন্সপাল 2
1
1 িপিজওনেহাল িপৰ্িন্সপাল
1 িপিজওনেহাল িপৰ্িন্সপাল
িপিজওনেহাল িপৰ্িন্সপাল এর সবেচেয় সরল রুপ হেচ্ছ :
ধেরা, েতামার কােছ m টা কবুতর আেছ এবং েস কবুতরেক েতামার n টা েখােপ রাখেত হেব। যিদ m > n হয়,
তাহেল েকােনা না েকােনা েখােপ একািধক কবুতর রাখেতই হেব।
এটা পড়ার পর হয়েতাবা েতামার মেন হেচ্ছ ”এটার আবার নাম িদেত হয় নািক? এটােতা েবাঝাই যায়।” আপাতদৃ িষ্টেত
’িটৰ্িভয়াল’ এই টিপেকর ক্ষমতা অেনক। আইএমও েত আসা সমসয্াও এিট বয্বহার কের সমাধান করা েযেত পাের।
তেব আমরা শুরু করব সহজ িকছু িদেয়।
উদাহরণ ১: েযেকােনা 4 িট ধনাত্মক পূ ণর্সংখয্া েনই এবং এেদরেক 3 িদেয় ভাগ কির। অন্তত 2 িট সংখয্ার েক্ষেতৰ্
ভাগেশষ সমান হেব।
সমাধান: এখােন আমােদর পৰ্থম কাজ িপিজওন আর েহাল খুেজ েবর করা।
এ উদাহরেণ আমরা িপিজওন িহেসেব েনব ভাগেশষ গুেলােক আর েহাল হেব সম্ভাবয্ ভাগেশষ সংখয্া।
েযেহতু, ভাগেশষ < ভাজক তাই 3 িদেয় ভাগ করেল ভাগেশষ হেত পাের {0, 1, 2} । এই পৰ্িতিট ভাগেশষ েক আমরা
েহাল িহেসেব িবেবচনা করব।
আমােদর িপিজওন 4 িট েহাল 3 িট। িপিজওনেহাল িপৰ্িন্সপাল অনু সাের আমরা েপেয় যাই একিট েহােলর জনয্ একািধক
িপিজওন থাকেতই হেব।
িনেজ ভািব: ওপেরর সমসয্ার 3, 4 এর বদেল n, n + 1 বয্বহার করেলও তা সিতয্ হয়। েকন?
িপিজওনেহাল িপৰ্িন্সপাল বয্বহােরর উেদ্দশয্ থােক সমসয্ার েভতের গাঠিনক সীমাবদ্ধতােক সমসয্া সমাধােন কােজ
লাগােনা।
■ এরকম আেরা িকছু সমসয্া:
১. েকান িকৰ্েকট ক্লােব বয্ােটর সংখয্া 17 িট। নূ য্নতম কতজন সদসয্ থাকেল বলা যােব অন্তত একিট বয্াট একািধক
সদসয্ বয্বহার কের?
২. একিট বােস n জন যাতৰ্ী িছল। ডৰ্াইভার তােদরেক েদেখই বেল িদেলন ” এখােন অন্তত 2 জেনর জন্ম একই বাের।”
বােস নূ য্নতম কতজন যাতৰ্ী িছল?
এখন আমরা িপিজওনেহাল িপৰ্িন্সপাল বয্বহার কের একটা সমসয্া সমাধােনর েচষ্টা করব যা IM O েত এেসিছল!
2
1 িপিজওনেহাল িপৰ্িন্সপাল
সমাধান: সমাধানিটর জনয্ আমােদর পৰ্থেম সমসয্ােত ’িনেশ্ছদ’ শ িটর ভূ িমকা সম্পেকর্ ভাবেত হেব।
ধির, আমরা িভন্ন দু িট েসট েপেয় েগিছ যােদর েযাগফল সমান। তেব তােদর মেধয্ িকছু সাধারণ উপাদান আেছ। যিদ
A, B আমােদর পৰ্াপ্ত েসট হয়, তেব
A − (A ∩ B) এবং B − (A ∩ B) পৰ্েশ্নর শতর্ েমেন চেল এ দু িটর মেধয্ েকানিটই শূ নয্ েসট হওয়া সম্ভব নয়।
েকননা, A ̸= B ।
তার মােন আমরা ’িনেশ্ছদ’ শ িট বাদ িদেলও েকান সমসয্া হেব না। আমরা এিটেক িপিজওন েহাল িপৰ্িন্সপােলর সাহােযয্
সমাধান করেত চাই। েতা আমােদর েহাল আর িপিজওন খুঁজেত হেব। এখন, েযাগফলেক আিম সমান রাখেত চাই। তাই
এিটই নয্াচারাল েয আমরা েযাগফলেক িপিজওন েহাল আর েসট গুেলােক িপিজওন ধরেবা। এখন,
সবর্িনম্ন সম্ভাবয্ েযাগফল= 10
সেবর্াচ্চ সম্ভাবয্ েযাগফল= 99 + 98 + 97 + ..... + 90 = 945
তাই, 945 − 10 + 1 = 936 িট সম্ভাবয্ েযাগফল রেয়েছ।
এখন আমরা কবুতেরর সংখয্া, অথর্াৎ সম্ভাবয্ েসট িনণর্য় করব। যা মূ লত, 2n = 210 = 1024 > 936। তাহেল অবশয্ই
এমন দু িট েসট পাওয়া যােব যােদর েযাগফল সমান।
এখন আমরা আমােদর েচনা পিরিচত িপিজওনেহাল িপৰ্িন্সপাল েক েজনােরলাইজ করেবা।
িনেজ ভািব: যিদ 2n + 1 িট কবুতরেক n িট েখােপ রাখেত হয়, তাহেল সেবর্াচ্চ কবুতর িবিশষ্ট েখােপ কমপেক্ষ
কয়িট কবুতর থাকেতই হেব?
# যিদ েতামার কােছ k িট কবুতর আর n িট কবুতেরর েখাপ থােক, তাহেল েকান একিট েখােপ কমপেক্ষ ⌈ nk ⌉
িট কবুতর আেছ।
১. যিদ আমরা pq + 1 িট মুক্তা p িট বােক্স রািখ, তাহেল েদখাও েয, েকান একিট বােক্স q এর েচেয় েবিশ
সংখয্ক মুক্তা আেছ।
২. k েক বাড়ােত বাড়ােত অসীম কের েফলেল কী বলা যােব? [ ⌈ nk ⌉ → ∞ যখন k → ∞ , এর মােন কী? ]
উদাহরণ ৩: {1, 2, 3, .....2n} েসটটা েথেক n + 1 িট সংখয্া িনেল েদখাও েয এেদর মেধয্ দু িট সংখয্া আেছ যারা
পরস্পর সহেমৗিলক বা co − prime।
সমাধান: সহেমৗিলেকর কথা ভাবেল আমরা অেনক সময় েমৗিলক উৎপাদেক িবেশ্লষণ বয্বহার করেত েচষ্টা কের থািক।
দু ঃখজনকভােব এ সমসয্ায় তা অেতা সাহাযয্ কের না।
দু িট কৰ্িমক সংখয্া সব সময় সহ েমৗিলক হয়। তাই আমােদর এটুকু েদখেলই হেব েয আমােদর পৰ্াপ্ত েসেট দু িট কৰ্িমক
3
1 িপিজওনেহাল িপৰ্িন্সপাল
সংখয্া আেছ।
এবার আমােদর িপিজওন হেব উপাদানগুেলা আর িপিজওন েহাল হেব (1, 2), (3, 4), .....(2n − 1, 2n) এই েকৰ্ােমা-
েজাড়গুেলা।
সমাধান: বৃ ত্তিট 64 − 4 = 60 িট বগর্জুেড় অবস্থান করেছ। এখােন, িপিজওনেহাল িপৰ্িন্সপাল বয্বহার করেল একিট বগর্
পাওয়া যায় যােদর 2 িট িবন্দু আেছ।
√
এেক্ষেতৰ্ সেবর্াচ্চ দূ রতব্ 2।
4
1 িপিজওনেহাল িপৰ্িন্সপাল
১. নািহয়ান একিট েগালাকার েবােডর্ এমনভােব 7 িট িবন্দু িনেলা যােত েসগুেলার েযেকােনা দু িটর মেধয্ দূ রতব্ 1
অথবা 1 েথেক েবিশ। পৰ্মাণ কর েয, নািহয়ােনর িবন্দুগুেলার মেধয্ েবােডর্র েকন্দৰ্ও িছল। [ েবােডর্র বয্াসাধর্ 1 ]
২. পৰ্মাণ কর েয, a, b, c, d চারিট পূ ণর্সংখয্া হেল Z = (b − a)(c − a)(d − a)(c − b)(d − b)(d − c) , 12
দব্ারা িবভাজয্।
৩. ফািহম অিরতৰ্েক বলেলা একিট 8×8Grid এর সবগুেলা লয্ািটস পেয়ন্টেক লাল অথবা নীল রং করেত। তা না
েদেখই ফািহম বেল িদেলা েসখােন এমন একিট আয়ত আেছ যার চারিট শীষর্ই একই রংেয়র। িকভােব? এটা িক সকল
n×nGrid এর েক্ষেতৰ্ই হেব? এরকম n এর সবর্িনম্ন মান কত হেত পাের?
৪. জািহদ একটা েবােডর্ িবশিট িভন্ন িভন্ন ধনাত্মক পূ ণর্সংখয্া িনেলা, যােদর সবগুেলাই 70 অেপক্ষা েছাট। তারপর তােদর
মেধয্ যত রকেমর েজাড়া সম্ভব ততগুেলা িনেয় সবগুেলার জনয্ অন্তরফল েবােডর্ িলখল। পৰ্মাণ কর িদব্তীয় েবােডর্ চারিট
সংখয্া আেছ যারা পরস্পর সমান।
√
৫. েদখাও েয, েযেকােনা নয়িট বাস্তব সংখয্ার মেধয্ এমন দু ইিট সংখয্া a আর b পাওয়া যােব যােত 0 < 1+aba−b
< 2−1।
[Hint: tan(A − B) = 1+tanAtanB
tanA−tanB
]
৬. েদখাও েয, েকােনা একিট উত্তল 2n ভুেজ এমন একিট কণর্ আেছ যা েকান বাহুর সমান্তরাল নয়।
উদাহরণ ৫: একিট েটিবেলর চারপােশ n েদেশর পৰ্িতিনিধরা বেস আেছন (n ≥ 2), েযন দু ইজন পৰ্িতিনিধ একই
েদেশর হেল তােদর ডানিদেকর পৰ্িতেবশীরা দু িট িভন্ন েদেশর। পৰ্মাণ কর েয, সবর্ািধক n2 পৰ্িতিনিধ আেছ।
সমাধান: এখােন n েদশ েথেক n² এর েবিশ পৰ্িতিনিধ নয়’ িপিজয়নেহাল িনেদর্শ কের। যিদ আমােদর n² + 1 বা তার
েবিশ পৰ্িতিনিধ থােক, তাহেল একই েদশ েথেক অন্তত n + 1 জন পৰ্িতিনিধ েকােনা না েকােনা েদেশর জনয্ থাকেব।
একই েদেশর এই পৰ্িতিনিধেদর ডানিদেক থাকা n + 1 জন পৰ্িতিনিধেদর অবশয্ই আলাদা আলাদা েদেশর হেত হেব।
িকন্তু শুধু মাতৰ্ n িট েদশ আেছ, তাই আমােদর একিট দব্ন্দব্ সৃ িষ্ট হেয়েছ।
উদাহরণ ৬: S েক n সংখয্ক পূ ণর্সংখয্া িবিশষ্ট একিট েসট ধরা যাক। েদখাও েয, S এর একিট উপেসট T রেয়েছ
যােত T এর উপাদানগুিলর েযাগফল n দব্ারা িবভাজয্।
স্কৰ্য্াচওয়াকর্: পৰ্থম েয িজিনসিট আমরা লক্ষয্ কির তা হল S এর 2n িট উপেসট আেছ, িকন্তু n দব্ারা ভাগ করেল
শুধু মাতৰ্ n িট ভাগেশষ থাকেত পাের। তাই আমােদর এই সমসয্ায় পৰ্চুর লয্ািটিটউড রেয়েছ। (আমরা আশা কির আমােদর
n + 1 এর েথেক েবিশ কবুতর লাগেব না।) িবেবচনা করা যাক িকভােব আমরা এই পৰ্মােণ িপিজয়নেহাল যু িক্ত বয্বহার
করেত সক্ষম হব৷ যিদ আমরা S-এর T ′ এবং T ′′ দু িট উপেসট খুঁেজ পাই যােত পৰ্িতিটর েযাগফল একই অবিশষ্টাংশ
েশৰ্ণীেত থােক, তাহেল েযাগফেলর ”পাথর্কয্” n দব্ারা িবভাজয্ হেব। আমােদর উপেসটগুিল কীভােব ৈতির করা যায় তার
জনয্ এিট একিট বড় ক্লু, েযেহতু পাথর্কয্িট শুধু মাতৰ্ S-এর উপাদানগুিলর েযাগফল যিদ T ′ ; T ′′ এর একিট উপেসট হয়
(বা এর িবপরীত)। এিট মাথায় েরেখ, আমরা শুরু কির।
5
1 িপিজওনেহাল িপৰ্িন্সপাল
s 2 = a1 + a2
........
sn = a1 + a2 + ... + an
1 ≤ k ≤ n এর জনয্, sk েক n দব্ারা ভাগ করেল অবিশষ্টাংশ rk দব্ারা েবাঝােনা যাক।
যিদ rk এর েযেকােনা একিট 0 এর সমান হয়, তাহেল আমােদর কাজ েশষ। যিদ না হয়, তাহেল পৰ্িতিট rk েক
(1, 2, ..., n − 1) েসেটর একিট উপাদান হেত হেব । েযেহতু আমােদর n সংখয্ক ভাগেশষ আেছ, িপিজয়নেহাল নীিত
অনু সাের, rk এর দু িট মান সমান হেত হেব,ধির েসগুেলা ri এবং rj , েযখােন i < j । অনয্ কথায়, si এবং sj েক n
দব্ারা ভাগ করেল একই অবিশষ্টাংশ পাওয়া যায়, তাই তােদর পাথর্কয্ si − sj = ai+1 + ai+2 + ... + aj , n দব্ারা
িবভাজয্, যা আমােদর পছন্দসই উপেসট েদয়।
মন্তবয্ঃ আংিশক েযাগফল s1 , s2 , ..., sn এর ধারণা এখােন উপেযাগী িছল কারণ েযেকােনা দু িট আংিশক েযাগফেলর
পাথর্কয্ সবর্দা উপাদানগুিলর একিট উপেসেটর েযাগফল। একই েকৗশল উপেসেটর উপাদােনর েযাগফল জিড়ত অনয্ানয্
সমসয্ার েক্ষেতৰ্ পৰ্েয়াগ করা েযেত পাের। উপরন্তু, আমােদর শুধু মাতৰ্ n িট কবুতর এবং n িট গতর্ িছল লক্ষয্ কর।
আমরা ভাগেশষ 0 এর গতর্ বাদ িদেয় এই সমসয্া েথেক িনেজেদরেক উদ্ধার করেত সক্ষম হেয়িছ।েদখেত পােব েয িকছু
িপিজয়নেহাল এর সমসয্ায় n িট গতর্ এবং nk কবুতর রেয়েছ। এখােন দু িট েকস হয়: হয় পৰ্িতিট েখােপ k িট কবুতর
রেয়েছ অথবা িকছু েখােপ k + 1 কবুতেরর রেয়েছ। েতামােক উভয় েক্ষতৰ্ আলাদাভােব িটৰ্ট করেত হেব।
উদাহরণ ৭: ধর S হল 10 িট সব্তন্তৰ্ ধনাত্মক বাস্তব সংখয্ার একিট েসট। েদখাও েয, এমন x, y ∈ S িবদয্মান েযন,
সমাধান: এই সমসয্ািট েয িপজয়েনহাল নীিতর সােথ যু ক্ত হেত পাের তার পৰ্থম ইিঙ্গতিট হল ”িবদয্মান” শ িট। েদেখ
মেন হেচ্ছ আমরা ধনাত্মক বাস্তব সংখয্াগুিলেক 9 িট ভােগ উপিবভক্ত করেত চাই েযন যিদ দু িট সংখয্া েযেকান ভােগ
থােক, তাহেল এই অসমতা বজায় থােক। আসেল অেনক ময্ািনপুেলশন আেছ উত্তর েবর করার জনয্, িকন্তু সম্ভবত
সবেচেয় সু ন্দর উপলি হল েয আমরা 91 সংখয্ািট অজর্ন করেত পাির ভাগ করার মাধয্েম:
x−y 1
0< (1+x)(1+y)
< 9
আমরা এখােন যা কেরিছ তা হল বীজগািণিতক রািশেক উভয় পােশ ধৰ্ুবক দব্ারা আবদ্ধ কেরিছ। এটা েহল্পফুল।
এরপের আমরা বীজগািণিতক রািশেক আংিশক ভগ্নাংেশ িবভক্ত কির। আমরা পাই,
0< 1
1+y
− 1
1+x
< 1
9
এখন আমরা আমােদর পৰ্মাণ িলখেত পৰ্স্তুত।
S যিদ 10 িট সব্তন্তৰ্ ধনাত্মক বাস্তব সংখয্ার েকােনা েসট হয়, তাহেল েসটিট
T = { 1+x
1
: x ∈ S}
এিট 0 এবং 1 এর মেধয্ 10িট বাস্তব সংখয্ার একিট েসট (0 এবং 1 বয্তীত)। অতএব, নয়িট ইন্টারভােলর মেধয্
( n9 , n+1
9
], 0 ≤ n ≤ 8 এর জনয্, একিট বয্বধােন অবশয্ই T -এর দু িট উপাদান থাকেত হেব। িবেশষত, েযখােন
x, y ∈ S এবং িকছু পূ ণর্সংখয্া n আেছ েযন
n
9
1
< 1+x ≤ n+1
9
এবং
1
< 1+xn
9
≤ n+1
9
সাধারণ িবিধ বজায় েরেখ আমরা ধরেত পাির x > y, তাই
6
1 িপিজওনেহাল িপৰ্িন্সপাল
x − y = (1+x)(1+y)
x−y
.(1 + x)(1 + y)
= ( 1+y − 1+x ).(1 + x)(1 + y)
1 1
উদাহরণ ৮: ধর S হল 1 েথেক 100 এর মেধয্ (1 এবং 100 সহ) 55 িট সব্তন্তৰ্ ধনাত্মক পূ ণর্সংখয্ার একিট েসট।
েদখাও েয, S এর দু িট উপাদান থাকেত হেব যােদর পাথর্কয্ 9, দু িট উপাদান যােদর পাথর্কয্ 10, দু িট যােদর পাথর্কয্ 12
এবং দু িট যােদর পাথর্কয্ 13 , তেব অপিরহাযর্ নয় েয দু িট উপাদােনর পাথর্কয্ 11 হেব।
সমাধান: S-এর 55িট পূ ণর্সংখয্ােক x1 < x2 < ... < x55 এভােব সাজাই। পৰ্থেম, আমরা S-এ দু িট সংখয্া খুঁেজ
েবর করার েচষ্টা কির যােদর পাথর্কয্ 9। S-এর পৰ্িতিট সংখয্ার সােথ 9 েযাগ করেল আমরা েয সংখয্াগুিল পাই, তার
েসট T ধরা যাক, তাই T -এর 55িট পূ ণর্সংখয্া-
x1 + 9 < x2 + 9 < ... < x55 + 9
তদু পির, T -এর পৰ্িতিট সংখয্া 10 এবং 109 এর মেধয্ রেয়েছ। তাই, S এবং T েসেটর 110 িট সংখয্া 1 এবং
109-এর মেধয্ রেয়েছ। িপিজয়নেহাল নীিত অনু সাের, এই 110 সংখয্ার মেধয্ দু িট সমান। অনয্ কথায়, S এবং T েসেট
একিট উপাদান িমল রেয়েছ। েযেহতু T এর এই উপাদানিট পৰ্াপ্ত হেয়িছল S-এর উপাদােনর সােথ 9 েযাগ কের, আমরা
উপসংহাের েপৗঁেছিছ েয S-এ দু িট উপাদান আেছ যা 9 দব্ারা পৃথক।
দু ভর্াগয্বশত, একই পদ্ধিত 10, 12, বা 13 এর েক্ষেতৰ্ কাজ কের না। আমােদর অবশয্ই অনয্ পদ্ধিতর সন্ধান করেত
হেব।
পৰ্থেম, আমরা েদখােত চাই েয S-এ দু িট সংখয্া আেছ েযগুিলর পাথর্কয্ 10। উদাহরণসব্রূপ, 1 এবং 11 সংখয্াগুিল 10
দব্ারা পৃথক হয়, সু তরাং 1 এবং 11 উভয়ই S-এ থাকেল আমােদর কাজ েশষ। একইভােব, যিদ 2 এবং 12 উভয়ই S
এ থােক তাহেলও হেব। এরকম আেরা অেনকগুেলা সম্ভাবনা রেয়েছ। এিট আমােদর 1 েথেক 100 পযর্ন্ত সমস্ত সংখয্ােক
50 েজাড়ায় ভাগ করার ধারণা েদয়, যােত পৰ্িতিট েজাড়ার দু িট সংখয্া 10 দব্ারা পৃথক হয়:
েযেহতু 55 > 50 , িপিজয়নেহাল নীিত অনু সাের, S-এর 55 িট সংখয্ার মেধয্ দু িট একই েজাড়ার অন্তগর্ত, যা 10 দব্ারা
পৃথক।