19-08-2008, 13:00
Teorem : Dünyadaki ağaç sayısına t , herhangi bir ağaçtaki en çok yaprak sayısına da m diyelim.eğer t, m+1 den büyükse, yaprak sayısı aynı olan en az iki ağaç vardır.
İspat : Herhangi bir ağaçtaki en çok yaprak sayısı m olduğuna göre, her ağacın 0 , 1 , 2 , 3 , ... veya m yaprağı olacaktır.yerde sıralanmış m+1 kutu olduğunu ve bunların sırayla 0 , 1 , 2 , 3 , ... , m sayılarıyla etiketlenmiş olduğunu düşünün.şimdi de dünyadaki ağaçları (uygun biçimde küçültülmüş boyutlarda) sırayla odaya aldığınızı düşünün.her ağacı, onun yaprak sayısıyla etiketlenmiş kutuya koyun(yapraksız bir ağaç 0 etiketli kutuya, 1 yapraklı ağaç 1 etiketli kutuya, 2 yapraklı bir ağaç 2 etiketli kutuya vb.).
yalnızca m+1 kutumuz var ve hipotezden(teoremde kabul etmiştik t , m+1 den büyük olsun diye) dolayı bundan çok sayıda ağaç var.öyleyse , dünyadaki bütün ağaçlar odaya getirildiğinde, kutulardan birinde en az iki ağaç olacaktır.öyleyse, en az iki ağacın aynı sayıda yaprağı vardır(eğer 1729 numaralı kutuda, örneğin, iki ağaç varsa bu iki ağacın yaprak sayısı tam olarak 1729 dur)
İspat : Herhangi bir ağaçtaki en çok yaprak sayısı m olduğuna göre, her ağacın 0 , 1 , 2 , 3 , ... veya m yaprağı olacaktır.yerde sıralanmış m+1 kutu olduğunu ve bunların sırayla 0 , 1 , 2 , 3 , ... , m sayılarıyla etiketlenmiş olduğunu düşünün.şimdi de dünyadaki ağaçları (uygun biçimde küçültülmüş boyutlarda) sırayla odaya aldığınızı düşünün.her ağacı, onun yaprak sayısıyla etiketlenmiş kutuya koyun(yapraksız bir ağaç 0 etiketli kutuya, 1 yapraklı ağaç 1 etiketli kutuya, 2 yapraklı bir ağaç 2 etiketli kutuya vb.).
yalnızca m+1 kutumuz var ve hipotezden(teoremde kabul etmiştik t , m+1 den büyük olsun diye) dolayı bundan çok sayıda ağaç var.öyleyse , dünyadaki bütün ağaçlar odaya getirildiğinde, kutulardan birinde en az iki ağaç olacaktır.öyleyse, en az iki ağacın aynı sayıda yaprağı vardır(eğer 1729 numaralı kutuda, örneğin, iki ağaç varsa bu iki ağacın yaprak sayısı tam olarak 1729 dur)