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|<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>}} | {{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 '' | 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 ''P'' 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{ | \vec{d} \equiv \overrightarrow{OA} | ||
</math> | </math> | ||
is orthogonal to the plane. The collinear vector | is orthogonal to the plane. The collinear vector | ||
:<math> | :<math> | ||
\vec{n} \equiv \frac{\vec{ | \vec{n}_0 \equiv \frac{1}{d} \vec{d} \quad \hbox{with}\quad d \equiv \left|\vec{d}\,\right| | ||
</math> | </math> | ||
is a unit (length 1) vector normal (perpendicular) to the plane. Evidently '' | is a unit (length 1) vector normal (perpendicular) to the plane. Evidently ''d'' is the distance of ''O'' to the plane. The following relation holds for an arbitrary point ''P'' in the plane | ||
:<math> | :<math> | ||
\left(\vec{r}-\vec{ | \left(\vec{r}-\vec{d}\;\right)\cdot \vec{n}_0 = 0 \quad\hbox{with}\quad \vec{r} \equiv\overrightarrow{OP}\quad\hbox{and}\quad \vec{r}-\vec{d} = \overrightarrow{AP} . | ||
</math> | </math> | ||
This equation for the plane can be rewritten in terms of coordinates with respect to a Cartesian frame with origin in ''O''. Dropping arrows for component vectors (real triplets) that are written bold, we find | This equation for the plane can be rewritten in terms of coordinates with respect to a Cartesian frame with origin in ''O''. Dropping arrows for component vectors (real triplets) that are written bold, we find | ||
:<math> | :<math> | ||
\mathbf{r} | \left( \mathbf{r} - \mathbf{d}\right)\cdot \mathbf{n}_0 = 0 | ||
\Longleftrightarrow | \Longleftrightarrow | ||
x | x a_0 +y b_0+z c_0 = d | ||
</math> | </math> | ||
with | with | ||
:<math> | :<math> | ||
\mathbf{ | \mathbf{d} = (a,\;b,\; c), \quad | ||
\mathbf{ | \mathbf{n}_0 = (a_0,\;b_0,\; c_0), \quad | ||
\ | \mathbf{r} = (x,\;y,\; z), | ||
</math> | </math> | ||
and | |||
:<math> | |||
\mathbf{d}\cdot \mathbf{n}_0 = \frac{1}{d} \mathbf{d}\cdot \mathbf{d} = d = \sqrt{a^2+b^2+c^2}. | |||
</math> | |||
Conversely, given the following equation for a plane | Conversely, given the following equation for a plane | ||
:<math> | :<math> | ||
ax+by+cz = | ax+by+cz = e, \, | ||
</math> | </math> | ||
it is easy to derive the same equation. | it is easy to derive the same equation. | ||
Line 34: | Line 39: | ||
:<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{ | \mathbf{d} \equiv \left(\frac{e}{a^2+b^2+c^2}\right) \mathbf{f}. | ||
</math> | </math> | ||
It follows that | It follows that | ||
:<math> | :<math> | ||
\mathbf{f}\cdot\mathbf{r} = | \mathbf{f}\cdot\mathbf{r} = e = \mathbf{f}\cdot \mathbf{d}. | ||
</math> | </math> | ||
Hence we find the same equation, | Hence we find the same equation, | ||
:<math> | :<math> | ||
\mathbf{f}\cdot(\mathbf{r}-\mathbf{ | \mathbf{f}\cdot(\mathbf{r}-\mathbf{d}) = 0 \;\Longrightarrow\; (\mathbf{r}-\mathbf{d})\cdot\mathbf{n}_0 = 0 \quad\hbox{with}\quad \mathbf{n}_0 = \frac{1}{\sqrt{a^2+b^2+c^2}}\mathbf{f} | ||
</math> | </math> | ||
where '''f''' , ''' | where '''f''' , '''d''', and '''n'''<sub>0</sub> are collinear. The equation may also be written in the following mnemonically convenient form | ||
:<math> | :<math> | ||
\mathbf{ | \mathbf{d}\cdot(\mathbf{r}-\mathbf{d}) = 0, | ||
</math> | </math> | ||
which is the equation for a plane through a point ''A'' perpendicular to <font style="vertical-align: | which is the equation for a plane through a point ''A'' perpendicular to <font style="vertical-align: super;"><math>\overrightarrow{OA}</math></font>. |
Revision as of 01:44, 31 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 P 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 d is the distance of O to the plane. The following relation holds for an arbitrary point P 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 for component vectors (real triplets) that are written bold, we find
with
and
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 , d, and n0 are collinear. The equation may also be written in the following mnemonically convenient form
which is the equation for a plane through a point A perpendicular to .