Afinná geometria
Vektorový priestor
Cauchy-Schwarz nerov.
Tvrdenia.
Dôkaz - Cauchy-Schwarzovej nerovnosti.
- Pre lineárne závislé vektory
musí existovať nenulové reálne číslo
, pre ktoré platí
. Ak sú vektory nezávislé tak, pre každé nenulové reálne číslo
vektor
je nenulový. Zrejme druhá mocnina jeho normy je
a nie je rovná nule. Podľa definície normy rozpíšeme ľavú stranu nerovnosti ako
Skalárny súčin je symetrický a distributívny, preto po úprave dostaneme kvadratickú nerovnicu .
Ľavá strana nerovnice predstavuje kvadratický trojčlen v premennej, ktorý nemá reálne korene (pre ľubovoľnú hodnotu
je trojčlen > 0). Jej diskriminant musí byť záporný, teda platí
Odtiaľ už ľahko dostanemea po odmocnení
.
- Dôkaz pre lineárne závislé vektory prenechávame čitateľovi. Zrejme bude platiť rovnosť strán.
Dôkazy.
- Na úrovni VŠ použite Cauchy-Schwarzovu nerovnosť. Podrobné dôkazy nájdete v
"Sbírce řešených úloh Katedřy didaktiky fyziky Matematicko-fyzikální fakulty UK Praha". Tu.
Vezmite normu (druhú mocninu normy) na ľavej strane nerovnosti a prepíšte ju podľa definície pomocou skalárneho súčinu. Výraz zjednodušte vďaka linearite a symetrii skalárneho súčinu. - Na úrovni SŠ použite Cauchy-Schwarzovu nerovnosť ale pre prípad vektorového priestoru
so štandardnou ortonormálnou bázou
. Pre vektory
je skalárny súčin definovaný ako
.
Cvičenie.
- Skalárny súčin je definovaný na
takto:
.
pre. Určte číslo
tak, aby vektory
boli na seba kolmé v zmysle definície kolmosti vektorov. Aký reálny uhol zvierajú tieto vektory v euklidovskom 3-rozmernom priestore? (Ukážte, že táto operácia spĺňa podmienky skalárneho súčinu).
- Body
sú susedné vrcholy štvorca. Pomocou skalárneho súčinu určte súradnice jeho zvyšných vrcholov.
Riešenie.
- Pomocou bilineárnych foriem ukážte, že operácia spĺňa podmienky skalárneho súčinu (použitie bilineárnych foriem na zdôvodnenie tvrdenia nájdete Tu).
Ak vektory
majú byť na seba kolmé, tak ich skalárny súčin sa musí rovnať nule. Po dosadení dostaneme
Riešením kvadratickej rovnice sú čísla. Pozrite si grafické riešenie Tu.
-
Pre skalárny súčin platí
.