Pembuktian tanpa kalimat

Pada matematika, pembuktian tanpa kalimat (atau pembuktian visual) adalah ilustrasi dari identitas atau pernyataan matematika yang dapat didemonstrasikan sebagai bukti mandiri oleh diagram tanpa kalimat penjelas. Pembuktian seperti ini dapat dikatakan lebih elegan daripada pembuktian formal atau teliti oleh karena sifat pembuktian mandirinya. Ketika diagram mendemonstrasikan kasus spesifik dari pernyataan umum, diagram tersebut harus digeneralisasikan agar menjadi pembuktian matematika.

Pembuktian tanpa kalimat tidak sama dengan pembuktian matematika karena ia menghilangkan detail dari argumen logis yang diilustrasikannya. Namun, pembuktian ini dapat memberikan intuisi yang berharga terhadap pemirsa yang dapat membantu mereka memformulasikan atau memahami pembuktian nyata.

Contoh

Jumlah dari bilangan ganjil

Pernyataan bahwa penjumlahan semua bilangan ganjil positif hingga adalah kuadrat sempurna&emdash;lebih spesifik, kuadrat sempurna dari &emdash;dapat didemonstrasikan oleh pembuktian tanpa kalimat.

Pada satu sisi kisi-kisi, satu blok merepresentasikan 1, kuadrat pertama. Bilangan tersebut dapat dibungkus pada dua sisi oleh garis dari tiga blok (bilangan ganjil selanjutnya) untuk membuat block, kuadrat kedua. Dengan menambahkan lima blok akan membuat , kuadrat ketiga. Proses ini dapat berlanjut tanpa batas.

Teorema Pythagoras

Teorema Pythagoras yang menyatakan bahwa dapat dibuktikan tanpa kalimat.

Salah satu metode untuk membuktikannya adalah dengan memvisualisasikan persegi yang besar dengan panjang sisi , dengan empat segitiga siku-siku yang memiliki panjang , , dan pada sisi-sisinya. Hal ini akan membuat ruang kosong persegi diagonal dengan area . Empat segitiga tersebut dapat ditata ulang pada persegi yang lebih besar untuk membagi ruang yang tidak digunakan menjadi dua persegi dan .

Pertidaksamaan Jensen

Pertidaksamaan Jensen dapat juga dibuktikan secara visual. Kurva garis putus-putus sepanjang sumbu adalah distribusi hipotesis dari , sementara kurva garis putus-putus sepanjang sumbu adalah distribusid dari nilai . Pemetaan cembung dari semakin meregangkan distribusi tersebut semakin bertambahnya nilai .

Penggunaan

Mathematical Magazine dan The College Mathematics Journal menjalankan fitur reguler yang berjudul "Pembuktian tanpa kalimat" yang bersisi, sesuai dengan judulnya, pembuktian tanpa kalimat. Situs web The Art of Problem Solving dan USAMTS menjalankan applet Java yang mengilustrasikan pembuktian tanpa kalimat.

Perbandingan terhadap pembuktian formal

Agar pembuktian dapat diterima oleh komunitas matematika, pembuktian tersebut harus menunjukkan secara logis bagaimana pernyataan tersebut dapat membuktikan secara total dan tak diragukan suatu set asumsi. Pembuktian tanpa kalimat mungkin menyiratkan argumen tersebut, tetapi ia tidak membuatnya secara langsung. Jadi, pembuktian tanpa kalimat tidak dapat menjadi pembuktian formal ketika dibutuhkan. Lebih tepatnya, matematikawan menggunakan pembuktian tanpa kalimat sebagai ilustrasi dan alat pengajaran untuk ide yang telah dibuktikan secara formal.

Referensi

Daftar pustaka

• .

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 29207626 (2026-05-09T21:44:37Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.