User talk:Paul Wormer/scratchbook1: Difference between revisions
imported>Paul Wormer No edit summary |
imported>Paul Wormer No edit summary |
||
Line 2: | Line 2: | ||
In [[analytic geometry]] several closely related algebraic equations are known for a plane in three-dimensional Euclidean space. One such equation is illustrated in the figure. Point ''X'' is an arbitrary point in the plane and ''O'' (the origin) is outside the plane. The point ''A'' in the plane is chosen such that vector | In [[analytic geometry]] several closely related algebraic equations are known for a plane in three-dimensional Euclidean space. One such equation is illustrated in the figure. Point ''X'' is an arbitrary point in the plane and ''O'' (the origin) is outside the plane. The point ''A'' in the plane is chosen such that vector | ||
:<math> | :<math> | ||
\vec{\mathbf{a}} \equiv \overrightarrow{OA} | |||
</math> | </math> | ||
is orthogonal to the plane. The collinear vector | is orthogonal to the plane. The collinear vector | ||
Line 10: | Line 10: | ||
is a unit (length 1) vector normal (perpendicular) to the plane. Evidently ''a'' is the distance of ''O'' to the plane. The following relation holds for an arbitrary point ''X'' in the plane | is a unit (length 1) vector normal (perpendicular) to the plane. Evidently ''a'' is the distance of ''O'' to the plane. The following relation holds for an arbitrary point ''X'' in the plane | ||
:<math> | :<math> | ||
\left(\vec{\mathbf{r}}-\vec{\mathbf{a}}\right)\cdot \hat{\mathbf{n}} = 0 \quad\hbox{with}\quad \vec{\mathbf{r}} \equiv\overrightarrow{OX}\quad\hbox{and}\quad | \left(\vec{\mathbf{r}}-\vec{\mathbf{a}}\right)\cdot \hat{\mathbf{n}} = 0 \quad\hbox{with}\quad \vec{\mathbf{r}} \equiv\overrightarrow{OX}\quad\hbox{and}\quad \vec{\mathbf{r}}-\vec{\mathbf{a}} = \overrightarrow{AX} . | ||
</math> | </math> | ||
Line 30: | Line 30: | ||
ax+by+cz = d \, | ax+by+cz = d \, | ||
</math> | </math> | ||
it is easy to derive the same equation. | |||
Write | |||
:<math> | :<math> | ||
\mathbf{r} = (x,\;y,\; z), \quad\mathbf{f} = (a,\;b,\; c), \quad\hbox{and}\quad | \mathbf{r} = (x,\;y,\; z), \quad\mathbf{f} = (a,\;b,\; c), \quad\hbox{and}\quad | ||
\mathbf{a} \equiv \frac{d}{\mathbf{f}\cdot\mathbf{f}} \mathbf{f} | \mathbf{a} \equiv \frac{d}{\mathbf{f}\cdot\mathbf{f}} \mathbf{f}. | ||
</math> | </math> | ||
It follows that | |||
:<math> | :<math> | ||
\mathbf{f}\cdot\mathbf{r} = d= \mathbf{f}\cdot \mathbf{a}. | \mathbf{f}\cdot\mathbf{r} = d= \mathbf{f}\cdot \mathbf{a}. | ||
</math> | </math> | ||
Hence | Hence we find the same equation, | ||
:<math> | :<math> | ||
\mathbf{f}\cdot(\mathbf{r}-\mathbf{a}) = 0 \;\Longrightarrow\; \mathbf{n}\cdot(\mathbf{r}-\mathbf{a}) = 0 \quad\hbox{with}\quad \mathbf{n} = \frac{\mathbf{f}}{\sqrt{a^2+b^2+c^2}} | \mathbf{f}\cdot(\mathbf{r}-\mathbf{a}) = 0 \;\Longrightarrow\; \mathbf{n}\cdot(\mathbf{r}-\mathbf{a}) = 0 \quad\hbox{with}\quad \mathbf{n} = \frac{\mathbf{f}}{\sqrt{a^2+b^2+c^2}} | ||
</math> | </math> | ||
where '''f''' , '''a''', and '''n''' are collinear. | where '''f''' , '''a''', and '''n''' are collinear. |
Revision as of 05:13, 30 March 2010
In analytic geometry several closely related algebraic equations are known for a plane in three-dimensional Euclidean space. One such equation is illustrated in the figure. Point X is an arbitrary point in the plane and O (the origin) is outside the plane. The point A in the plane is chosen such that vector
is orthogonal to the plane. The collinear vector
is a unit (length 1) vector normal (perpendicular) to the plane. Evidently a is the distance of O to the plane. The following relation holds for an arbitrary point X in the plane
This equation for the plane can be rewritten in terms of coordinates with respect to a Cartesian frame with origin in O. Dropping arrows and hat for component vectors (real triples), we find
with
Conversely, given the following equation for a plane
it is easy to derive the same equation. Write
It follows that
Hence we find the same equation,
where f , a, and n are collinear.