Trigonometría racional
La trigonometría racional es una reformulación de la métrica del plano y de la geometría del espacio (que incluye la trigonometría) propuesta por el matemático canadiense Norman J. Wildberger, profesor asociado de matemáticas en la Universidad de Nueva Gales del Sur. Sus ideas se exponen en su libro de 2005 "Divine Proportions: Rational Trigonometry to Universal Geometry" (Proporciones divinas: de la Trigonometría Racional a la Geometría Universal). Según la revista New Scientist, parte de su motivación para una alternativa a la trigonometría tradicional era evitar algunos problemas que afirma que ocurren cuando se usan series infinitas en matemáticas. La trigonometría racional evita el uso directo de funciones transcendentes como el seno y las funciones trigonométricas, sustituyéndolas por sus equivalentes al cuadrado. Wildberger se inspira en los matemáticos anteriores a la teoría de conjuntos infinitos de Georg Cantor, como Carl Friedrich Gauss y Euclides, quienes asegura que eran mucho más cautelosos al usar conjuntos infinitos que los matemáticos modernos. Hasta la fecha, la trigonometría racional no se menciona en la literatura matemática convencional.

Enfoque
La trigonometría racional sigue un enfoque basado en aplicar los métodos del álgebra lineal a los temas de geometría elemental (nivel de secundaria). El concepto de distancia se reemplaza por su valor al cuadrado (cuadranza) y la idea de ángulo se reemplaza por el valor al cuadrado de la proporción del seno usual (extensión) asociado a cualquier ángulo entre dos líneas. (El complementario de la extensión, conocido como cruce, también corresponde a una forma escalada del espacio prehilbertiano entre segmentos de línea tomados como vectores). Las tres leyes principales de la trigonometría, el teorema de Pitágoras, el teorema de los senos y el teorema del coseno, se dan en forma racional (con equivalencia a los valores al cuadrado) y se complementan con otras dos leyes: la fórmula de la cuadranza triple (que relaciona las cuadranzas de tres puntos colineales) y la fórmula de la extensión triple (relacionada con las extensiones de tres líneas concurrentes), dando las cinco leyes fundamentales del tema.

La trigonometría racional, por lo demás, se basa ampliamente en la geometría analítica cartesiana, con un punto definido como un par ordenado de números racionales
 

y una línea en la forma
 

una ecuación de primer grado general con coeficientes racionales ,  y .

Al evitar los cálculos que dependen de operaciones como la raíz cuadrada que dan solo distancias aproximadas entre puntos o funciones trigonométricas estándar (y sus inversas), dar solo polinomios truncados como aproximaciones de ángulos (o sus proyecciones), la geometría se vuelve completamente algebraica. En otras palabras, no se asume la existencia de soluciones en forma de números reales a los problemas, sino que los resultados se dan en el campo de los números racionales, su extensión algebraica o cuerpo finito. A continuación, se afirma, esto hace que muchos resultados clásicos de la geometría euclidiana se apliquen en forma racional (mediante análogos cuadráticos) sobre cualquier campo que no sea de característica dos.

El libro Proporciones divinas muestra la aplicación del cálculo utilizando funciones trigonométricas racionales, que incluyen cálculos de volumen tridimensional. También se ocupa de la aplicación de la trigonometría racional a situaciones que involucran elementos irracionales, como la prueba de que todos los sólidos platónicos tienen diferenciales racionales entre sus caras.

Repercusión y crítica
La trigonometría racional se menciona solo en un número modesto de publicaciones matemáticas, además de en los propios artículos y libros de Wildberger. Proporciones divinas fue descartada por el crítico Paul J. Campbell, quien escribió en el Mathematics Magazine de la Mathematical Association of America (MAA): "El autor afirma que esta nueva teoría requerirá 'menos de la mitad del tiempo habitual para aprender'; pero lo dudo, y aún tendría que estar conectado con los conceptos y la notación tradicionales".

El crítico William Barker, profesor Isaac Wing de Matemáticas en el Bowdoin College, que también escribió para el MAA, fue más aprobador: "«Proporciones divinas» es sin dudas una valiosa adición a la literatura matemática. Desarrolla cuidadosamente un pensamiento estimulante, inteligente, y un enfoque alternativo útil para la trigonometría y la geometría euclidiana. No sería sorprendente que algunos de sus métodos finalmente se filtren en el desarrollo estándar de estos temas. Sin embargo, a menos que haya un cambio inesperado en los puntos de vista aceptados de los fundamentos de las matemáticas, la trigonometría racional no muestra razones de peso para reemplazar a la teoría clásica".

Amanda Gefter, de New Scientist, describió el enfoque de Wildberger como un ejemplo de finitismo. James Franklin en The Mathematical Intelligencer argumentó que el libro merecía una consideración cuidadosa.

Un análisis de Michael Gilsdorf de los mismos ejemplos de problemas trigonométricos utilizados por Wildberger en un artículo anterior, concluyó que una de las afirmaciones efectuadas (que la trigonometría racional toma menos pasos para resolver "la mayoría" de los problemas en comparación con los métodos clásicos) puede no ser cierta si es libre la selección de métodos que está disponible para la solución óptima de un problema; como usar la fórmula del área de Gauss para el área de un triángulo a partir de las coordenadas de sus vértices, o aplicar el caso especial del teorema de Stewart directamente a un triángulo con una mediana conocida. En cuanto a la pedagogía, y si las cantidades cuadráticas introducidas por la trigonometría racional ofrecen beneficios reales sobre el aprendizaje tradicional del sujeto, el autor hizo observaciones adicionales de que la trigonometría clásica no se basaba en el uso de series de Taylor para aproximar ángulos, sino en mediciones de la cuerda (dos veces el seno de un ángulo), y así, con una comprensión adecuada, los estudiantes podrían obtener ventajas del uso continuado de la medición lineal sin las incoherencias lógicas reclamadas cuando se introduce posteriormente la parametrización circular mediante el ángulo.

Cuadranza

La cuadranza y la distancia (como su raíz cuadrada) miden la separación de puntos en el espacio euclidiano. Siguiendo el teorema de Pitágoras, la cuadranza de dos puntos  y  en un plano, se define como la suma de los cuadrados de las diferencias entre las coordenadas  e  de dos puntos:

 

La desigualdad triangular  se expresa en trigonometría racional como .

Extensión

La extensión da una medida a la separación de dos líneas mediante una sola magnitud adimensional en el rango  (de paralelo a perpendicular) para la geometría euclidiana. Reemplaza el concepto de (y tiene varias diferencias con) el ángulo discutido en la sección que figura a continuación. Las descripciones de la extensión pueden incluir:
 
 Trigonométrica (la más elemental): es la relación senoidal entre las cuadranzas de un triángulo rectángulo (izquierda) y por lo tanto equivale al cuadrado del seno del ángulo. Al extender el lado  para formar parte del diámetro unitario de un círculo y considerando triángulos semejantes (derecha), la extensión se mide por la longitud del segmento exterior, igual a la mitad (1 menos el coseno del doble del ángulo en ) y, por lo tanto, su verseno.

 Vectorial: como una función racional de las direcciones relativas (o pendientes) de un par de líneas donde se encuentran.

 Cartesiana: como una función racional de las tres coordenadas utilizadas para caracterizar dos vectores.

 Álgebra lineal (del producto de punto): una función racional normalizada: el cuadrado del determinante de dos vectores (o un par de rectas que se intersecan) formando una matriz dividida por el producto de sus cuadranzas.

Cálculo de la extensión

Trigonométrico
Supóngase que dos líneas,  y , se cruzan en el punto  como se muestra a la derecha. Elíjase un punto  en  tal que  sea el pie de la perpendicular desde  a . En consecuencia, la extensión de  es

Vector/pendiente (dos variables)
Al igual que el ángulo, la extensión depende solo de las pendientes relativas de dos líneas (se eliminan los términos constantes) y es invariable bajo la traslación (es decir, se conserva cuando las líneas se mueven manteniéndose paralelas a sí mismas). Entonces, dadas dos rectas cuyas ecuaciones son

 

se pueden reescribir como dos rectas que se encuentran en el origen  con ecuaciones

 

En esta posición, el punto  satisface la primera ecuación y  satisface la segunda y los tres puntos ,  y  que forman la extensión darán tres cuadranzas:

 

La ley cruzada -véase más adelante- en términos de extensión es

 

que se convierte en:

 

Esto se simplifica en el numerador a , dando:

 

(Nota:  es la expresión del cruce, el cuadrado del coseno de cualquier ángulo entre un par de rectas o vectores, que da su nombre a la ley cruzada).

Luego, usando la identidad de Brahmagupta

 

la expresión estándar para la extensión en términos de pendientes (o direcciones) de dos líneas se convierte en

 

En esta forma (y en su equivalente cartesiano que se muestra a continuación) una extensión es la relación de cuadranzas según el determinante de dos vectores (numerador) y el producto de sus cuadranzas (denominador).

Cartesiano (tres variables)
Esto reemplaza a  con ,  con  y el origen , como el punto de intersección de dos líneas, con  en el resultado anterior:

Extensión en comparación con el ángulo

A diferencia del ángulo, que puede definir una relación entre rayos que emanan de un punto, mediante una parametrización de la medida del arco, y donde un par de líneas se pueden considerar cuatro pares de rayos, formando cuatro ángulos, la extensión es fundamental en la trigonometría racional, que describe dos líneas mediante una sola medida de una función racional (véase arriba). Equivale al cuadrado del seno del ángulo correspondiente  (y al verseno de la base de la cuerda del ángulo doble ), por lo que con esta notación la extensión de un ángulo y el propio ángulo son iguales.

La extensión no es proporcional, sin embargo, a la separación entre líneas como sería el ángulo; con extensiones de 0, , ,  y 1 correspondientes a ángulos espaciados de forma desigual 0°, 30°, 45°, 60° y 90°.

En cambio, (recordando la propiedad suplementaria) dos extensiones iguales y de terminal común, determinan una tercera extensión, cuyo valor será una solución de la fórmula de la extensión triple para un triángulo (para tres rectas concurrentes) con extensiones ,  y :

 

dando el polinomio cuadrático (en ):

 

y soluciones

 

Esto es equivalente a la identidad trigonométrica:

 

de los ángulos ,  y  de un triángulo, usando

 

para denotar un segundo polinomio extendido en .

Encontrar el triple de una extensión también hace uso de la fórmula de la extensión triple como una ecuación cuadrática en la tercera extensión desconocida  tratando las extensiones conocidas  y  (de la solución anterior) como constantes. Resulta que (después de eliminar la solución 'más pequeña' ) se tiene:

 

Se pueden generar múltiplos adicionales de cualquier extensión básica de líneas mediante el uso continuado de la fórmula de la extensión triple de esta manera, o mediante el uso de una fórmula de recursión (véase a continuación) que la aplica indirectamente. Mientras que cualquier extensión múltiple de una extensión que sea racional será polinomial en esa extensión (y, por lo tanto, racional), lo contrario no se aplica. Por ejemplo, con las identidades trigonométricas, dos líneas que se encuentran en un ángulo de 15° (o 165°) tienen una extensión de:

 

y existe así por extensión algebraica de los números racionales.

Vuelta y covuelta

(Definiciones pendientes de completar)

Giro

(Definiciones pendientes de completar)

Polinomios extendidos

Como se ve para las extensiones dobles y triples, un múltiplo -ésimo de cualquier extensión , da un polinomio en esa extensión, denotado como , como una solución a la fórmula de la extensión triple.

En el lenguaje convencional de funciones trigonométricas, estos polinomios extendidos de -ésimo grado, para , se pueden caracterizar por la identidad:

Identidades

Fórmulas explícitas
  (Michael Hirschhorn, Shuxiang Goh)
  (M. Hovdan)
  (M. Hovdan)

De la definición, se sigue inmediatamente que

Fórmula de recursión
Dado que la fórmula de la extensión triple  es una ecuación cuyas entradas se pueden extender a polinomios de la forma: ,  y ,

tomando la extensión de las expresiones

  y

 

y reorganizando los términos, se obtiene una relación recursiva:

Relación con los polinomios de Chebyshov
Los polinomios extendidos están relacionados con los polinomios de Chebyshov de primer tipo, , por la identidad

 

Esto implica que

 

La segunda igualdad anterior se deriva de la identidad

 

en los polinomios de Chebyshov.

Composición
Los polinomios extendidos satisfacen la composición identidad

Coeficientes en campos finitos
Cuando los coeficientes se consideran miembros de un cuerpo finito , la secuencia  de polinomios extendidos es periódica con el período . En otras palabras, si , entonces , para todo .

Ortogonalidad
Cuando los coeficientes tomados son números reales, entonces para , se tiene que

 

Para , la integral es  a menos que , en cuyo caso es .

Funciones generadoras
La función generadora ordinaria es

  (Michael Hirschhorn)

La función generadora exponencial es

Ecuación diferencial
 satisface la ecuación diferencial no homogénea lineal de segundo orden

Teorema de periodicidad de las extensiones
Por cada número entero  y cada número primo , hay un número natural  tal que  es divisible por  precisamente cuando  divide a . Este número  es un divisor de  o . La prueba de esta propiedad teórica numérica se dio primero en un documento de Shuxiang Goh y N. J. Wildberger. Implica considerar el análogo proyectivo a la cuadranza en la recta proyectiva .

Tabla de polinomios extendidos, con factorizaciones
Los primeros polinomios extendidos son los siguientes:

Leyes de la trigonometría racional

Wildberger afirma que existen cinco leyes básicas en la trigonometría racional. También afirma que estas leyes se pueden verificar utilizando matemáticas de nivel secundario. Algunas son equivalentes a fórmulas trigonométricas estándar con las variables expresadas como cuadranzas y extensiones.

En las siguientes cinco fórmulas, se tiene un triángulo formado por tres puntos . Las extensiones de los ángulos en esos puntos son  y , son las cuadranzas de los lados del triángulo opuestos a , respectivamente. Como en la trigonometría clásica, si se conocen tres de los seis elementos ,  y estos tres no son los tres , entonces se pueden calcular los otros tres.

Fórmula de la cuadranza triple

Los tres puntos  son colineales si y solo si:

 

donde  representan las cuadranzas entre  respectivamente. Puede ser probado por geometría analítica (el medio preferido dentro de la trigonometría racional) o deducido de fórmula de Herón, usando la condición de colinealidad de que el triángulo formado por los tres puntos tiene área cero.

Teorema de Pitágoras
Las líneas  (de cuadranza ) y  (de cuadranza ) son perpendiculares (su dispersión es 1) si y solo si:

 

donde  es la cuadranza entre  y .

Esto es equivalente al teorema de Pitágoras (y su inverso).

Hay muchas pruebas clásicas del teorema de Pitágoras; esta está enmarcada en los términos de la trigonometría racional.

La extensión de un ángulo es el cuadrado de su seno. Dado el triángulo  con una extensión de 1 entre los lados  y ,

 

donde  es la cuadranza, es decir, el cuadrado de la distancia.

Ley de extensión
Para cualquier triángulo  con cuadranzas distintas de cero:

 

Este es el teorema de los senos, pero en cuadranzas.

Ley cruzada
Para cualquier triángulo ,

 

Esto es análogo al teorema del coseno. Se llama ley cruzada porque , el cuadrado del coseno del ángulo, se llama cruce.

Fórmula de la extensión triple

Para cualquier triángulo ,

 

Esta relación se puede derivar de la fórmula del seno de un ángulo compuesto: en un triángulo (cuyos tres ángulos suman 180°) se tiene que

 .

Equivalentemente, describe la relación entre las extensiones de tres líneas concurrentes, ya que la extensión (como el ángulo) no se ve afectada cuando los lados de un triángulo se mueven paralelos a sí mismos para encontrarse en un punto común.

Conocer dos extensiones permite que la tercera se calcule resolviendo la fórmula cuadrática asociada, pero, dado que son posibles dos soluciones, se deben usar otras reglas de distribución de triángulos para seleccionar la adecuada. (La complejidad relativa de este proceso contrasta con el método mucho más simple de obtener un ángulo suplementario de otros dos).

Trigonometría sobre campos arbitrarios
Como las leyes de la trigonometría racional dan relaciones algebraicas (y no trascendentes), se aplican en general a campos de números algebraicos más allá de los números racionales. Específicamente, cualquier campo finito que no tenga característica 2 reproduce una forma de estas leyes, y por lo tanto un campo geométrico finito. El plano formado por un campo finito  es el producto cartesiano  de todos los pares ordenados de elementos del campo, con bordes opuestos identificados formando la superficie de un toro discreto. Los elementos individuales corresponden a puntos estándar, mientras que las rectas son conjuntos de no más de  puntos relacionados por incidencia (un punto inicial) más una dirección o pendiente dada en los términos más simples (podría expresarse por ejemplo como todos los puntos '2 derecha y 1 arriba') que envuelven el plano antes de repetirlo.

Ejemplo: (verificación de la ley de extensión en )
La figura (derecha) muestra un triángulo de tres de estas rectas en el campo finito que establece :

Cada línea tiene su propio símbolo y las intersecciones de las líneas (vértices) están marcadas por dos símbolos presentes en los puntos: 

 (2, 8), (9, 9) y (10, 0).

Utilizando el teorema de Pitágoras con la aritmética de módulo 13, se tiene que estos lados tienen cuadranzas de:

 (9 - 2) 2 + (9 - 8) 2 = 50 ≡ 11 mod 13

 (9 - 10) 2 + (9 - 0) 2 = 82 ≡ 4 mod 13

 (10 - 2) 2 + (0 - 8) 2 = 128 ≡ 11 mod 13

Reordenando la ley cruzada como
 
resultan expresiones separadas para cada extensión, en términos de las tres cuadranzas:

 1 -  = 1 -  ≡ 8 mod 13

 1 -  = 1 -  ≡ 10 mod 13
 
 1 -  = 1 -  ≡ 8 mod 13

A su vez, se observa que estas relaciones son todas iguales, según la ley de extensión (al menos en mod 13):

 : : 

Dado que la primera y la última relación coinciden (haciendo que el triángulo sea isósceles) simplemente se realiza la multiplicación cruzada, y se toman las extensiones, para mostrar la igualdad con la proporción media también:

 11 × 10 - 8 × 4 = 78 ≡ 0 mod 13

De lo contrario, se considera que el plano euclídeo estándar consiste únicamente en puntos racionales, , omitiendo los números no algebraicos como soluciones. Las propiedades como la incidencia de objetos, que representan las soluciones o el contenido de los teoremas geométricos, por lo tanto, siguen un enfoque teórico numérico que difiere y es más restrictivo que el que permiten los números reales. Por ejemplo, se considera que no todas las rectas que pasan por el centro de un círculo coinciden con el círculo en su circunferencia. Para ser incidentes, tales rectas deben ser de la forma
 
y cumplir necesariamente con la circunferencia en un punto racional.

Computación: complejidad y eficiencia
La trigonometría racional hace que casi todos los problemas se puedan resolver solo con sumas, restas, multiplicaciones o divisiones, ya que las funciones trigonométricas (de ángulo) se evitan a propósito utilizando proporciones trigonométricas en forma cuadrática. Como máximo, si se requieren resultados como distancias (o ángulos) se pueden aproximar a partir de un equivalente racional de valor exacto de cuadranza (o extensión) después de que se hayan llevado a cabo estas operaciones más simples. Sin embargo, para aprovechar esta ventaja, cada problema debe darse o configurarse en términos de cuadranzas y extensiones previas, lo que implica un trabajo adicional.

Las leyes de la trigonometría racional, que son algebraicas y de valor exacto, introducen sutilezas en las soluciones de problemas, como la no aditividad de cuadranzas de puntos colineales (en el caso de la fórmula de la cuadranza triple) o las extensiones de rectas concurrentes (en el caso de la fórmula de la extensión triple), situación muy diferente del enfoque clásico, donde la linealidad se incorpora a la distancia y la medida circular de los ángulos, aunque las técnicas "trascendentales" requieran una aproximación de los resultados.

Véase también
 Finitismo
 Ultrafinitismo
 Geometría hiperbólica
 Historia de la trigonometría

Notas

Referencias

Referencias generales
 Una comparación de trigonometría clásica y racional
 Trigonometría racional aplicada a la robótica, por João Pequito Almeida
 La Imposibilidad de Trisecting y Angle with Straightedge and Compass: Un Acercamiento Usando la Trigonometría Racional, por David G. Poole
 Cómo multiplicar y dividir triángulos, por Maurice Craig

Enlaces externos
 Wildberger's rational trigonometry site, including downloadable papers and sections of his book
 Spread polynomials, rotations and the butterfly effect
 Euler Math Toolbox implementation of Rational Trigonometry

Trigonometría
La trigonometría racional es una reformulación de la métrica del plano y de la geometría del espacio ( que incluye la trigonometría ) propuesta por el matemático canadiense Norman J. Wildberger , profesor asociado de matemáticas en la Universidad de Nueva Gales del Sur . Sus ideas se exponen en su libro de" Divine Proportions : Rational Trigonometry to Universal Geometry " ( Proporciones divinas : de la Trigonometría Racional a la Geometría Universal ) . Según la revista New Scientist , parte de su motivación para una alternativa a la trigonometría tradicional era evitar algunos problemas que afirma que ocurren cuando se usan series infinitas en matemáticas . La trigonometría racional evita el uso directo de funciones transcendentes como el seno y las funciones trigonométricas , sustituyédo las por sus equivalentes al cuadrado . Wildberger se inspira en los matemáticos anteriores a la teoría de conjuntos infinitos de Georg Cantor , como Carl Friedrich Gauss y Euclides , quienes asegura que eran mucho más cautelosos al usar conjuntos infinitos que los matemáticos modernos . Hasta la fecha , la trigonometría racional no se menciona en la literatura matemática convencional . Enfoque La trigonometría racional sigue un enfoque basado en aplicar los métodos del álgebra lineal a los temas de geometría elemental ( nivel de secundaria ) . El concepto de distancia se reemplaza por su valor al cuadrado ( cuadranza ) y la idea de ángulo se reemplaza por el valor al cuadrado de la proporción del seno usual ( extensión ) asociado a cualquier ángulo entre dos líneas . ( El complementario de la extensión , conocido como cruce , también corresponde a una forma escalada del espacio prehilbertiano entre segmentos de línea tomados como vectores ) . Las tres leyes principales de la trigonometría , el teorema de Pitágoras , el teorema de los senos y el teorema del coseno , se dan en forma racional ( con equivalencia a los valores al cuadrado ) y se complementan con otras dos leyes : la fórmula de la cuadranza triple ( que relaciona las cuadranzas de tres puntos colineales ) y la fórmula de la extensión triple ( relacionada con las extensiones de tres líneas concurrentes ) , dando las cinco leyes fundamentales del tema . La trigonometría racional , por lo demás , se basa ampliamente en la geometría analítica cartesiana , con un punto definido como un par ordenado de números racionales y una línea en la forma una ecuación de primer grado general con coeficientes racionales , y \ . Al evitar los cálculos que dependen de operaciones como la raíz cuadrada que dan solo distancias aproximadas entre puntos o funciones trigonométricas estándar ( y sus inversas ) , dar solo polinomios truncados como aproximaciones de ángulos ( o sus proyecciones ) , la geometría se vuelve completamente algebraica . En otras palabras , no se asume la existencia de soluciones en forma de números reales a los problemas , sino que los resultados se dan en el campo de los números racionales , su extensión algebraica o cuerpo finito . A continuación , se afirma , esto hace que muchos resultados clásicos de la geometría euclidiana se apliquen en forma racional ( mediante análogos cuadráticos ) sobre cualquier campo que no sea de característica dos . El libro Proporciones divinas muestra la aplicación del cálculo utilizando funciones trigonométricas racionales , que incluyen cálculos de volumen tridimensional . También se ocupa de la aplicación de la trigonometría racional a situaciones que involucran elementos irracionales , como la prueba de que todos los sólidos platónicos tienen diferenciales racionales entre sus caras . Repercusión y crítica La trigonometría racional se menciona solo en un número modesto de publicaciones matemáticas , además de en los propios artículos y libros de Wildberger . Proporciones divinas fue descartada por el crítico Paul J. Campbell , quien escribió en el Mathematics Magazine de la Mathematical Association of America ( MAA ) : " El autor afirma que esta nueva teoría requerirá 'menos de la mitad del tiempo habitual para aprender ' ; pero lo dudo , y aún tendría que estar conectado con los conceptos y la notación tradicionales " . El crítico William Barker , profesor Isaac Wing de Matemáticas en el Bowdoin College , que también escribió para el MAA , fue más aprobador : " «Proporciones divinas» es sin dudas una valiosa adición a la literatura matemática . Desarrolla cuidadosamente un pensamiento estimulante , inteligente , y un enfoque alternativo útil para la trigonometría y la geometría euclidiana . No sería sorprendente que algunos de sus métodos finalmente se filtren en el desarrollo estándar de estos temas . Sin embargo , a menos que haya un cambio inesperado en los puntos de vista aceptados de los fundamentos de las matemáticas , la trigonometría racional no muestra razones de peso para reemplazar a la teoría clásica " . Amanda Gefter , de New Scientist , describió el enfoque de Wildberger como un ejemplo de finitismo . James Franklin en The Mathematical Intelligencer argumentó que el libro merecía una consideración cuidadosa . Un análisis de Michael Gilsdorf de los mismos ejemplos de problemas trigonométricos utilizados por Wildberger en un artículo anterior , concluyó que una de las afirmaciones efectuadas ( que la trigonometría racional toma menos pasos para resolver " la mayoría " de los problemas en comparación con los métodos clásicos ) puede no ser cierta si es libre la selección de métodos que está disponible para la solución óptima de un problema ; como usar la fórmula del área de Gauss para el área de un triángulo a partir de las coordenadas de sus vértices , o aplicar el caso especial del teorema de Stewart directamente a un triángulo con una mediana conocida . En cuanto a la pedagogía , y si las cantidades cuadráticas introducidas por la trigonometría racional ofrecen beneficios reales sobre el aprendizaje tradicional del sujeto , el autor hizo observaciones adicionales de que la trigonometría clásica no se basaba en el uso de series de Taylor para aproximar ángulos , sino en mediciones de la cuerda ( dos veces el seno de un ángulo ) , y así , con una comprensión adecuada , los estudiantes podrían obtener ventajas del uso continuado de la medición lineal sin las incoherencias lógicas reclamadas cuando se introduce posteriormente la parametrización circular mediante el ángulo . Cuadranza La cuadranza y la distancia ( como su raíz cuadrada ) miden la separación de puntos en el espacio euclidiano . Siguiendo el teorema de Pitágoras , la cuadranza de dos puntos y en un plano , se define como la suma de los cuadrados de las diferencias entre las coordenadas e de dos puntos : La desigualdad triangular se expresa en trigonometría racional como \ . Extensión La extensión da una medida a la separación de dos líneas mediante una sola magnitud adimensional en el rango ( de paralelo a perpendicular ) para la geometría euclidiana . Reemplaza el concepto de ( y tiene varias diferencias con ) el ángulo discutido en la sección que figura a continuación . Las descripciones de la extensión pueden incluir : Trigonométrica ( la más elemental ) : es la relación senoidal entre las cuadranzas de un triángulo rectángulo ( izquierda ) y por lo tanto equivale al cuadrado del seno del ángulo . Al extender el lado para formar parte del diámetro unitario de un círculo y considerando triángulos semejantes ( derecha ) , la extensión se mide por la longitud del segmento exterior , igual a la mitadmenos el coseno del doble del ángulo en ) y , por lo tanto , su verseno . Vectorial : como una función racional de las direcciones relativas ( o pendientes ) de un par de líneas donde se encuentran . Cartesiana : como una función racional de las tres coordenadas utilizadas para caracterizar dos vectores . Álgebra lineal ( del producto de punto ) : una función racional normalizada : el cuadrado del determinante de dos vectores ( o un par de rectas que se intersecan ) formando una matriz dividida por el producto de sus cuadranzas . Cálculo de la extensión Trigonométrico Supóngase que dos líneas , y , se cruzan en el punto como se muestra a la derecha . Elíjase un punto en tal que sea el pie de la perpendicular desde a \ . En consecuencia , la extensión de es Vector/pendiente ( dos variables ) Al igual que el ángulo , la extensión depende solo de las pendientes relativas de dos líneas ( se eliminan los términos constantes ) y es invariable bajo la traslación ( es decir , se conserva cuando las líneas se mueven manteniendo se paralelas a sí mismas ) . Entonces , dadas dos rectas cuyas ecuaciones son se pueden reescribir como dos rectas que se encuentran en el origen con ecuaciones En esta posición , el punto satisface la primera ecuación y satisface la segunda y los tres puntos , y que forman la extensión darán tres cuadranzas : La ley cruzada -vea se más adelante- en términos de extensión es que se convierte en : Esto se simplifica en el numerador a , dando : ( Nota : es la expresión del cruce , el cuadrado del coseno de cualquier ángulo entre un par de rectas o vectores , que da su nombre a la ley cruzada ) . Luego , usando la identidad de Brahmagupta la expresión estándar para la extensión en términos de pendientes ( o direcciones ) de dos líneas se convierte en En esta forma ( y en su equivalente cartesiano que se muestra a continuación ) una extensión es la relación de cuadranzas según el determinante de dos vectores ( numerador ) y el producto de sus cuadranzas ( denominador ) . Cartesiano ( tres variables ) Esto reemplaza a con , con y el origen , como el punto de intersección de dos líneas , con en el resultado anterior : Extensión en comparación con el ángulo A diferencia del ángulo , que puede definir una relación entre rayos que emanan de un punto , mediante una parametrización de la medida del arco , y donde un par de líneas se pueden considerar cuatro pares de rayos , formando cuatro ángulos , la extensión es fundamental en la trigonometría racional , que describe dos líneas mediante una sola medida de una función racional ( vea se arriba ) . Equivale al cuadrado del seno del ángulo correspondiente ( y al verseno de la base de la cuerda del ángulo doble ) , por lo que con esta notación la extensión de un ángulo y el propio ángulo son iguales . La extensión no es proporcional , sin embargo , a la separación entre líneas como sería el ángulo ; con extensiones de , , ycorrespondientes a ángulos espaciados de forma desigual , , , y . En cambio , ( recordando la propiedad suplementaria ) dos extensiones iguales y de terminal común , determinan una tercera extensión , cuyo valor será una solución de la fórmula de la extensión triple para un triángulo ( para tres rectas concurrentes ) con extensiones , y \ : dando el polinomio cuadrático ( en ) : y soluciones Esto es equivalente a la identidad trigonométrica : de los ángulos , y de un triángulo , usando para denotar un segundo polinomio extendido en \ . Encontrar el triple de una extensión también hace uso de la fórmula de la extensión triple como una ecuación cuadrática en la tercera extensión desconocida tratando las extensiones conocidas y ( de la solución anterior ) como constantes . Resulta que ( después de eliminar la solución ' más pequeña ' ) se tiene : Se pueden generar múltiplos adicionales de cualquier extensión básica de líneas mediante el uso continuado de la fórmula de la extensión triple de esta manera , o mediante el uso de una fórmula de recursión ( vea se a continuación ) que la aplica indirectamente . Mientras que cualquier extensión múltiple de una extensión que sea racional será polinomial en esa extensión ( y , por lo tanto , racional ) , lo contrario no se aplica . Por ejemplo , con las identidades trigonométricas , dos líneas que se encuentran en un ángulo de ( o ) tienen una extensión de : y existe así por extensión algebraica de los números racionales . Vuelta y covuelta ( Definiciones pendientes de completar ) Giro ( Definiciones pendientes de completar ) Polinomios extendidos Como se ve para las extensiones dobles y triples , un múltiplo -ésimo de cualquier extensión , da un polinomio en esa extensión , denotado como , como una solución a la fórmula de la extensión triple . En el lenguaje convencional de funciones trigonométricas , estos polinomios extendidos de -ésimo grado , para , se pueden caracterizar por la identidad : Identidades Fórmulas explícitas ( Michael Hirschhorn , Shuxiang Goh ) ( M. Hovdan ) ( M. Hovdan ) De la definición , se sigue inmediatamente que Fórmula de recursión Dado que la fórmula de la extensión triple es una ecuación cuyas entradas se pueden extender a polinomios de la forma : , y , tomando la extensión de las expresiones y y reorganizando los términos , se obtiene una relación recursiva : Relación con los polinomios de Chebyshov Los polinomios extendidos están relacionados con los polinomios de Chebyshov de primer tipo , , por la identidad Esto implica que La segunda igualdad anterior se deriva de la identidad en los polinomios de Chebyshov . Composición Los polinomios extendidos satisfacen la composición identidad Coeficientes en campos finitos Cuando los coeficientes se consideran miembros de un cuerpo finito , la secuencia de polinomios extendidos es periódica con el período \ . En otras palabras , si , entonces , para todo . Ortogonalidad Cuando los coeficientes tomados son números reales , entonces para , se tiene que Para , la integral es a menos que , en cuyo caso es . Funciones generadoras La función generadora ordinaria es ( Michael Hirschhorn ) La función generadora exponencial es Ecuación diferencial satisface la ecuación diferencial no homogénea lineal de segundo orden Teorema de periodicidad de las extensiones Por cada número entero y cada número primo , hay un número natural tal que es divisible por precisamente cuando divide a \ . Este número es un divisor de o \ . La prueba de esta propiedad teórica numérica se dio primero en un documento de Shuxiang Goh y N. J. Wildberger . Implica considerar el análogo proyectivo a la cuadranza en la recta proyectiva \ . Tabla de polinomios extendidos , con factorizaciones Los primeros polinomios extendidos son los siguientes : Leyes de la trigonometría racional Wildberger afirma que existen cinco leyes básicas en la trigonometría racional . También afirma que estas leyes se pueden verificar utilizando matemáticas de nivel secundario . Algunas son equivalentes a fórmulas trigonométricas estándar con las variables expresadas como cuadranzas y extensiones . En las siguientes cinco fórmulas , se tiene un triángulo formado por tres puntos \ . Las extensiones de los ángulos en esos puntos son y , son las cuadranzas de los lados del triángulo opuestos a , respectivamente . Como en la trigonometría clásica , si se conocen tres de los seis elementos , y estos tres no son los tres , entonces se pueden calcular los otros tres . Fórmula de la cuadranza triple Los tres puntos son colineales si y solo si : donde representan las cuadranzas entre respectivamente . Puede ser probado por geometría analítica ( el medio preferido dentro de la trigonometría racional ) o deducido de fórmula de Herón , usando la condición de colinealidad de que el triángulo formado por los tres puntos tiene área cero . Teorema de Pitágoras Las líneas ( de cuadranza ) y ( de cuadranza ) son perpendiculares ( su dispersión essi y solo si : donde es la cuadranza entre y \ . Esto es equivalente al teorema de Pitágoras ( y su inverso ) . Hay muchas pruebas clásicas del teorema de Pitágoras ; esta está enmarcada en los términos de la trigonometría racional . La extensión de un ángulo es el cuadrado de su seno . Dado el triángulo con una extensión deentre los lados y , donde es la cuadranza , es decir , el cuadrado de la distancia . Ley de extensión Para cualquier triángulo con cuadranzas distintas de cero : Este es el teorema de los senos , pero en cuadranzas . Ley cruzada Para cualquier triángulo , Esto es análogo al teorema del coseno . Se llama ley cruzada porque , el cuadrado del coseno del ángulo , se llama cruce . Fórmula de la extensión triple Para cualquier triángulo , Esta relación se puede derivar de la fórmula del seno de un ángulo compuesto : en un triángulo ( cuyos tres ángulos suman ) se tiene que \ . Equivalentemente , describe la relación entre las extensiones de tres líneas concurrentes , ya que la extensión ( como el ángulo ) no se ve afectada cuando los lados de un triángulo se mueven paralelos a sí mismos para encontrar se en un punto común . Conocer dos extensiones permite que la tercera se calcule resolviendo la fórmula cuadrática asociada , pero , dado que son posibles dos soluciones , se deben usar otras reglas de distribución de triángulos para seleccionar la adecuada . ( La complejidad relativa de este proceso contrasta con el método mucho más simple de obtener un ángulo suplementario de otros dos ) . Trigonometría sobre campos arbitrarios Como las leyes de la trigonometría racional dan relaciones algebraicas ( y no trascendentes ) , se aplican en general a campos de números algebraicos más allá de los números racionales . Específicamente , cualquier campo finito que no tenga característicareproduce una forma de estas leyes , y por lo tanto un campo geométrico finito . El plano formado por un campo finito es el producto cartesiano de todos los pares ordenados de elementos del campo , con bordes opuestos identificados formando la superficie de un toro discreto . Los elementos individuales corresponden a puntos estándar , mientras que las rectas son conjuntos de no más de puntos relacionados por incidencia ( un punto inicial ) más una dirección o pendiente dada en los términos más simples ( podría expresar se por ejemplo como todos los puntos '2 derecha yarriba ' ) que envuelven el plano antes de repetir lo . Ejemplo : ( verificación de la ley de extensión en ) La figura ( derecha ) muestra un triángulo de tres de estas rectas en el campo finito que establece \ : Cada línea tiene su propio símbolo y las intersecciones de las líneas ( vértices ) están marcadas por dos símbolos presentes en los puntos : y Utilizando el teorema de Pitágoras con la aritmética de módulo se tiene que estos lados tienen cuadranzas de : -2 +-2 =≡mod -2 +-2 =≡mod -2 +-2 =≡mod Reordenando la ley cruzada como resultan expresiones separadas para cada extensión , en términos de las tres cuadranzas : - =- ≡mod - =- ≡mod - =- ≡mod A su vez , se observa que estas relaciones son todas iguales , según la ley de extensión ( al menos en mod 13 ) : \ : \ : Dado que la primera y la última relación coinciden ( haciendo que el triángulo sea isósceles ) simplemente se realiza la multiplicación cruzada , y se toman las extensiones , para mostrar la igualdad con la proporción media también : ×-×=≡mod De lo contrario , se considera que el plano euclídeo estándar consiste únicamente en puntos racionales , , omitiendo los números no algebraicos como soluciones . Las propiedades como la incidencia de objetos , que representan las soluciones o el contenido de los teoremas geométricos , por lo tanto , siguen un enfoque teórico numérico que difiere y es más restrictivo que el que permiten los números reales . Por ejemplo , se considera que no todas las rectas que pasan por el centro de un círculo coinciden con el círculo en su circunferencia . Para ser incidentes , tales rectas deben ser de la forma y cumplir necesariamente con la circunferencia en un punto racional . Computación : complejidad y eficiencia La trigonometría racional hace que casi todos los problemas se puedan resolver solo con sumas , restas , multiplicaciones o divisiones , ya que las funciones trigonométricas ( de ángulo ) se evitan a propósito utilizando proporciones trigonométricas en forma cuadrática . Como máximo , si se requieren resultados como distancias ( o ángulos ) se pueden aproximar a partir de un equivalente racional de valor exacto de cuadranza ( o extensión ) después de que se hayan llevado a cabo estas operaciones más simples . Sin embargo , para aprovechar esta ventaja , cada problema debe dar se o configurar se en términos de cuadranzas y extensiones previas , lo que implica un trabajo adicional . Las leyes de la trigonometría racional , que son algebraicas y de valor exacto , introducen sutilezas en las soluciones de problemas , como la no aditividad de cuadranzas de puntos colineales ( en el caso de la fórmula de la cuadranza triple ) o las extensiones de rectas concurrentes ( en el caso de la fórmula de la extensión triple ) , situación muy diferente del enfoque clásico , donde la linealidad se incorpora a la distancia y la medida circular de los ángulos , aunque las técnicas " trascendentales " requieran una aproximación de los resultados . Vea se también Finitismo Ultrafinitismo Geometría hiperbólica Historia de la trigonometría Notas Referencias Referencias generales Una comparación de trigonometría clásica y racional Trigonometría racional aplicada a la robótica , por João Pequito Almeida La Imposibilidad de Trisecting y Angle with Straightedge and Compass : Un Acercamiento Usando la Trigonometría Racional , por David G. Poole Cómo multiplicar y dividir triángulos , por Maurice Craig Enlaces externos Wildberger's rational trigonometry site , including downloadable papers and sections of his book Spread polynomials , rotations and the butterfly effect Euler Math Toolbox implementation of Rational Trigonometry Trigonometría