> It's the hypotenuse of a right triangle with legs of length one.
Yes, we can construct such a line segment; but line segments are not numbers.
We don't actually need "legs of length one" (which pre-supposes some system of units); all we need is the ratio of the lengths of the sides. However, finding lengths requires the ability to take square roots, which would either make this a circular definition (e.g. that √2 = √2 / 1), or requires the limit of an infinite process (like Newton's method, or equivalent).
Instead, it's much easier to count the areas of the squares on each leg (1 and 1), and add them together to get the area of the square on the hypotenuse (1 + 1 = 2). No need for lengths, so no need for square roots, so no need for √2.
Wildberger abbreviates 'area of the square on a segment/vector' as the 'quadrance' of that segment/vector (defined as the dot-product with itself). Likewise we can avoid angles by taking ratios of quadrances (e.g. 'spread' is defined via a right-triangle as the quadrance of the opposite side / quadrance of the hypotenuse); together this gives rise to a whole theory of Rational Trigonometry, which gives efficiently computable, exact answers; works in arbitrary fields (except for characteristic two), and with arbitrary dot-products/bilinear-forms (e.g. euclidean, relativistic, spherical, etc.). Here's Wildberger's textbook on the subject http://www.ms.lt/derlius/WildbergerDivineProportions.pdf
Yes, we can construct such a line segment; but line segments are not numbers.
We don't actually need "legs of length one" (which pre-supposes some system of units); all we need is the ratio of the lengths of the sides. However, finding lengths requires the ability to take square roots, which would either make this a circular definition (e.g. that √2 = √2 / 1), or requires the limit of an infinite process (like Newton's method, or equivalent).
Instead, it's much easier to count the areas of the squares on each leg (1 and 1), and add them together to get the area of the square on the hypotenuse (1 + 1 = 2). No need for lengths, so no need for square roots, so no need for √2.
Wildberger abbreviates 'area of the square on a segment/vector' as the 'quadrance' of that segment/vector (defined as the dot-product with itself). Likewise we can avoid angles by taking ratios of quadrances (e.g. 'spread' is defined via a right-triangle as the quadrance of the opposite side / quadrance of the hypotenuse); together this gives rise to a whole theory of Rational Trigonometry, which gives efficiently computable, exact answers; works in arbitrary fields (except for characteristic two), and with arbitrary dot-products/bilinear-forms (e.g. euclidean, relativistic, spherical, etc.). Here's Wildberger's textbook on the subject http://www.ms.lt/derlius/WildbergerDivineProportions.pdf