距離

Distance — Grokipedia Fact-checked by Grok 2 months ago Distance Ara Eve Leo Sal 1x Distance is a scalar quantity representing the length of the shortest path between two points in a space, fundamental to geometry, physics, and measurement. [1] [2] In Euclidean geometry, the distance between two points ( x 1 , y 1 ) (x_1, y_1) ( x 1 ​ , y 1 ​ ) and ( x 2 , y 2 ) (x_2, y_2) ( x 2 ​ , y 2 ​ ) in the plane is calculated as d = ( x 2 − x 1 ) 2 + ( y 2 − y 1 ) 2 d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2} d = ( x 2 ​ − x 1 ​ ) 2 + ( y 2 ​ − y 1 ​ ) 2 ​ , derived from the Pythagorean theorem. [3] The distance formula is typically introduced in 8th grade in US schools under Common Core State Standards (8.G.B.8), where students apply the Pythagorean Theorem to find the distance between two points in a coordinate system. It is often revisited in high school geometry. [4] This extends to higher dimensions and forms the basis for metric spaces, where a distance function must satisfy non-negativity, symmetry, the identity of indiscernibles, and the triangle inequality: d ( x , z ) ≤ d ( x , y ) + d ( y , z ) d(x,z) \leq d(x,y) + d(y,z) d ( x , z ) ≤ d ( x , y ) + d ( y , z ) . [1] In physics, distance quantifies the total path length traversed by an object, distinguishing it from displacement, which accounts for direction as a vector. [5] Applications span navigation, such as great-circle distances on spheres for aviation routes, to abstract spaces in data analysis and computer science. [6] Variations like Manhattan distance, which sums absolute differences along axes, arise in contexts prioritizing grid-like paths over straight lines. [7] Definition and Historical Context Core Definition and Intuition Distance, in its most fundamental sense, quantifies the extent of spatial separation between two points or objects, representing the length of the path connecting them. In physics, it is defined as a scalar quantity measuring the total ground covered by an object during motion, independent of direction. [5] This contrasts with displacement, which accounts for the straight-line vector from initial to final position, highlighting distance's path-dependent nature. [8] For instance, an object traveling 5 kilometers eastward and then 5 kilometers westward covers a distance of 10 kilometers, though its displacement is zero. [5] The intuitive core of distance arises from everyday experience: it gauges "how far" entities are apart, enabling navigation, estimation of travel time, and comprehension of scale in the physical world. In Euclidean geometry , this intuition formalizes as the straight-line length between points, derived from the Pythagorean theorem . [9] For two points ( x 1 , y 1 ) (x_1, y_1) ( x 1 ​ , y 1 ​ ) and ( x 2 , y 2 ) (x_2, y_2) ( x 2 ​ , y 2 ​ ) in a plane, the distance d d d is d = ( x 2 − x 1 ) 2 + ( y 2 − y 1 ) 2 d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2} d = ( x 2 ​ − x 1 ​ ) 2 + ( y 2 ​ − y 1 ​ ) 2 ​ , embodying the shortest path in flat space. [1] This measure underpins calculations in surveying, engineering, and basic kinematics, where empirical verification through tools like rulers or odometers confirms its accuracy. Mathematically, distance extends beyond physical paths to abstract spaces via metric functions, which assign non-negative values to pairs of elements, satisfying properties like symmetry and the triangle inequality. [10] The Euclidean metric serves as the prototypical example, capturing the direct, causal separation in observable reality, while deviations in non-Euclidean contexts reveal how geometry influences perceived distances. This foundational concept drives empirical sciences by linking observable separations to quantifiable models, ensuring predictions align with measured outcomes. [1] Historical Evolution of the Concept The concept of distance originated in practical necessities of ancient civilizations, where it was quantified using anthropometric units derived from human anatomy to facilitate trade , construction , and navigation. In Sumeria and ancient Egypt around 3000–2000 BCE, early systems employed measures such as the cubit —defined as the length from elbow to fingertip, approximately 45–52 cm depending on regional variations—and smaller subdivisions like the palm or finger . [11] These units enabled precise surveying for monumental architecture , as evidenced by cubit rods inscribed with markings found in Egyptian tombs, reflecting an empirical approach to linear separation without abstract formalization. [12] By the classical Greek period, around 300 BCE, Euclid's Elements elevated distance from mere measurement to a geometric primitive , implicit in the postulate that a straight line can be drawn between any two points, with length determined via constructive proofs and the Pythagorean theorem for right triangles. This framework treated distance as the invariant length of the shortest path in flat space, calculable as ( x 2 − x 1 ) 2 + ( y 2 − y 1 ) 2 \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2} ( x 2 ​ − x 1 ​ ) 2 + ( y 2 ​ − y 1 ​ ) 2 ​ in coordinate terms later formalized, though Euclid avoided coordinates. Roman engineers extended practical application, using the passus (double pace, about 1.48 m) and mille passus (thousand paces, precursor to the mile) for road-building, achieving accuracies within 5% over long distances via chained measurements . [13] [14] Medieval and Renaissance efforts focused on standardization amid inconsistent local units, with the 1791 French Academy proposal for the metric system grounding distance in natural invariants like Earth's quadrant meridian (1/10,000,000 defining the meter). In 19th-century mathematics, distance gained rigor through real analysis , as in Cauchy's 1821 work on convergence implying bounded separations, paving the way for abstraction . The modern formalization emerged in the early 20th century , with Maurice Fréchet's 1906 introduction of écart (a semi-metric satisfying non-negativity and symmetry) and Felix Hausdorff's 1914 definition of metric spaces, axiomatizing distance d ( x , y ) d(x,y) d ( x , y ) via positivity, symmetry, and the triangle inequality d ( x , z ) ≤ d ( x , y ) + d ( y , z ) d(x,z) \leq d(x,y) + d(y,z) d ( x , z ) ≤ d ( x , y ) + d ( y , z ) , decoupling it from Euclidean embedding. [15] [16] This evolution shifted distance from empirical artifact to a foundational structure in topology and analysis , enabling non-intuitive metrics like those in taxicab geometry or function spaces. [16] Geometric and Physical Distances Euclidean Distance and Measurement The Euclidean distance between two points in a plane is the length of the straight-line segment connecting them, computed via the square root of the sum of the squared differences in their Cartesian coordinates. [17] This measure originates from the Pythagorean theorem, which states that in a right triangle, the square of the hypotenuse equals the sum of the squares of the other two sides, directly yielding the distance formula for points $ (x_1, y_1) $ and $ (x_2, y_2) $ as $ d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2} $. [9] In three-dimensional space , the formula extends to include the z-coordinate: $ d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2 + (z_2 - z_1)^2} $ for points $ (x_1, y_1, z_1) $ and $ (x_2, y_2, z_2) $. [18] This generalization preserves the geometric intuition of the shortest path in flat space. For arbitrary n-dimensional Euclidean space , the distance is $ d(\mathbf{x}, \mathbf{y}) = \sqrt{\sum_{i=1}^n (x_i - y_i)^2} $, forming the basis for the $ \ell_2 $-norm in vector spaces. [19] Physical measurement of Euclidean distances relies on instruments calibrated in standardized units assuming local flatness, where general relativity effects are insignificant. The metre , the SI unit of length , is defined as the distance light travels in vacuum during 1/299792458 of a second, fixing the speed of light at exactly 299792458 m/s. [20] For short ranges, rigid rods or tape measures enforce this metric through material stiffness, approximating straight-line paths. [21] Precision techniques, such as laser interferometry, determine distances by counting interference fringes from coherent light , with each fringe corresponding to half a wavelength , typically around 532 nm for green lasers, enabling sub-micrometre accuracy under Euclidean assumptions. [22] Non-Euclidean and Curved-Space Distances Non-Euclidean geometries deviate from Euclidean parallelism and incorporate constant non-zero curvature, altering distance measurements along geodesics rather than straight lines. Elliptic geometry, equivalent to spherical geometry on a unit sphere, defines distance as the great circle arc length between points, given by $ d = \arccos(\mathbf{p} \cdot \mathbf{q}) $ for position vectors p \mathbf{p} p and q \mathbf{q} q on the sphere. [23] This yields shorter paths than Euclidean chords, with total circumference 2 π 2\pi 2 π and excess triangle angles summing positively. [23] Hyperbolic geometry, featuring constant negative curvature (often normalized to -1), employs models like the Poincaré disk or upper half-plane for distance computation. In the upper half-plane model, the hyperbolic distance between points z z z and w w w satisfies cosh ⁡ ( d ( z , w ) ) − 1 = ∣ z − w ∣ 2 2 Im ⁡ z Im ⁡ w \cosh(d(z, w)) - 1 = \frac{|z - w|^2}{2 \operatorname{Im} z \operatorname{Im} w} cosh ( d ( z , w )) − 1 = 2 Im z Im w ∣ z − w ∣ 2 ​ . [24] Geodesics appear as circular arcs orthogonal to the boundary, and distances grow exponentially, leading to negative angle excess in triangles. [25] In broader curved spaces modeled by Riemannian manifolds, distances arise from a metric tensor g g g assigning inner products to tangent spaces. The length of a curve γ : [ a , b ] → M \gamma: [a,b] \to M γ : [ a , b ] → M is ∫ a b g γ ( t ) ( γ ′ ( t ) , γ ′ ( t ) ) d t \int_a^b \sqrt{g_{\gamma(t)}(\gamma'(t), \gamma'(t))} \, dt ∫ a b ​ g γ ( t ) ​ ( γ ′ ( t ) , γ ′ ( t )) ​ d t , and the dis