Math 2.0

statement proposition

Distance from a point to a line

Statement

Let aa, bb and cc be real numbers with (a,b)≠(0,0)(a, b) \neq (0, 0), and let L={(x,y)∈R2:ax+by+c=0}L = \{(x, y) \in \mathbb{R}^2 : a x + b y + c = 0\} be a line in the plane. Let P=(x0,y0)P = (x_0, y_0) be a point of R2\mathbb{R}^2. The distance from PP to LL is the smallest Euclidean distance d(P,Q)d(P, Q) for Q∈LQ \in L. Then dist⁡(P,L)=∣ax0+by0+c∣a2+b2.\operatorname{dist}(P, L) = \frac{|a x_0 + b y_0 + c|}{\sqrt{a^2 + b^2}}.

Remarks

The smallest distance is reached at exactly one point QQ of LL, the foot of the perpendicular from PP. It is Q=P−ax0+by0+ca2+b2(a,b)Q = P - \frac{a x_0 + b y_0 + c}{a^2 + b^2} (a, b). In Rn\mathbb{R}^n, let LL be the line through the point AA with the direction vector vv. The distance from PP to LL is the length of the part of P−AP - A that is perpendicular to vv: the length of (P−A)−(P−A)⋅vv⋅vv(P - A) - \frac{(P - A) \cdot v}{v \cdot v} v. In R3\mathbb{R}^3 this distance is also ∥(P−A)×v∥/∥v∥\|(P - A) \times v\| / \|v\|.

Explanations

L1 human

The shortest way from a point to a line is the path that meets the line at a right angle. The formula measures this path. For the line y=0y = 0, thus a=0a = 0, b=1b = 1, c=0c = 0, it gives ∣y0∣|y_0|: the height of the point above or below the horizontal axis.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 4 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Euclidean distance concept
  2. Line concept
  3. Normal vector concept
  4. Distance from a point to a line statement

What depends on this

4 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Distance_from_a_point_to_a_line, Line defined by an equation