Матэматычныя метады доказу
Доказ у матэматыцы ляжыць у аснове гэтай дысцыпліны. Метады доказу з'яўляюцца асновай для забеспячэння праўдзівасці матэматычнага сцвярджэння. Ад асноўных здагадак да высноў, кожны крок павінен быць гарантавана слушным. Разуменне розных метадаў доказу не толькі ўмацоўвае аналітычныя навыкі, але і ўзбагачае вопыт навучання і прымянення матэматыкі ў розных галінах.
У гэтым артыкуле будуць абмеркаваны некаторыя асноўныя метады доказу ў матэматыцы, у тым ліку прамы доказ, ускосны доказ (супрацьпастаўленне і супярэчнасць), матэматычная індукцыя і доказ на канкрэтным прыкладзе. Кожны метад мае розныя прымяненні, моцныя і слабыя бакі. Давайце разгледзім іх больш падрабязна.
1. Прамы доказ
Вызначэнне і прыклады
Прамы доказ — гэта метад, пры якім мы даказваем сцвярджэнне, паказваючы, што калі пасылкі (здапушчэнні) праўдзівыя, то выснова таксама праўдзівая. Пры прамым доказе мы звычайна пачынаем з таго, што вядома, і выкарыстоўваем лагічныя крокі, каб прыйсці да высновы.
прыклад:
Дакажыце, што калі \(n\) — цотны лік, то \(n^2\) таксама цотны.
Доказ:
Дапусцім, што \(n\) — цотны лік. Тады, згодна з вызначэннем цотнага ліку, можна запісаць, што \(n = 2k\) для некаторага цэлага \(k\). Такім чынам,
\[ n^2 = (2k)^2 = 4k^2 = 2(2k^2) \]
Зразумела, што \(n^2\) можна выразіць як падвоены цэлы лік (г.зн. \(2k^2\)). Паколькі галоўнай патрабаваннем да цотнага ліку з'яўляецца тое, што яго можна выразіць як падвоены цэлы лік, то \(n^2\) таксама з'яўляецца цотным лікам.
2. Ускосныя доказы
Ускосны доказ уключае два асноўныя падыходы: доказ шляхам супрацьпастаўлення і доказ ад адваротнага.
а. Доказ супрацьпастаўлення
Вызначэнне і прыклады
Гэты метад прадугледжвае доказ імпліктыўнага сцвярджэння «калі \(P\), то \(Q\)» шляхам даказвання контрапазітыву сцвярджэння: «калі не \(Q\), то не \(P\)».
прыклад:
Дакажыце, што калі \(n^2\) няцотны лік, то \(n\) таксама няцотны.
Доказ:
Контрапазітыў сцвярджэння такі: калі \(n\) не з'яўляецца няцотным (ці цотным), то \(n^2\) не з'яўляецца няцотным (ці цотным).
Дапусцім, што \(n\) цотнае, тады \(n = 2k\) для цэлага \(k\). Такім чынам,
\[ n^2 = (2k)^2 = 4k^2 = 2(2k^2) \]
Гэта азначае, што \(n^2\) — цотны лік. Такім чынам, адваротнае сцвярджэнне даказанае, і зыходнае сцвярджэнне таксама гарантавана праўдзівае.
б. Доказ ад супярэчнасці
Вызначэнне і прыклады
Доказ ад супярэчнасці заключаецца ў тым, каб дапусціць, што сцвярджэнне, якое трэба даказаць, ілжывае, і паказаць, што гэтае дапушчэнне прыводзіць да лагічнай супярэчнасці.
прыклад:
Дакажыце, што \(\sqrt{2}\) — ірацыянальны лік.
Доказ:
Дапусцім замест гэтага, што \(\sqrt{2}\) — рацыянальны лік. Тады \(\sqrt{2} = \frac{a}{b}\), дзе \(a\) і \(b\) — узаемна простыя цэлыя лікі (адніманне роўна 1), а \(b ≥ 0\). Такім чынам, мы можам запісаць:
\[ \sqrt{2} = \frac{a}{b} \]
\[2 = \frac{a^2}{b^2} \]
\[ 2b^2 = a^2 \]
З гэтага ўраўнення мы бачым, што \(a^2\) — цотны лік, што азначае, што \(a\) таксама павінен быць цотным. Дапусцім, \(a = 2k\), мы маем:
\[ 2b^2 = (2k)^2 \]
\[ 2b^2 = 4k^2 \]
\[b^2 = 2k^2 \]
Паколькі \(b^2\) — цотны лік, то \(b\) таксама павінен быць цотным. Гэта азначае, што \(a\) і \(b\) — цотныя лікі, што супярэчыць першапачатковаму меркаванню, што \(\frac{a}{b}\) мае найпрасцейшую форму. Такім чынам, \(\sqrt{2}\) не можа быць рацыянальным лікам, і таму ён ірацыянальны.
3. Матэматычная індукцыя
Вызначэнне і прыклады
Матэматычная індукцыя — гэта метад доказу, які выкарыстоўваецца для доказу сцвярджэнняў, звязаных з цэлымі лікамі. Працэс складаецца з двух этапаў: базіс індукцыі і этап індукцыі.
прыклад:
Дакажыце, што сума першага шэрагу цэлых лікаў \(1 + 2 + 3 + … + n = \frac{n(n+1)}{2}\).
Доказ:
– Індукцыйная аснова:
Для \(n = 1\),
\[1 = \frac{1(1+1)}{2} \]
правільны.
– Этапы ўвядзення:
Дапусцім, што сцвярджэнне праўдзівае для ліку \(k\). Гэта значыць,
\[1 + 2 + 3 + … + k = \frac{k(k+1)}{2} \]
Нам трэба даказаць, што гэта таксама праўда для \(k + 1\). Дадаем \((k + 1)\) да абодвух бакоў ураўнення:
\[1 + 2 + 3 + … + k + (k + 1) = \frac{k(k+1)}{2} + (k + 1) \]
\[ = \frac{k(k+1) + 2(k+1)}{2} \]
\[ = \frac{(k + 1)(k + 2)}{2} \]
Такім чынам, сцвярджэнне справядлівае для \(k + 1\). Такім чынам, згодна з прынцыпам матэматычнай індукцыі, сцвярджэнне справядлівае для ўсіх дадатных цэлых лікаў \(n\).
4. Доказ з дапамогай канкрэтных прыкладаў
Вызначэнне і прыклады
Гэты метад прадугледжвае доказ шляхам выбару канкрэтных прыкладаў, якія адпавядаюць усім умовам, указаным у сцвярджэнні, і паказваюць, што сцвярджэнне праўдзівае. Аднак звычайна гэты метад выкарыстоўваецца для доказу ілжывасці сцвярджэння.
прыклад:
Дакажыце, што існуюць лікі, якія нельга выразіць у выглядзе сумы двух поўных квадратаў.
Доказ:
Паспрабуйце выкарыстаць прыклад \(3\):
Дапусцім, што \(3\) можна выразіць як суму двух поўных квадратаў, а менавіта \(a^2 + b^2 = 3\). Пасля спробы ўсіх камбінацый цэлых лікаў \(a\) і \(b\),
1. \(a = 0\), \(b^2 = 3\) (немагчыма).
2. \(a = 1\), \(b^2 = 2\) (немагчыма).
3. \(a = 2\), \(b^2 = -1\) (немагчыма).
4. Адмоўныя лікі або лікі, большыя за 2, таксама немагчымыя.
Гэта паказвае, што \(3\) нельга выразіць як суму двух квадратных лікаў. Такім чынам, ёсць лікі, якія нельга выразіць як суму двух поўных квадратных лікаў.
Выснова
Доказы ў матэматыцы патрабуюць розных метадалогій і сістэматычных крокаў у залежнасці ад тыпу сцвярджэння, якое даказваецца. Прамы доказ, ускосны доказ (супрацьлеглы і супярэчлівы), матэматычная індукцыя і спецыяльныя прыклады — вось некаторыя з асноўных метадаў доказу, якія выкарыстоўваюцца ў розных сітуацыях. Разуменне гэтых метадаў умацуе асновы матэматыкі і дапаможа вам глыбей вывучыць розныя раздзелы матэматыкі.
З практыкай і глыбокім разуменнем матэматычныя метады доказу стануць інструментам, які заўсёды будзе гатовы да выкарыстання пры вырашэнні складаных матэматычных задач.
