{"id":8123,"date":"2026-09-03T10:21:51","date_gmt":"2026-09-03T07:21:51","guid":{"rendered":"https:\/\/www.schooler.org.ua\/chomu-teorema-pifagora-vazhliva-dlja-studentiv-ta-amatoriv-matematiki\/"},"modified":"2026-09-03T10:21:51","modified_gmt":"2026-09-03T07:21:51","slug":"chomu-teorema-pifagora-vazhliva-dlja-studentiv-ta-amatoriv-matematiki","status":"publish","type":"post","link":"https:\/\/www.schooler.org.ua\/cs\/co-je-to-matematicky-teorem-jednoducha-definice\/","title":{"rendered":"Co je to matematick\u00fd teor\u00e9m? Jednoduch\u00e1 definice"},"content":{"rendered":"

V\u011bta je matematick\u00e9 tvrzen\u00ed, kter\u00e9 bylo prok\u00e1z\u00e1no jako pravdiv\u00e9. Nez\u016fstane jen u dohad\u016f. Op\u00edr\u00e1 se o pevn\u00fd z\u00e1klad vybudovan\u00fd z axiom\u016f, postul\u00e1t\u016f nebo jin\u00fdch teor\u00e9m\u016f. Tento proces vy\u017eaduje p\u0159\u00edsn\u00e9 dodr\u017eov\u00e1n\u00ed logick\u00fdch pravidel. Pokud dodr\u017e\u00edte v\u0161echny kroky spr\u00e1vn\u011b, v\u00fdsledek bude ur\u010dit\u011b pravdiv\u00fd. <\/p>\n

P\u0159em\u00fd\u0161lejte o tom takto: axiomy jsou v\u00fdchoz\u00ed body. Jsou p\u0159ij\u00edm\u00e1ny jako pravdiv\u00e9 bez d\u016fkaz\u016f. Postul\u00e1ty jsou podobn\u00e9, ale \u010dasto jsou specifick\u00e9 pro ur\u010dit\u00e9 syst\u00e9my. Na z\u00e1klad\u011b t\u011bchto z\u00e1kladn\u00edch princip\u016f matematici pou\u017e\u00edvaj\u00ed logiku k odvozen\u00ed nov\u00fdch pravd. Ka\u017ed\u00fd nov\u00fd pravdiv\u00fd v\u00fdrok se st\u00e1v\u00e1 teor\u00e9mem. A ka\u017ed\u00e1 v\u011bta m\u016f\u017ee slou\u017eit jako stavebn\u00ed k\u00e1men pro dal\u0161\u00ed. <\/p>\n

Tato struktura vytv\u00e1\u0159\u00ed \u0159et\u011bzec autenticity. Nemus\u00edte poka\u017ed\u00e9 dokazovat v\u0161e od za\u010d\u00e1tku. Op\u00edr\u00e1te se o ji\u017e zji\u0161t\u011bn\u00e1 fakta. Proto je kl\u00ed\u010dov\u00e9 porozum\u011bt definic\u00edm. V\u011bta nen\u00ed jen my\u0161lenka. To je v r\u00e1mci matematick\u00e9ho syst\u00e9mu prok\u00e1zan\u00e1 skute\u010dnost. <\/p>\n

\n

“V\u011bta je tvrzen\u00ed, kter\u00e9 bylo prok\u00e1z\u00e1no jako pravdiv\u00e9 na z\u00e1klad\u011b axiom\u016f, postul\u00e1t\u016f nebo d\u0159\u00edve stanoven\u00fdch teor\u00e9m\u016f pomoc\u00ed pravidel logick\u00e9 inference.” <\/p>\n<\/blockquote>\n

Tato definice je d\u016fle\u017eit\u00e1, proto\u017ee odd\u011bluje d\u016fkazy od v\u00edry. V matematice samotn\u00e1 v\u00edra nesta\u010d\u00ed. Pot\u0159ebujete d\u016fkaz. Pot\u0159ebujete kroky. Pot\u0159ebujete logiku. To je to, co odli\u0161uje v\u011btu od hypot\u00e9zy (domn\u011bnky). Hypot\u00e9za je p\u0159edpoklad. Zat\u00edm to nebylo prok\u00e1z\u00e1no. V\u011bta byla prok\u00e1z\u00e1na. Je hotovo. Je spolehliv\u00e1. <\/p>\n

Kdy\u017e tedy v u\u010debnici nebo v\u011bdeck\u00e9m \u010dl\u00e1nku uvid\u00edte odkaz na v\u011btu, m\u00e1te co do \u010din\u011bn\u00ed s hotov\u00fdm v\u00fdsledkem. Ne s procesem ve v\u00fdvoji. Ne s teori\u00ed. V\u011bta je z\u00e1v\u011br, kter\u00fd pro\u0161el p\u0159\u00edsn\u00fdm testov\u00e1n\u00edm. Plat\u00ed to v r\u00e1mci jeho vlastn\u00edho syst\u00e9mu. A tento syst\u00e9m je postaven na logice. <\/p>\n

V\u011bty nejsou jen abstraktn\u00ed \u0159\u00e1dky v u\u010debnici. Jsou z\u00e1kladem geometrie, algebry a teorie \u010d\u00edsel. Pom\u00e1haj\u00ed vytv\u00e1\u0159et konkr\u00e9tn\u00ed spojen\u00ed mezi pojmy nebo v\u00fdznamy. P\u0159em\u00fd\u0161lejte o vztahu mezi nohama a p\u0159eponou pravo\u00fahl\u00e9ho troj\u00faheln\u00edku. Toto je teor\u00e9m v akci. <\/p>\n

V matematick\u00e9 logice je teor\u00e9m v\u00fdrok odvozen\u00fd pomoc\u00ed pravidel vyvozov\u00e1n\u00ed v axiomatick\u00e9m syst\u00e9mu. Li\u0161\u00ed se od axiomu<\/strong>, co\u017e je pravda p\u0159ij\u00edman\u00e1 bez d\u016fkaz\u016f. Li\u0161\u00ed se tak\u00e9 od postul\u00e1tu<\/strong>, co\u017e je specifick\u00e9 tvrzen\u00ed v r\u00e1mci matematick\u00e9 teorie. <\/p>\n

Pak je tu d\u016fsledek<\/strong>. To je v\u00fdsledek, kter\u00fd p\u0159\u00edmo vypl\u00fdv\u00e1 z v\u011bty. K pochopen\u00ed nebo pou\u017eit\u00ed nen\u00ed pot\u0159eba \u017e\u00e1dn\u00fd slo\u017eit\u00fd d\u016fkaz. <\/p>\n

Jednoduch\u00e9 vysv\u011btlen\u00ed Pythagorovy v\u011bty<\/h2>\n

Jednou z nejzn\u00e1m\u011bj\u0161\u00edch v\u011bt je Pythagorova v\u011bta<\/strong>. Plat\u00ed pro jak\u00fdkoli pravo\u00fahl\u00fd troj\u00faheln\u00edk<\/strong> (troj\u00faheln\u00edk s jedn\u00edm \u00fahlem 90 stup\u0148\u016f). Umo\u017e\u0148uje vypo\u010d\u00edtat d\u00e9lku p\u0159epony na z\u00e1klad\u011b dal\u0161\u00edch dvou stran. Tyto dal\u0161\u00ed dv\u011b strany se naz\u00fdvaj\u00ed kat\u00e9ty<\/strong> (nebo kat\u00e9ty<\/em> v kontextu \u0161pan\u011bl\u0161tiny). <\/p>\n

V\u011bta \u0159\u00edk\u00e1, \u017ee druh\u00e1 mocnina p\u0159epony se rovn\u00e1 sou\u010dtu druh\u00fdch mocnin nohou. <\/p>\n

Zde je n\u00e1vod, jak to funguje v praxi. <\/p>\n

    \n
  • Vezm\u011bte troj\u00faheln\u00edk s nohami 3 a 4.<\/li>\n
  • \u010ctverec ka\u017ed\u00e9 nohy: 3 x 3 = 9. A 4 x 4 = 16.<\/li>\n
  • Se\u010dt\u011bte je: 9 + 16 = 25.<\/li>\n
  • Druh\u00e1 odmocnina z 25 je 5. Tak\u017ee p\u0159epona je 5.<\/li>\n<\/ul>\n

    Pamatujte, \u017ee umocn\u011bn\u00ed znamen\u00e1 n\u00e1soben\u00ed \u010d\u00edsla samo o sob\u011b. 5 x 5 = 25. Toto jednoduch\u00e9 pravidlo v\u00e1m umo\u017en\u00ed naj\u00edt d\u00e9lky chyb\u011bj\u00edc\u00edch stran v nespo\u010dtu re\u00e1ln\u00fdch situac\u00ed. <\/p>\n

    \"\"<\/p>\n

    V\u00edce ne\u017e jen rovnob\u011b\u017en\u00e9 \u010d\u00e1ry<\/h3>\n

    Vezm\u011bme si nap\u0159\u00edklad Thalesovu v\u011btu<\/strong>. To nen\u00ed jen opr\u00e1\u0161en\u00e9 pravidlo ze starov\u011bk\u00e9ho \u0158ecka. Jedn\u00e1 se o praktick\u00fd n\u00e1stroj. Kdy\u017e dva se\u010dny prot\u00ednaj\u00ed dv\u011b nebo v\u00edce rovnob\u011b\u017en\u00fdch \u010dar, jsou \u00fase\u010dky vytvo\u0159en\u00e9 na ka\u017ed\u00e9 z nich proporcion\u00e1ln\u00ed. <\/p>\n

    P\u0159edstavte si, \u017ee kr\u00e1j\u00edte bochn\u00edk chleba. Pokud jsou \u0159ezy rovnob\u011b\u017en\u00e9, pom\u011br kus\u016f na lev\u00e9 stran\u011b je stejn\u00fd jako pom\u011br kus\u016f na prav\u00e9 stran\u011b. Jen. P\u0159\u00edmo. U\u017eite\u010dn\u00e9 pro v\u00fdpo\u010det vzd\u00e1lenost\u00ed, kter\u00e9 nelze m\u011b\u0159it p\u0159\u00edmo. <\/p>\n

    Ale geometrie nen\u00ed jedin\u00e1 hra ve m\u011bst\u011b. Seznam teor\u00e9m\u016f sah\u00e1 daleko za tvary a \u010d\u00e1ry. <\/p>\n

    T\u011b\u017ek\u00e9 d\u011blost\u0159electvo v matematice a logice<\/h4>\n

    Uva\u017eujme Bayesovu v\u011btu<\/strong>. M\u00e1 velk\u00fd v\u00fdznam v teorii pravd\u011bpodobnosti. Aktualizuje pravd\u011bpodobnost hypot\u00e9zy, jakmile jsou k dispozici nov\u00e9 d\u016fkazy nebo informace. Vid\u00edte to ve spamov\u00fdch filtrech. Vid\u00edte to na l\u00e9ka\u0159sk\u00e9 diagnostice. Takto kvantifikujeme nejistotu. <\/p>\n

    Pak je tu Lagrangeova v\u011bta o st\u0159edn\u00ed hodnot\u011b<\/strong>. Pokud se zab\u00fdv\u00e1te diferencovateln\u00fdmi funkcemi, je to v\u00e1\u0161 hlavn\u00ed n\u00e1stroj. Vztahuje pr\u016fm\u011brnou rychlost zm\u011bny za interval k okam\u017eit\u00e9 rychlosti zm\u011bny v ur\u010dit\u00e9m bod\u011b. Nepostradateln\u00e9 pro matematickou anal\u00fdzu. Nepostradateln\u00e9 pro pochopen\u00ed chov\u00e1n\u00ed funkc\u00ed. <\/p>\n

    A nem\u016f\u017eeme ignorovat Godelovy v\u011bty o ne\u00faplnosti<\/strong>. Ot\u0159\u00e1sli z\u00e1klady matematiky. Dok\u00e1zali, \u017ee v ka\u017ed\u00e9m dostate\u010dn\u011b slo\u017eit\u00e9m matematick\u00e9m syst\u00e9mu existuj\u00ed pravdiv\u00e1 tvrzen\u00ed, kter\u00e1 nelze v r\u00e1mci tohoto syst\u00e9mu dok\u00e1zat. Toto je pokorn\u00e1 p\u0159ipom\u00ednka mez\u00ed form\u00e1ln\u00ed logiky. <\/p>\n

    Pro\u010d jsou tyto v\u011bty d\u016fle\u017eit\u00e9<\/h3>\n

    Abyste z t\u011bchto my\u0161lenek m\u011bli u\u017eitek, nemus\u00edte se u\u010dit nazpam\u011b\u0165 ka\u017ed\u00fd d\u016fkaz. Pochopen\u00ed toho, co d\u011blaj\u00ed<\/em>, je \u010dasto cenn\u011bj\u0161\u00ed ne\u017e v\u011bd\u011bt, jak je vyvodit krok za krokem. <\/p>\n

      \n
    • Thales\u016fv teor\u00e9m<\/strong> pom\u00e1h\u00e1 s \u0161k\u00e1lov\u00e1n\u00edm a nep\u0159\u00edm\u00fdmi m\u011b\u0159en\u00edmi. <\/li>\n
    • Bayes\u016fv teor\u00e9m<\/strong> je z\u00e1kladem modern\u00ed datov\u00e9 v\u011bdy a hodnocen\u00ed rizik. <\/li>\n
    • Lagrange\u016fv teor\u00e9m<\/strong> poskytuje z\u00e1klad pro optimalizaci a in\u017een\u00fdrstv\u00ed. <\/li>\n
    • Godelovy teor\u00e9my<\/strong> zpochyb\u0148uj\u00ed na\u0161e ch\u00e1p\u00e1n\u00ed pravdy a d\u016fkaz\u016f. <\/li>\n<\/ul>\n

      Ka\u017ed\u00e1 v\u011bta nab\u00edz\u00ed sv\u016fj vlastn\u00ed pohled. Jeden pom\u00e1h\u00e1 m\u011b\u0159it sv\u011bt. Dal\u0161\u00ed pom\u00e1h\u00e1 p\u0159edv\u00eddat v\u00fdsledky. T\u0159et\u00ed pom\u00e1h\u00e1 pochopit limity. <\/p>\n

      Nejde o memorov\u00e1n\u00ed. Jde o to m\u00edt pro dan\u00fd \u00fakol ten spr\u00e1vn\u00fd n\u00e1stroj. <\/p>\n

      Chcete se pono\u0159it hloub\u011bji do z\u00e1klad\u016f? P\u0159e\u010dt\u011bte si o axiomech<\/strong> a Cvi\u010den\u00edch s Pythagorovou v\u011btou<\/strong>. To jsou stavebn\u00ed kameny. Zvl\u00e1dn\u011bte je a zbytek za\u010dne d\u00e1vat smysl.<\/p>\n","protected":false},"excerpt":{"rendered":"

      V\u011bta je matematick\u00e9 tvrzen\u00ed, kter\u00e9 bylo prok\u00e1z\u00e1no jako pravdiv\u00e9. Nez\u016fstane jen u dohad\u016f. Op\u00edr\u00e1 se o pevn\u00fd z\u00e1klad vybudovan\u00fd z axiom\u016f, postul\u00e1t\u016f nebo jin\u00fdch teor\u00e9m\u016f. Tento proces vy\u017eaduje p\u0159\u00edsn\u00e9 dodr\u017eov\u00e1n\u00ed logick\u00fdch pravidel. Pokud dodr\u017e\u00edte v\u0161echny kroky spr\u00e1vn\u011b, v\u00fdsledek bude ur\u010dit\u011b pravdiv\u00fd. P\u0159em\u00fd\u0161lejte o tom takto: axiomy jsou v\u00fdchoz\u00ed body. Jsou p\u0159ij\u00edm\u00e1ny jako pravdiv\u00e9 bez d\u016fkaz\u016f. […]<\/p>\n","protected":false},"author":1,"featured_media":8119,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"tdm_status":"","tdm_grid_status":""},"categories":[50],"tags":[],"wpm_language_slugs":{"cs":"co-je-to-matematicky-teorem-jednoducha-definice","de":"was-ist-ein-mathematischer-satz-eine-einfache-definition","en":"what-is-a-mathematical-theorem-a-straightforward-definition","es":"que-es-un-teorema-matematico-una-definicion-sencilla","fr":"quest-ce-quun-theoreme-mathematique-une-definition-simple","id":"apa-itu-teorema-matematika-definisi-langsung","it":"cose-un-teorema-matematico-una-definizione-semplice","nl":"wat-is-een-wiskundige-stelling-een-duidelijke-definitie","pl":"co-to-jest-twierdzenie-matematyczne-prosta-definicja","pt":"o-que-e-um-teorema-matematico-uma-definicao-simples","ru-ru":"chto-takoe-matematicheskaja-teorema-prostoe-opredelenie","uk-ua":"chomu-teorema-pifagora-vazhliva-dlja-studentiv-ta-amatoriv-matematiki"},"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/www.schooler.org.ua\/cs\/wp-json\/wp\/v2\/posts\/8123"}],"collection":[{"href":"https:\/\/www.schooler.org.ua\/cs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.schooler.org.ua\/cs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/cs\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/cs\/wp-json\/wp\/v2\/comments?post=8123"}],"version-history":[{"count":0,"href":"https:\/\/www.schooler.org.ua\/cs\/wp-json\/wp\/v2\/posts\/8123\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/cs\/wp-json\/wp\/v2\/media\/8119"}],"wp:attachment":[{"href":"https:\/\/www.schooler.org.ua\/cs\/wp-json\/wp\/v2\/media?parent=8123"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/cs\/wp-json\/wp\/v2\/categories?post=8123"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/cs\/wp-json\/wp\/v2\/tags?post=8123"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}