Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 05. 01. 2011 08:30

Alan122
Příspěvky: 268
Reputace:   10 
 

dokazova metoda v planimetrii

Mám takú otázku ohľadom dokazu v planimetrii, pretože si nesom istý či to je korektné. Ak popíšem nejaký bod dokazovanou vlastnosťou a potom ukážem, že takto definovaný bod splna všetky predpoklady zadania tak to možno považovať za korektný dôkaz? Lebo vždy ma tam mýli to, že implikácia a obratená implikácia nemaju rovnaké pravdivostné hodnoty. ďakujem

Offline

  • (téma jako vyřešené označil(a) Alan122)

#2 06. 01. 2011 08:59

Alan122
Příspěvky: 268
Reputace:   10 
 

Re: dokazova metoda v planimetrii

Tak čo vie mi niekto odpovedať? Lebo som si všimol, že takato práca odzadu je častokrát jednoduchšia.

Offline

 

#3 07. 01. 2011 14:25

Pavel
Místo: Ostrava/Rychvald
Příspěvky: 1828
Škola: OU
Pozice: EkF VŠB-TUO
Reputace:   135 
 

Re: dokazova metoda v planimetrii

↑ Alan122:

Asi by to chtělo konkrétní příklad.


Backslash je v TeXu tak důležitý jako nekonečno při dělení nulou v tělesech charakteristiky 0.

Offline

 

#4 08. 01. 2011 10:28

Alan122
Příspěvky: 268
Reputace:   10 
 

Re: dokazova metoda v planimetrii

↑ Pavel:
no ja som to myslel skôr všeobecne... Ale dajme tomu, že niečo take  Dany je ostrouhly trojuholnık ABC a vnutri neho bod C1.Bod B1 je taky, ze trojuholníky ABC a AB1C1 su podobne. Nech P je priesecník priamok BB1 a CC1. Dokazte, ze body A, B, C, P lezia na kruznici.
No a  teraz by som postupoval tak, že by som uvážil že tie body ležia na kružnici a ukázal,že P je priesečník priamok. (aj ked sa mi to nezdá ale ževraj to je správne)

Offline

 

#5 08. 01. 2011 11:09

Pavel
Místo: Ostrava/Rychvald
Příspěvky: 1828
Škola: OU
Pozice: EkF VŠB-TUO
Reputace:   135 
 

Re: dokazova metoda v planimetrii

Tak to určitě dokázat nepůjde. Body A, B, C jsou fixní. Ale na kružnici, která prochází body A, B, C (kružnici opsané), bys ten bod P mohl umístit kdekoliv. A odtud nedokážeš, že P je průsečíkem uvedených přímek. Kdybys chtěl tu implikaci obrátit, musel bys dokazovat toto tvrzení:

Neleží-li bod P na kružnici opsané trojúhelníku ABC, není bod P průsečíkem přímek BB1 a CC1

Toto tvrzení je ekvivalentní s tvrzením

Je-li bod P průsečíkem přímek BB1 a CC1, pak leží na kružnici opsané trojúhelníku ABC.

Je to tzv. nepřímý důkaz, který využívá toho, že výroky $A\Rightarrow B$ a $\neg B\Rightarrow \neg A$ jsou logicky ekvivalentní, tzn.

$(A\Rightarrow B)\Leftrightarrow(\neg B\Rightarrow \neg A)$

je tautologie.


Backslash je v TeXu tak důležitý jako nekonečno při dělení nulou v tělesech charakteristiky 0.

Offline

 

#6 08. 01. 2011 12:05

Alan122
Příspěvky: 268
Reputace:   10 
 

Re: dokazova metoda v planimetrii

↑ Pavel:
ja som si to hned myslel ale prečo je pri tejto ulohe uvedené toto riešenie:
Trojuholnıky ABC a AB1C1 su v istom zmysle zamenitel’ne: niet dovod preferovat’ niektory z nich. Preto
ak A, B, C, P lezia na kruznici, tak aj A, B1, C1, P lezia na kruznici a naopak. Bod P by mal byt’ teda
priesecníkom kruznıc opısanych trojuholnıkom ABC a AB1C1. Pri predoslej ulohe bolo jednoduchsie
mať pri rataní uhlov kruznice a dokazovat nieco o priamkach (porovnaj 1., 2. a 3.), vyskusame to aj teraz.
Nech P je priesecník kruznıc opísanych trojuholníkom ABC a AB1C1; dokazeme, ze bodom P precha´dza
priamka BB1 (zo symetrie je jasne, ze potom ním prechadza aj priamka CC1). Uhol APB ma vel’kost’
180 − | ACB|, uhol APB1 ma vel’kost’ ako uhol AC1B1 a teda taku ako uhol ACB. Dokopy mame, ze
uhol BPB1 je priamy.
Metodu prace odzadu (vyuzitu pri predoslej ulohe) si mozete vyskusat’ na nasledujucej:

Offline

 

#7 11. 01. 2011 18:16

Alan122
Příspěvky: 268
Reputace:   10 
 

Re: dokazova metoda v planimetrii

Tak čo teda... Toto je autorské riešenie jedneho z autorov uloh olympiady tak pochybujem, že by to bolo chybné skôr si myslím, že ja to nechápem dostatočne. Tak podla toho čo si napísal odzadu postupovat nemožno no ale tu sa takto postupovalo alebo sa mýlim? Ďakujem

Offline

 

#8 11. 01. 2011 20:42 — Editoval Pavel (11. 01. 2011 20:56)

Pavel
Místo: Ostrava/Rychvald
Příspěvky: 1828
Škola: OU
Pozice: EkF VŠB-TUO
Reputace:   135 
 

Re: dokazova metoda v planimetrii

↑ Alan122:

Rozdíl v obou úvahách je ten, že ty jsi předpokládal, že bod P leží někde na kružnici opsané trojúhelníku ABC. Nic bližšího jsme o něm nevěděli. Autoři ale bod P přesně specifikují, je to průsečík kružnic opsaných trojúhelníkům ABC a AB1C1, což je něco jiného. Tato skutečnost nebyla známá. Autoři můžou důkaz otočit, protože platí silnější tvrzení než to, které bylo uvedeno v původním zadání:

Bod P je průsečíkem přímek BB1 a CC1    $\Leftrightarrow$    bod P je průsečíkem kružnic opsaných trojúhelníkům ABC a AB1C1

Na pořadí těchto tvrzení stojící na opačných stranách uvedené ekvivalence nezáleží, proto lze dokazovat větu obrácenou. Důkaz začíná předpokladem bod P je průsečíkem kružnic opsaných trojúhelníkům ABC a AB1C1 a řetězcem logicky ekvivalentních úvah se dokáže, že bod P je průsečíkem přímek BB1 a CC1. Poněvadž jsou všechny úvahy spojeny ekvivalencemi, platí i tvrzení původní, tzn. to, které mělo být dokázáno.



Kdybychom chtěli dokázat tvrzení

Bod P je průsečíkem přímek BB1 a CC1    $\Rightarrow$    bod P leží na kružnici opsané trojúhelníku ABC

analogicky, tak se nám to nepodaří. Předpoklad  bod P leží na kružnici opsané trojúhelníku ABC je slabý k tomu, abychom dokázali pomocí logicky ekvivalentních úvah tvrzení, že bod P je průsečíkem přímek BB1 a CC1.


Backslash je v TeXu tak důležitý jako nekonečno při dělení nulou v tělesech charakteristiky 0.

Offline

 

#9 11. 01. 2011 20:57

Alan122
Příspěvky: 268
Reputace:   10 
 

Re: dokazova metoda v planimetrii

↑ Pavel:
Super ďakujem za objasnenie :)

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson