### Methodi Demonstrationis Mathematicae
Demonstratio mathematica est fundamentum cogitationis mathematicae et fundamentum super quod tota disciplina mathematicae aedificatur. Demonstrationes serviunt ad confirmandam rectitudinem coniecturarum, theorematum, et enuntiatorum mathematicorum. Peritia variarum technicarum demonstrationis est essentialis mathematicis, scientificis, ingeniariis, et omnibus qui in cogitatione analytica rigorosa versantur. Hic articulus explorat genera varia methodorum demonstrationis mathematicae, demonstrans quomodo quaeque methodus vires singulares ad regnum validationis mathematicae afferat.
#### 1. Probatio Directa
Demonstratio directa methodo simplici insignitur, ubi conclusio ex datis praemissis directe derivatur, serie graduum logicorum utens. Haec methodus late habetur ut forma demonstrationis maxime intuitiva et elementaria.
example:
Ad demonstrandum summam duorum quorumlibet numerorum parium parem esse:
1. Sint \(a\) et \(b\) duo numeri pares.
2. Per definitionem, (a = 2k) et (b = 2m) pro quibusdam numeris integris (k) et (m).
3. Summa (a + b = 2k + 2m = 2(k + m))
4. Quoniam ∫(k + m) est numerus integer, ∫(a + b) est par.
#### 2. Demonstratio Indirecta
Demonstratio indirecta, saepe synonyma cum demonstratione per contradictionem, implicat assumptionem negationis enuntiationis probandae et demonstrationem huius assumptionis ad contradictionem logicam ducere. Haec implicatio significat enuntiationem originalem veram esse.
example:
Ad demonstrandum \(\sqrt{2}\) irrationalem esse:
1. Contrarium assumamus, \(\sqrt{2}\) esse rationalem.
2. Tum ∑ = p/q ubi p et q sunt primi inter se (id est, maximus communis divisor eorum est 1).
3. Quadrando utramque partem, (2 = \frac{p^2}{q^2}), ergo (2q^2 = p^2).
4. Ergo, \(p^²\) est par, quod implicat \(p\) etiam par esse (cum quadratum numeri imparis sit impar).
5. Sit (p = 2k) pro quodam numero integro (k). Tum (2q² = (2k)² = 4k²), ergo (q² = 2k²).
6. Hoc implicat \(q^²\) parem esse, et ideo \(q\) parem esse debere.
7. Hoc autem assumptioni (p) et (q) inter primos esse, cum ambo pares sint, contradicit.
8. Ergo, \(\sqrt{2}\) irrationalis esse debet.
#### 3. Demonstratio per Exhaustionem
Demonstratio per exhaustionem, sive analysis casuum, implicat divisionem enuntiationis in numerum finitum casuum et demonstrationem uniuscuiusque casus verum esse. Haec methodus utilis est praesertim cum numerus casuum satis parvus est.
example:
Demonstra quadratum numeri integri semper non negativum esse:
1. Numerum integrum \(n \) considera.
2. Casus 1: (n ≤ 0). Hoc in casu, (n² ≤ 0).
3. Casus 2: (n < 0). Hic, (n² = (-n)²), quod adhuc est (∫₀).
Conclusive, in omnibus casibus, \(n^2 \) non negativum est.
#### II. Demonstratio per Inductionem Inductio mathematica est methodus potens, praesertim utilis ad demonstrandas enuntiationes de numeris integris. Duo gradus principales complectitur: casum basicum, qui enuntiatum pro valore initiali verificat, et gradum inductivum, qui demonstrat si enuntiatum valet pro numero integro arbitrario ∫(k), etiam valere pro ∫(k+1).
Exemplum: Demonstra pro quolibet numero integro \(n \geq 1 \), summam primorum \(n \) numerorum integrorum positivorum esse \( \frac{n(n+1)}{2} \): 1. Casus Fundamentalis: Pro \(n = 1 \), latus sinistrum est \(1 \) et latus dextrum est \( \frac{1(1+1)}{2} = 1 \). Casus fundamentalis verum est.
2. Gradus Inductivus: Supponamus enuntiatum verum esse pro quodam numero integro \(k); id est, \(1 + 2 + ... + k = \frac{k(k+1)}{2} \).
3. Demonstrandum est nobis \(1 + 2 + \cdots + k + (k+1) = \frac{(k+1)(k+2)}{2} \).
Ab hypothesi inductiva incipiendo: (1 + 2 + ... + k + (k+1) = k(k+1)/² + (k+1)) ( = k(k+1) + 2(k+1)/²) ( = k+1)(k+2)/²).
Ergo, per inductionem, haec sententia valet pro omnibus (n ≤ 1).
#### II. Demonstratio per Constructionem Demonstratio per constructionem demonstrat existentiam obiecti mathematici per constructionem explicitam obiecti. Haec methodus saepe plus perspicaciae praebet comparata quam demonstratio non constructiva.
Exemplum: Demonstra numerum primum parem exstare: 1. Considera numerum secundum.
2. Per definitionem, 2 est primus quia exacte duos divisores positivos distinctos habet: 1 et 2.
3. 2 etiam par est, cum per 2 visibilis sit.
4. Ergo, 2 est numerus primus par.
#### II. Demonstratio per Contraexemplum Etsi non est methodus probandi, contraexemplum afferre est via potens ad enuntiatum refutandum ostendendo saltem unum casum deficere. Haec methodus praecipue utilis est ad hypotheses et coniecturas infirmandas.
Exemplum: Refuta affirmationem "Omnes numeri primi impares sunt": 1. Considera numerum secundum.
2. Ut ante demonstratum est, 2 numerus primus est.
3. 2 etiam par est, non impar.
4. Ergo, enuntiatio "Omnes numeri primi sunt impares" falsa est.
#### II. Demonstratio per Contrapositivum Haec methodus demonstrationem contrapositivi implicationis datae implicat. Contrapositivum enuntiationis "Si P, tum Q" est "Si non Q, tum non P." Ambae enuntiationes logice aequivalentes sunt, ergo demonstratio contrapositivae enuntiationem originalem probat.
Exemplum: Demonstra "Si numerus per 6 conspicitur, tum per 3 conspicitur" per contrapositivum: 1. Contrapositivum est "Si numerus non conspicitur per 3, tum non conspicitur per 6".
2. Numerum \(n\) per 3 non videri assumamus.
3. Hoc significat nullum numerum integrum (k) dari talem ut (n = 3k)
