Plugin installed incorrectly. Rename plugin directory '_include' to 'include'.
Plugin installed incorrectly. Rename plugin directory '__include' to 'include'.
lecture_19_slides
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| lecture_19_slides [2017/04/10 15:50] – [The cross product] rupert | lecture_19_slides [2017/04/11 09:56] (current) – [Corollary: the length of $\vec v\times\vec w$] rupert | ||
|---|---|---|---|
| Line 97: | Line 97: | ||
| * Calculations/ | * Calculations/ | ||
| - | ==== Theorem ==== | + | ==== Theorem: cross and dot product formula |
| For any vectors $\vv$ and $\ww$ in $\mathbb{R}^3$, | For any vectors $\vv$ and $\ww$ in $\mathbb{R}^3$, | ||
| \[ \|\vv\times\ww\|^2+(\vv\cdot\ww)^2=\|\vv\|^2\, | \[ \|\vv\times\ww\|^2+(\vv\cdot\ww)^2=\|\vv\|^2\, | ||
| Line 107: | Line 107: | ||
| For any vectors $\vv$ and $\ww$ in $\mathbb{R}^3$, | For any vectors $\vv$ and $\ww$ in $\mathbb{R}^3$, | ||
| \[ \|\vv\times\ww\|=\|\vv\|\, | \[ \|\vv\times\ww\|=\|\vv\|\, | ||
| - | where $\theta$ is the angle between $\vv$ and $\ww$ (with $0\le\theta<\pi$). | + | where $\theta$ is the angle between $\vv$ and $\ww$ (with $0\le\theta\le\pi$). |
| === Proof === | === Proof === | ||
| - | * We know that $\vv\cdot\ww=\|\vv\|\, | + | * Geometric dot product formula: |
| + | * $\times$ & $\cdot$ formula: $\|\vv\times\ww\|^2+(v\cdot w)^2=\|\vv\|^2\, | ||
| * So $\|\vv\times\ww\|^2=\|\vv\|^2\, | * So $\|\vv\times\ww\|^2=\|\vv\|^2\, | ||
| * $=\|\vv\|^2\, | * $=\|\vv\|^2\, | ||
| * $=\|\vv\|^2\, | * $=\|\vv\|^2\, | ||
| * $=\|\vv\|^2\, | * $=\|\vv\|^2\, | ||
| - | * $\sin\theta\ge0$ for $0\le\theta<\pi$, so taking square roots of both sides gives $ \|\vv\times\ww\|=\|\vv\|\, | + | * $\sin\theta\ge0$ for $0\le\theta\le\pi$, so taking square roots of both sides gives $ \|\vv\times\ww\|=\|\vv\|\, |
| ===== Geometry of the cross product ===== | ===== Geometry of the cross product ===== | ||
lecture_19_slides.1491839408.txt.gz · Last modified: by rupert
