### Mga Paraan ng Pagpapatunay sa Matematika
Ang patunay sa matematika ay isang pundasyon ng pag-iisip sa matematika at ang pundasyon kung saan nakabatay ang buong disiplina ng matematika. Ang mga patunay ay nagsisilbing patunay sa kawastuhan ng mga haka-haka, teorema, at mga pahayag sa matematika. Ang kahusayan sa iba't ibang pamamaraan ng patunay ay mahalaga para sa mga matematiko, siyentipiko, inhinyero, at sinumang kasangkot sa mahigpit na analitikal na pag-iisip. Sinusuri ng artikulong ito ang iba't ibang uri ng mga pamamaraan ng patunay sa matematika, na nagpapakita kung paano nagdadala ang bawat pamamaraan ng natatanging kalakasan sa larangan ng pagpapatunay sa matematika.
#### 1. Direktang Patunay
Ang direktang patunay ay nailalarawan sa pamamagitan ng isang direktang pamamaraan kung saan ang konklusyon ay direktang hinango mula sa ibinigay na mga premisa gamit ang isang pagkakasunud-sunod ng mga lohikal na hakbang. Ang pamamaraang ito ay malawakang itinuturing na ang pinaka-intuitive at elementarya na anyo ng patunay.
Halimbawa:
Upang patunayan na ang kabuuan ng anumang dalawang even na numero ay even:
1. Hayaang ang \( a \) at \( b \) ay dalawang magkaparehong numero.
2. Ayon sa kahulugan, \( a = 2k \) at \( b = 2m \) para sa ilang integer \( k \) at \( m \).
3. Ang kabuuan \( a + b = 2k + 2m = 2(k + m) \).
4. Dahil ang \( k + m \) ay isang integer, ang \( a + b \) ay pantay.
#### 2. Hindi Tuwirang Patunay
Ang di-tuwirang patunay, na kadalasang kasingkahulugan ng patunay sa pamamagitan ng kontradiksyon, ay kinabibilangan ng pag-aakalang ang negasyon ng pahayag ay mapapatunayan at pagpapakita na ang palagay na ito ay humahantong sa isang lohikal na kontradiksyon. Ang implikasyong ito ay nagpapahiwatig na ang orihinal na pahayag ay totoo.
Halimbawa:
Para patunayan na ang \(\sqrt{2}\) ay hindi makatwiran:
1. Ipagpalagay na ang kabaligtaran, na ang \(\sqrt{2}\) ay makatuwiran.
2. Kung gayon, ang \(\sqrt{2} = \frac{p}{q}\) kung saan ang \( p \) at \( q \) ay coprime (ibig sabihin, ang kanilang greatest common divisor ay 1).
3. Pagkukuwadrado sa magkabilang panig, \( 2 = \frac{p^2}{q^2} \), kaya \( 2q^2 = p^2 \).
4. Samakatuwid, ang \( p^2 \) ay pantay, na nagpapahiwatig na ang \( p \) ay pantay din (dahil ang parisukat ng isang odd number ay odd).
5. Hayaang ang \( p = 2k \) para sa ilang integer \( k \). Kung gayon \( 2q^2 = (2k)^2 = 4k^2 \), kaya \( q^2 = 2k^2 \).
6. Ipinahihiwatig nito na ang \( q^2 \) ay pantay, at samakatuwid ang \( q \) ay dapat na pantay.
7. Gayunpaman, sinasalungat nito ang palagay na ang \( p \) at \( q \) ay coprime dahil pareho silang pantay.
8. Samakatuwid, ang \(\sqrt{2}\) ay dapat na hindi makatwiran.
#### 3. Patunay sa Pamamagitan ng Pagkahapo
Ang patunay sa pamamagitan ng pagkaubos, o pagsusuri ng kaso, ay kinabibilangan ng paghahati-hati ng pahayag sa isang limitadong bilang ng mga kaso at pagpapatunay na ang bawat kaso ay totoo. Ang pamamaraang ito ay partikular na kapaki-pakinabang kapag ang bilang ng mga kaso ay kayang pamahalaan.
Halimbawa:
Patunayan na ang isang parisukat ng isang integer ay palaging hindi negatibo:
1. Isaalang-alang ang integer na \(n \).
2. Kaso 1: \( n \geq 0 \). Sa kasong ito, \( n^2 \geq 0 \).
3. Kaso 2: \( n < 0 \). Dito, \( n^2 = (-n)^2 \), na nananatiling \(\geq 0 \).
Sa konklusyon, sa lahat ng kaso, ang \( n^2 \) ay hindi negatibo.
#### 4. Patunay sa Pamamagitan ng Induction Ang matematikal na induction ay isang makapangyarihang pamamaraan na partikular na kapaki-pakinabang sa pagpapatunay ng mga pahayag tungkol sa mga integer. Ito ay kinabibilangan ng dalawang pangunahing hakbang: ang base case, na nagpapatunay sa pahayag para sa inisyal na halaga, at ang inductive step, na nagpapatunay na kung ang pahayag ay totoo para sa isang arbitraryong integer na \( k \), ito rin ay totoo para sa \( k+1 \).
Halimbawa: Patunayan na para sa bawat integer \( n \geq 1 \), ang kabuuan ng unang \( n \) positibong integer ay \( \frac{n(n+1)}{2} \): 1. Batayang Kaso: Para sa \( n = 1 \), ang kaliwang bahagi ay \( 1 \) at ang kanang bahagi ay \( \frac{1(1+1)}{2} = 1 \). Totoo ang batayang kaso.
2. Hakbang na Induktibo: Ipagpalagay na ang pahayag ay totoo para sa ilang integer \( k \); ibig sabihin, \( 1 + 2 + \cdots + k = \frac{k(k+1)}{2} \).
3. Kailangan nating patunayan na \( 1 + 2 + \cdots + k + (k+1) = \frac{(k+1)(k+2)}{2} \).
Simula sa induktibong teorya: \( 1 + 2 + \cdots + k + (k+1) = \frac{k(k+1)}{2} + (k+1) \) \( = \frac{k(k+1) + 2(k+1)}{2} \) \( = \frac{(k+1)(k+2)}{2} \).
Kaya, sa pamamagitan ng induksiyon, ang pahayag ay may bisa para sa lahat ng \( n \geq 1 \).
#### 5. Patunay sa Pamamagitan ng Konstruksyon Ang patunay sa pamamagitan ng konstruksyon ay nagpapakita ng pagkakaroon ng isang matematikal na bagay sa pamamagitan ng tahasang pagbuo ng bagay. Ang pamamaraang ito ay kadalasang nagbibigay ng mas maraming kaalaman kumpara sa isang hindi nakabubuo na patunay.
Halimbawa: Patunayan na mayroong isang pantay na prime number: 1. Isaalang-alang ang numero 2.
2. Ayon sa kahulugan, ang 2 ay prime dahil mayroon itong eksaktong dalawang magkaibang positibong divider: 1 at 2.
3. Ang 2 ay pantay din dahil nakikita ito ng 2.
4. Samakatwid, ang 2 ay isang pantay na prima na numero.
#### 6. Patunay sa Pamamagitan ng Kontra-halimbawa Bagama't hindi isang paraan ng pagpapatunay, ang pagbibigay ng kontra-halimbawa ay isang mabisang paraan upang pabulaanan ang isang pahayag sa pamamagitan ng pagpapakita na kahit isang kaso ay nabigo. Ang pamamaraang ito ay partikular na kapaki-pakinabang para sa pagpapawalang-bisa sa mga hypotheses at haka-haka.
Halimbawa: Pabulaanan ang pahayag na "Lahat ng prime number ay odd": 1. Isaalang-alang ang numero 2.
2. Gaya ng ipinakita kanina, ang 2 ay isang prime number.
3. Ang 2 ay pantay din, hindi kakaiba.
4. Samakatuwid, ang pahayag na "Lahat ng prime number ay odd" ay mali.
#### 7. Patunay sa Pamamagitan ng Kontrapositibo Ang pamamaraang ito ay kinabibilangan ng pagpapatunay ng kontrapositibo ng isang ibinigay na implikasyon. Ang kontrapositibo ng isang pahayag na "Kung P, kung gayon Q" ay "Kung hindi Q, kung gayon hindi P." Ang parehong pahayag ay lohikal na magkatumbas, kaya ang pagpapatunay ng kontrapositibo ang nagpapatunay sa orihinal na pahayag.
Halimbawa: Patunayan na “Kung ang isang numero ay nakikita ng 6, ito ay nakikita ng 3” sa pamamagitan ng kontrapositibo: 1. Ang kontrapositibo ay "Kung ang isang numero ay hindi nakikita ng 3, hindi ito nakikita ng 6".
2. Ipagpalagay na ang isang numerong \(n \) ay hindi nakikita ng 3.
3. Nangangahulugan ito na walang integer \( k \) kung saan \( n = 3k \
