User talk:Paul Wormer/scratchbook1: Difference between revisions
imported>Paul Wormer No edit summary |
imported>Paul Wormer No edit summary |
||
Line 1: | Line 1: | ||
{{Image|Param1 plane.png|right|350px|Equation for plane.}} | {{Image|Param1 plane.png|right|350px|<small>Equation for plane. ''X'' is arbitary point in plane; <font style<nowiki>=</nowiki> "vertical-align: text-top;"> <math>\scriptstyle\vec{\mathbf{a}}</math></font> and <font style<nowiki>=</nowiki> "vertical-align: text-top;"> <math>\scriptstyle\hat{\mathbf{n}} </math></font> are collinear.</small>}} | ||
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> | ||
\overrightarrow{OA} \equiv \vec{\mathbf{a}} | \overrightarrow{OA} \equiv \vec{\mathbf{a}} | ||
</math> | </math> | ||
is orthogonal to the plane. The vector | is orthogonal to the plane. The collinear vector | ||
:<math> | :<math> | ||
\hat{\mathbf{n}} \equiv \frac{\vec{\mathbf{a}}}{a} \quad \hbox{with}\quad a \equiv {|\vec{\mathbf{a}}|} | \hat{\mathbf{n}} \equiv \frac{\vec{\mathbf{a}}}{a} \quad \hbox{with}\quad a \equiv {|\vec{\mathbf{a}}|} | ||
</math> | </math> | ||
is a unit (length 1) vector normal (perpendicular) to the plane. The following relation holds for an arbitrary point 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 | \left(\vec{\mathbf{r}}-\vec{\mathbf{a}}\right)\cdot \hat{\mathbf{n}} = 0 \quad\hbox{with}\quad \vec{\mathbf{r}} \equiv\overrightarrow{OX} . | ||
</math> | </math> | ||
This equation for the plane can be rewritten in terms of coordinates with respect to a Cartesian frame with origin in ''O'', | 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 | ||
:<math> | :<math> | ||
\mathbf{r}\cdot \mathbf{n} = \mathbf{a}\cdot \mathbf{n} | |||
\ | \Longleftrightarrow | ||
x a_x +ya_y+za_z = a | x a_x +ya_y+za_z = a | ||
</math> | </math> | ||
with | with | ||
:<math> | :<math> | ||
\mathbf{a} = (a_x,\;a_y,\; a_z), \quad | |||
\mathbf{r} = (x,\;y,\; z), \quad\hbox{and}\quad \mathbf{a}\cdot \mathbf{n} = | |||
\mathbf{a}\cdot \frac{\mathbf{a}}{a} = a = \sqrt{a_x^2+a_y^2+a_z^2}. | |||
</math> | </math> | ||
Conversely, given the following equation for a plane | |||
:<math> | |||
ax+by+cz = d \, | |||
</math> | |||
writing | |||
:<math> | |||
\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} | |||
</math> | |||
it follows that | |||
:<math> | |||
\mathbf{f}\cdot\mathbf{r} = d= \mathbf{f}\cdot \mathbf{a}. | |||
</math> | |||
Hence | |||
:<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}} | |||
</math> | |||
where '''f''' , '''a''', and '''n''' are collinear. |
Revision as of 05:00, 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
writing
it follows that
Hence
where f , a, and n are collinear.