Sin el segmento de longitud unitaria, es decir, sin algo con qué comparar el primer segmento, su longitud es completamente arbitraria, por lo que no puede ser valorada, por lo que no hay un valor del cual tomar la raíz cuadrada.
Sea el segmento dado (con longitud x) AB y sea el punto C en el rayo AB tal que BC = 1. Construye el punto medio M del segmento AC, construye el círculo con centro M pasando por A, construye la línea perpendicular a AB pasando por B, y sea D una de las intersecciones de esa línea con el círculo centrado en M (llama a la otra intersección E). BD = sqrt(x).
AC y DE son cuerdas del círculo que intersectan en B, así que por el teorema de la potencia de un punto, AB * BC = DB * BE, entonces x * 1 = x = DB * BE. Dado que DE es perpendicular a AC y AC es un diámetro del círculo, AC biseca DE y DB = BE, así que x = DB^2 o DB = sqrt(x).
edit: este es un caso especial de la construcción de la media geométrica más general. Dadas dos longitudes AB y BC (arregladas como se indica arriba), la construcción anterior produce la longitud BD = sqrt(AB * BC), que es la media geométrica de AB y BC.
5 votos
No puedo entender tu último comentario. Si la longitud de un segmento es de 4 unidades, su raíz cuadrada es de 2 unidades, es decir, su mitad; pero si es de 16 unidades, su raíz cuadrada es de 4 unidades, es decir, un cuarto. Por lo tanto, para darle sentido a la noción de raíz cuadrada debes especificar cuál es la unidad que utilizas, lo que equivale a tener un segmento de longitud unitaria.
0 votos
@mau Supongo que fue una mala manera de preguntar por qué la raíz cuadrada a lo largo de una dimensión es fundamentalmente diferente, geométricamente, entonces, digamos, la bisección, que se puede hacer sin un segmento de longitud unitaria.
3 votos
Quizás porque una raíz cuadrada no tiene un significado geométrico en una dimensión (y tal vez no tenga un significado geométrico inherente en absoluto), mientras que la bisectriz tiene que ver con razones, que tienen interpretación geométrica. Las raíces cuadradas están relacionadas con la media geométrica, la cual sí tiene significado geométrico.
4 votos
Entonces, probablemente la mejor respuesta es que la raíz cuadrada no es invariante dimensional; estás mezclando longitudes (la raíz cuadrada en sí misma) y áreas (el número original, que debes ver como un área). La geometría griega era muy estricta al respecto; solo con el surgimiento del álgebra se perdieron esas distinciones.
2 votos
Esta es también una proposición de Euclides. Las construcciones de Isaac y Mau son similares.
5 votos
"También, ¿por qué no se puede lograr esto sin la longitud de la línea unidad? Consideremos un segmento de línea inicial de 25 cm de largo. ¿Debería ser la "raíz cuadrada" más larga o más corta? Suena simple - podrías decir que es obvio que $\sqrt{25}=5$ por lo que deberíamos tener un segmento más corto de 5 cm de largo... pero también podríamos decir que nuestro segmento inicial era de 0.25 metros de largo, y $\sqrt{0.25}=0.5$ sugiriendo que necesitamos un nuevo segmento de 50 cm de largo, ¡el doble de la longitud inicial! A menos que declaramos una "unidad" sea metros o centímetros o pulgadas o lo que sea, entonces nuestra longitud inicial es arbitraria y no hay forma de obtener la raíz cuadrada de ella."
0 votos
@Silverfish Estaba jugando con un problema similar: dado un segmento de longitud k, ¿podemos "reconstruir" una longitud unitaria? Depende de k. En mi caso, digamos que k es la proporción áurea. Entonces, si lo elevo al cuadrado y resto k de su cuadrado, obtengo mi longitud unitaria. Pero no puedo elevar al cuadrado un k arbitrario sin definir una longitud unitaria absoluta ¿De la misma manera, no puedo dividir un segmento arbitrario de longitud k por sí mismo sin conocer explícitamente la longitud unitaria? Puedo bisectar 2, trisectar 3, pero no es posible con un k arbitrario, como un segmento "definido" como longitud "pi" en relación a una "longitud unitaria".