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
!! 17.06.2018 (Jel.) Khanova škola zve nadšence ke spolupráci na překladech návodů pro učitele a rodiče.
! 04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
17.01.2016 (Jel.) Rok 2016 s novými a novějšími krystaly od kolegy Pavla!
17.01.2016 (Jel.) Nabídka knih z oborů matematiky, fyziky, chemie
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 13. 01. 2020 18:30

check_drummer
Příspěvky: 2794
Reputace:   75 
 

Trasa začínající a končící ve stejné nadmořské výšce

Ahoj, mějme trasu v terénu, která začíná a končí ve stejné nadmořské výšce a zkoumejme, zda na této trase existují nějaké její části (které nejsou totožné s celou trasou), které rovněž začínají a končí ve stejné nadmořské výšce. Obecně (z věty o střední hodnotě) takové části existují, ovšem položme si obecnější otázku: Platí, že existuje d>0 takové, že pro libovolnou trasu délky x (x je předem pevně dáno) začínající a končící ve stejné nadmořské výšce existuje její část o délce d, která rovněž začíná a končí ve stejné nadmořské výšce (kde d<x)? (Samozřejmě tyto dvě výšky, a sice ta, ve které začíná a končí celá trasa (tu označme h1) a ta, ve které začíná a končí tato její část (tu označme h2), nemusí být stejné, tj. nemusí platit h1=h2.) Vzdálenost můžeme měřit jako skutečně uraženou vzdálenost a nebo pro větší jednoduchost (tak to také dělejme, nevyskytnou-li se nějaké dodatečné obtížě) tak, že budeme zkoumat délku kolmého průmětu trasy do podstavy, tedy při měřešní vzdálenosti (jindy ovšem ne) ignorujeme změny výšky na trase. (Tak např. na případu jedné větve sinusoidy je vidět, že musí být $d \leq \frac{x}{2}$.)
Pokud takové d existuje, heldejme supremum množiny všech takových hodnot d.


Jak dokázat, že nelze dokázat, že dané tvrzení nelze dokázat?

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson