Deduction, contradiction and counterexamples
Diperkenalkan| English | Makna |
|---|---|
| counterexample/ˈkaʊntəreɡzæmpl/ | contoh penyangkal |
Kapan sebuah pola menjadi sebuah pembuktian?
- Memeriksa beberapa bilangan bulat dapat mengindikasikan suatu pola. Apa yang mengubah pola tersebut menjadi pembuktian untuk setiap bilangan bulat?
- Pelajaran ini mempelajari kontrapel举例: Sebuah kasus valid tunggal yang membantah klaim universal.
Pilih struktur matematika
- Pembuktian deduktif dimulai dari definisi atau asumsi yang dinyatakan. Kontrapel举例 membantah klaim yang berlaku untuk semua nilai. Untuk kontradiksi, asumsikan sebaliknya dan turunkan ketidakmungkinan. Untuk pengurasan (exhaustion), periksa setiap kasus dalam daftar lengkap terbatas.
- Nyatakan input yang diperbolehkan dan satuan sebelum menghitung. Persamaan harus mengekspresikan hubungan, bukan sekadar mencatat entri kalkulator.
Why does n=41 disprove "n²+n+41 is prime for every positive integer n"?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
A universal claim falls to one counterexample. At n=41 the value is 41×43, divisible by 41, so not prime - no further cases are needed.
Kerjakan kasus yang dicek
- Periksa hasilnya terhadap besaran awal. Substitusikan ke dalam hubungan asli, atau bandingkan grafik dan jawaban numerik jika sesuai.
Bilangan ganjil 2a+1 dan 2b+1 memiliki jumlah 2(a+b+1), sehingga genap. Untuk membantah bahwa n²+n+41 selalu prima, gunakan n=41: nilainya adalah 41×43=1763. Dalam pembuktian kontradiksi bahwa √2 adalah irasional, asumsikan √2=p/q dalam bentuk paling sederhana; p²=2q² memaksa p dan q keduanya genap, bertentangan dengan bentuk paling sederhana.
Deduction, contradiction and counterexamples
A deductive proof starts from stated definitions or assumptions
Distinguish a proof for all integers from one counterexample.
Evaluate n²+n+41 at n=41.
Difficulty 2/5 · 140 coins + a small bonus on first completion today
At n=41 the value is 41²+41+41=41×43=1763.
Uji jalan pintas yang menggoda
- Jangan mengasumsikan kesimpulan saat membuktikannya. Sebaliknya, identifikasi konsekuensi yang mustahil dan tolak asumsi awal yang bertentangan tersebut. Induksi tidak wajib dalam AQA 7357; hal ini termasuk dalam cakupan matematika lanjutan yang sesuai.
- Ketika jalan pintas gagal, identifikasi asumsi yang dilanggar. Pertahankan nilai eksak hingga pembulatan akhir yang diminta.
Memeriksa sepuluh bilangan pertama membuktikan klaim untuk setiap bilangan bulat positif. Klaim ini salah. Jelaskan definisi atau asumsi mana yang dilanggar.
For 2a+1 and 2b+1 with a=3,b=4, find their sum.
Difficulty 2/5 · 140 coins + a small bonus on first completion today
The two odd integers are 7 and 9, whose sum is 16.
Checking the first ten integers proves a claim for every positive integer.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Do not assume the conclusion while proving it. In contradiction, identify the impossible consequence and reject the initial contrary assumption. Induction is not compulsory in AQA 7357; it belongs in its own appropriate further-mathematics scope.
Interpretasikan situasi baru
- Pembuktian AQA mencakup deduksi, pengurasan (exhaustion), dan kontradiksi. IAL P2 memperkenalkan pengurasan dan contoh penyangkal, sedangkan P4 memperkenalkan kontradiksi. Sesuaikan metode dengan unit yang dinamai.
- Solusi lengkap memberikan hasil matematis dan menjelaskan maknanya. Periksa apakah hal itu mungkin dalam konteks yang dinyatakan.
Find 1+2+...+20.
Difficulty 2/5 · 140 coins + a small bonus on first completion today
Pair the endpoints: 20 terms have average 10.5, giving 20×10.5=210.
Match each proof method to its structure.
Difficulty 2/5 · 140 coins + a small bonus on first completion today
Each method has a required structure; checking many cases is evidence but never a proof of a universal claim.
Gunakan ini dalam kursus anda
- 7357 · A-level · A. Sesuaikan tier target dan spesifikasi sebelum menetapkan ekstensi.
- Berikan metodenya sebelum jawaban akhir, dan gunakan aturan kalkulator serta rumus pada kertas ujian. Tinjau jawaban yang salah dengan menemukan langkah pertama yang tidak valid.
Satu kasus valid yang membantah klaim universal. Pilih hubungannya, tunjukkan metodenya, periksa asumsinya, dan interpretasikan hasilnya.