Tengo un triángulo esférico con esquinas $A,B,C$, ángulos $\alpha, \beta, \gamma$ y los lados $a,b,c$ (que son opuestas a las esquinas correspondientes/ángulos).
Me da $a,b$ ( $a>b$ ) y $\alpha$. Quiero explícitamente calcular el resto de los ángulos y longitudes de un triángulo utilizando sólo la ley de los senos y la ley de los cosenos para los lados y los ángulos.
Yo también soy dado una pista, que me debe dibujar una línea a través del punto de $C$ que cruza de lado a $c$ en el ángulo derecho (a la que llamaremos el punto de intersección $D$). Así que quiero ver en dos triángulos $A,C,D$ $B,C,D$ con lados de $c', a', b$ $a, b'', c''$ donde$c'+c'' = c$$b''=a'$. Sus ángulos son $\alpha, \lrcorner, \gamma'$ $\beta, \gamma'', \llcorner$ $\gamma'+\gamma''=\gamma$ y un ángulo recto en cada triángulo.
Mi problema ahora es que, sobre todo, la ley de los cosenos para los lados hace que el cálculo es muy complicado y me pregunto si estoy haciendo las cosas bien.
Comenzando con el primer triángulo y la ley de los senos, tengo $$\sin{a'} = \sin{b}\sin{\alpha}\\ \sin{c} = \sin{b}\sin{\gamma'}$$
Usando la ley de los cosenos de los ángulos, llego $3$ razonable de expresiones simples, pero la ley de los cosenos para los lados me da $3$ términos que este aspecto $$\cos{a'}=\cos{c'}\cos{b} + \sin{c'}\sin{b}\sin{\alpha}$$
Traté de resolver el sistema resultante de $8$ ecuaciones, pero es muy complicado y me llevó a la absurda consecuencia de que un producto de los senos tiene que ser cero. Esto es probablemente debido a una expresión algebraica de error mío. Y en la parte superior de la algebraica de problemas, también voy a tener que tomar las inversas de las funciones trigonométricas en la final.