I want to find the edges b and c of the triangle ABC knowing that the mesure of angles are 15 degrees, 30 degrees and 135 degrees and the length of one side is 3. I tried
restart:
a:=3:
eq1:=(a^2+b^2-c^2)/(2*a*b):
eq2:=(b^2+c^2-a^2)/(2*b*c):
eq3:=(c^2+a^2-b^2)/(2*a*c):
solve([eq1=cos(15*Pi/180),eq2=cos(30*Pi/180),eq3=cos(135*Pi/180)],[c,b]);
But I do not get any solution of this system of equations. Does this system of equations have no solutions?