xoves, 2 de decembro de 2021

O paraíso trigonométrico de Viète

Cada tempo ten os seus intereses e cada novo achádego trae consigo tamén novos problemas. É habitual que estes novos problemas fosen inconcebibles antes de que se dera o avance. Nos anos previos á publicación Ars Magna de Cardano (1501-1576), ano 1545, o reto era a resolución da ecuación cúbica. Había quen, como Luca Pacioli (1445-1517), consideraba este un probelma irresoluble. 

Noutra entrada deste blogue explicara o método de resolución de Cardano para ecuacións cúbicas. Despois de eliminar o termo cadrático quedaba unha ecuación da forma x3+px+q=0 que se resolvía mediante a fórmula: x=q2+(p2)2+(q3)33+q2(p2)2+(q3)33

Este descubrimento traía dentro un cabalo de troia, tamén comentado nesta outra ocasión e que volvo a recordar. Consideremos a ecuación: x3=156x+4

Aplicando a fórmula anterior obtemos o seguinte resultado:x=2+1213+21213

A pesar da apariencia complexa, o resultado é o simple número 4. Nesta ocasión aínda se podía buscar entre os divisores do termo independente para dar con este valor. Pero que sucede se a ecuación non ten ninguha solución racional? Cando partimos dunha ecuación cúbica con coeficientes enteiros que teña tres raíces irracionais distintas, calquera expresión con radicais en función dos coeficientes da ecuación vai conter inevitablemente valores imaxinarios. Polo tanto o problema da aparición dos imaxinarios non reside na fórmula dada por Cardano. Pero isto non se sabería ata que o demostrara Pierre Wantzel (1814-1848). Se nos situamos na segunda metade do século XVI ecuacións de aspecto tan inofensivo como o seguinte eran realmente problemáticas. x33x1=0

O método de Cardano ofrécenos este resultado cos inevitables complexos:x=1+323+1+323

François Viète (1540-1603) conseguiría obter as solucións e sorprendentemente había de facelo ao mesmo tempo que indicaba a dirección que finalmente levaría á solución dun dos problemas clásicos: o da trisección do ángulo,  resolto tamén por Wantzel. Publícao no 1593 nun libro titulado Variorum de rebus mathematicis responsorum liber VIII. Consideraba que había que ampliar os métodos xeométricos permitindo o uso da regra marcada ou neuse. Mediante este método Arquímedes (287 aC-212 aC) conseguira trisecar un ángulo calquera.


Dado o ángulo AOB=3θ a trisecar, trazamos a circunferencia BAC de raio a. Cunha regra marcada en dous puntos a unha distancia a=DC, pasando por A trazamos a recta AD. O ángulo θ=ADB será a solución buscada.  Pódese ver todo o proceso no blogue Regra e compás.

Como curiosidade marquei con vértice C o ángulo ACO que ten unha amplitude de 2θ. Pódese comprobar moi facilmente esta medida no triángulo isóscele AOB que ten de ángulos: 2θ, 2θ e 180θ3θ.

Chamémoslle x=DO, y=AC e b=OF.  Calculando a potencia de D á circunferencia obtemos: 

DEEO=DCDA

(xa)(x+a)=a(a+y)

x2a2=a2+ay

ay=x2a2[1]

Se agora proxectamos perpendincularmente os puntos A e C sobre a recta DB obtemos dous triángulos rectángulos semellantes: DHC e DGA.
En virtude desta semellanza:
aa+y=x2x+b2=x2x+b
2ax+ab=ax+xy
ax+ab=xy[2]


Conxugando [1] e [2]:
ax+ab=x2a2ax
a2x+a2b=x32a2x
x33a2x=a2b
Sen perda de xeneralidade fagamos a=1:
x33x=b
Viète decatouse de que resolver esta ecuación cúbica era equivalente a trisecar o ángulo 3θ. Ademais foi quen de resolvela a pesar de ser o problemático casus irreducibilis de Cardano. Fíxoo botando man da trigonometría. Sexa x=2y
8y36y=b
4y33y=b2Comparemos agora esta ecuación coa fórmula do coseno do ángulo triplo:
4cos3θ3cosθ=cos3θ
Bastará con que x=2y=2cosθ e b=2cos3θ
Por poñer un exemplo, se b=1 quedaríanos para resolver a ecuación x33x=1. Os cambios anteriores dan lugar a que cos3θ=12
3θk=60+360kk=0,1,2
θk=20+120kk=0,1,2
xk=2cos(20+120k)k=0,1,2
x1=2cos(20)=1,8793...x2=2cos(140)=1,5320...x3=2cos(260)=0,3472...
Aínda que Viéte era un adiantado á súa época, só consideraría a primeira solución pois a finais do século XVI  estábase moi lonxe de outorgarlle aos negativos un lugar dentro do sistema dos números.
Quen queira consultar as fontes de onde fun recollendo os resultados destas liñas pode remexer en Tales of Impossibility de David S. Richeson e Trigonometric Delights de Eli Maor. De todas formas, collinlle gusto ao tema e de certo que volverei sobre el.

2 comentarios:

  1. Segunda entrada en pouco tempo na que enlazas ao meu blog. Debes ser o meu maior fan ;)

    ResponderEliminar
    Respostas
    1. Da outra vez foi a mantenta. Agora cadroulle. A cousa é que lin unha cousa sobre Viète que me sorprendeu e quixen poñelo aquí e que vou poñer nos vindeiros días, pero unha cousa levoume a outra e ao final acabei escribindo esta entrada que contiña outra vez unha construción co método neuse e claro, como ti xa o tes todo sobre iso...

      Eliminar