Cavalieri Prensibi: Dilimlerini Sayarak Bir Cismin Hacmini Bulmak

Bir somun ekmek aldığınızı düşünün. Düzgün, silindirik bir somun. Bıçakla yatay olarak yüz tane ince dilim kestiniz. Şimdi bir oyun: dilimleri yatay olarak rastgele kaydırın. Üstteki dilimleri biraz sağa, alttakileri sola; ortaya bir tür "Pisa Kulesi ekmek" çıksın. Bir saniye sorun: bu yeni biçimde toplam ekmek miktarı (yani hacim) değişti mi?

Sezgi "hayır" diyor. Dilimleri kaydırdık ama hiç ekmek eklemedik, hiç ekmek çıkarmadık. Her seviyede aynı alanda bir dilim duruyor. Tek değişen, dilimlerin yatay konumu — ki bu hacmi etkilemez.

İtalyan matematikçi Bonaventura Cavalieri (1598–1647), 17. yüzyıl başında bu sade fikri matematiksel bir ilkeye dönüştürdü. Bugün Cavalieri prensibi denir:

İki cisim aynı yükseklikteyse ve her seviyede aynı kesit alanına sahipse, hacimleri eşittir.

Aynı fikir iki boyutta da geçerlidir:

İki düzlem şekli aynı yatay aralıkta tanımlıysa ve her yatay doğruda aynı genişlikteyse, alanları eşittir.

Bu kısa cümleler, kalkülüsün doğmasına giden zincirin önemli halkalarından biridir.

Sade bir örnek

Kenarı $a$ olan bir küp ile, tabanı $a \times a$ olan ama tepesi sağa kaydırılmış (yamuk yamuk dik olmayan) bir prizmayı düşünün. İkisi de aynı yükseklikte. İkisi de her yükseklikte aynı $a \times a$ kesit alanına sahip.

Cavalieri prensibi der ki: ikisinin hacmi de $a^3$. Eğri prizmanın "yamuk olduğu" hacmi değiştirmez.

Aynı şey çok daha güzel bir örneğe götürür.

Yarımküre ile çıkarılmış silindirin hacmi

Cavalieri'nin en şaşırtıcı uygulaması, yarımküre ile silindirden çıkarılmış koni arasındaki ilişki olur. Aşağıdaki iki cismi düşünün:

1. Cisim A: Yarıçapı $R$ olan bir yarımküre. Tabanı yere değiyor, kubbesi yukarı.
2. Cisim B: Yarıçapı $R$, yüksekliği $R$ olan bir silindirin içinden, tepesi aşağıda olan bir koninin (yarıçapı $R$, yüksekliği $R$) çıkarılmış hâli.

Bu iki cismin her yatay seviyede kesit alanlarına bakalım. Yerden $h$ yükseklikte:

• Yarımküre A: Kesit, yarıçapı $\sqrt{R^2 - h^2}$ olan bir dairedir. Alanı $\pi (R^2 - h^2)$.
• Silindir – koni B: Silindirin kesiti $\pi R^2$. Koninin kesiti $\pi h^2$ (basit benzerlik). Bunların farkı $\pi (R^2 - h^2)$.

İki cismin her seviyedeki kesitleri aynı. Demek ki hacimleri eşit!

Silindir hacmi $\pi R^2 \cdot R = \pi R^3$. Koni hacmi $\tfrac{1}{3}\pi R^2 \cdot R = \tfrac{1}{3}\pi R^3$. Bunların farkı:

$\pi R^3 - \frac{1}{3}\pi R^3 = \frac{2}{3}\pi R^3$

Demek ki yarımkürenin hacmi $\tfrac{2}{3}\pi R^3$, yani kürenin tam hacmi:

$V = \frac{4}{3} \pi R^3$

Arşimet'in 2200 yıl önce daha zor bir yoldan elde ettiği sonuç, Cavalieri prensibiyle iki adımda çıktı. Bu, ilkenin matematik tarihindeki gücünün açık bir örneğidir.

Pisa Kulesi ve eğri silindirler

Cavalieri prensibinin başka pratik bir sonucu: yatay olarak kaydırılan dilimlerden oluşan bir cismin hacmi, hiç kaydırılmamış orijinal cismin hacmiyle aynıdır. Bu nedenle bir "eğri" silindir (Pisa Kulesi gibi — her seviyede aynı dairesel kesit ama ekseni yatık), aynı yüksekliklerdeki düz silindirle aynı hacme sahiptir.

Daha güçlü hâliyle: bir cismin hacmi, içindeki dilimlerin yatay konumuna değil, sadece her seviyedeki kesit alanına ve yüksekliğine bağlıdır.

Tarihsel önemi

Cavalieri'nin yöntemi 17. yüzyıl başı için bir devrimdi. Antik Yunan'da Eudoxus ve Arşimet'in "tüketme yöntemi" (method of exhaustion) zorlu, döngülerle dolu, sıkıştırıcı argümanlarla çalışırdı. Cavalieri, alanları ve hacimleri "bölünmezler" (indivisibles) — yani sonsuz ince dilimlerin toplamı olarak — düşünme önerdi. Bu fikir, henüz tam titiz değildi (modern epsilon-delta kalkülüsü 19. yüzyılda gelecekti) ama hesabı dramatik biçimde hızlandırdı.

Cavalieri'nin Geometria Indivisibilibus Continuorum Nova Quadam Ratione Promota (1635) adlı kitabı, dönemin matematikçilerinin "bölünmezler yöntemi"ni kullanma alışkanlığını yerleştirdi. Bu yöntem sonra şu isimlerin elinde gelişti:

• John Wallis (İngiltere, 1656) — Arithmetica Infinitorum, modern integralin doğrudan öncüsü.
• Pierre de Fermat ve Blaise Pascal — alan hesaplama tekniklerinin geliştirilmesi.
• Isaac Newton ve Gottfried Wilhelm Leibniz (1670'ler) — modern kalkülüsün resmi kuruluşu.

Yani modern integral kavramı, Cavalieri'nin "sonsuz ince dilim" sezgisinin titizleştirilmiş hâlidir.

Cavalieri kimdi?

Bonaventura Cavalieri, 1598'de Milano'da doğdu. Jesuati tarikatına girdi (Cizvitlerle karıştırmayın); din görevlisi olarak yetiştirildi ama matematikle aktif olarak ilgilenmesi onun için bir yan-iştir. Galileo'nun bizzat öğrencisi sayılır; onun mektup arkadaşı ve fikir destekçisi oldu.

Cavalieri'nin matematik eğitim hayatı parlak olsa da, ilerleyen yıllarda gut hastalığı yaşamını çok zorlaştırdı. Birçok eserini ağır acılar içinde yazdı. 1647'de, sadece 49 yaşındayken Bologna'da öldü. Galileo, onu döneminin en zarif matematik zihinlerinden biri olarak anardı.

Bir sezgi olarak güç

Cavalieri prensibinin belki en güzel yanı, sadece kanıtlamak değil, sezgisel olarak anlamak için bile kullanılabilmesidir. Ortaokul öğrencisine küre hacminin neden $\tfrac{4}{3}\pi R^3$ olduğunu açıklamak için kalkülüs gerekmez; iki silindir, bir koni ve bir yarımkürenin yan yana konulmuş resmi yeter. Bu, hem öğrenme açısından hem de matematik felsefesi açısından güçlü bir derstir: bazen bir teoremi anlamanın en iyi yolu, onu canlandırmaktır.

Bir sonraki sefer karşınıza çıkan bir cismin hacmini hesaplarken — bir bardak çayın silindirik hacmini, bir kek kalıbının yamuk hacmini, ya da Pisa Kulesi'nin eğri silindir hacmini — Cavalieri'nin 17. yüzyıl Bologna'sındaki bölünmez fikrini hatırlayabilirsiniz. Bir bıçak, bir somun ekmek ve birkaç dilim — geometri bazen bu kadar sade olabilir.