Metode Teorema Mekanis

Metode Teorema Mekanis dianggap sebagai salah satu karya utama yang masih hidup dari Yunani kuno polymath Archimedes. Metode mengambil bentuk surat dari Archimedes kepada Eratosthenes, kepala pustakawan di Perpustakaan Alexandria, dan berisi penggunaan eksplisit pertama yang terbukti dari indivisibles . Karya tersebut awalnya dianggap hilang, tetapi pada tahun 1906 ditemukan kembali di Archimedes Palimpsest. Palimpsest mencakup akun Archimedes tentang "metode mekanis", yang disebut demikian karena ia bergantung pada hukum tuas, yang pertama kali didemonstrasikan oleh Archimedes, dan dari pusat massa, yang telah dia temukan untuk banyak bentuk khusus. Archimedes tidak mengakui metode indivisibles sebagai bagian dari matematika yang ketat, dan karena itu tidak mempublikasikan metodenya dalam risalah formal yang berisi hasil. Dalam risalah ini, ia membuktikan teorema yang sama dengan metode penghabis, menemukan batas atas dan bawah yang ketat yang keduanya bertemu dengan jawaban yang diperlukan. Namun demikian, metode mekanis adalah apa yang dia gunakan untuk menemukan hubungan yang kemudian dia berikan bukti yang kuat.