User talk:Paul Wormer/scratchbook1: Difference between revisions

From Citizendium
Jump to navigation Jump to search
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 ''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 ''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{a} \equiv  \overrightarrow{OA}
  \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{a}}{a} \quad \hbox{with}\quad a \equiv {|\vec{a}|}
\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 ''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 ''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{a}\right)\cdot \vec{n} = 0 \quad\hbox{with}\quad \vec{r} \equiv\overrightarrow{OX}\quad\hbox{and}\quad  \vec{r}-\vec{a} = \overrightarrow{AX} .
\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}\cdot \mathbf{n} = \mathbf{a}\cdot \mathbf{n}  
\left( \mathbf{r} - \mathbf{d}\right)\cdot \mathbf{n}_0 = 0
\Longleftrightarrow
\Longleftrightarrow
x u +y v+z w a
x a_0 +y b_0+z c_0 d
</math>
</math>
with
with
:<math>
:<math>
\mathbf{a} = (u,\;v,\; w), \quad  
\mathbf{d} = (a,\;b,\; c), \quad  
\mathbf{r} = (x,\;y,\; z), \quad\hbox{and}\quad \mathbf{a}\cdot \mathbf{n}  =
\mathbf{n}_0 = (a_0,\;b_0,\; c_0), \quad  
\mathbf{a}\cdot \frac{\mathbf{a}}{a} = a  = \sqrt{u^2+v^2+w^2}.
\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 = d \,
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{a} \equiv \frac{d}{\mathbf{f}\cdot\mathbf{f}} \mathbf{f}.
\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} = d= \mathbf{f}\cdot \mathbf{a}.
\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{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{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''' , '''a''', and '''n''' are collinear. The equation may also be written in the following mnemonically convenient form
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{a}\cdot(\mathbf{r}-\mathbf{a}) = 0,
\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: top;"><math>\overrightarrow{OA}</math></font>.
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 02:44, 31 March 2010

PD Image
Equation for plane. X is arbitary point in plane; and are collinear.

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 .