Triangle problem - finding the angle Please look at the following figure:

All the angles are in degrees. I have to find $x$.

I am really no good at solving geometry problems. I tried to search the internet for similar problems and came up with this: https://www.duckware.com/tech/worldshardesteasygeometryproblem.html . The two problems mentioned on the page are very similar so I tried to see if the solutions to them can be applied to this problem but it didn't help. I have zero idea about the problem given my inexperience in these kind of geometry problem.
Any help is appreciated. Thanks!
 A: The angle in question does not seem to be a rational number of degrees. It is approximately
$$x\approx17.877987144333100702669230434486544610886743725521319531393624°$$
It is characterized by
$$1216\,\cos^6x - 3264\,\cos^4x + 2916\,\cos^2x - 867 = 0$$
Since this is a cubic equation in $\cos^2x$ you could write down an explicit formula for the solution of that in terms of radicals, take the square root, then the arc cosine of that, and would end up with an explicit exact formula for the angle in question. Not a nice formula, though, and you'll need complex numbers along the way even though the final result is real:
$$x=\arccos\sqrt{
\frac{17}{19}-\frac{1+\sqrt{-3}}{152} \sqrt[3]{\frac{-17+19\sqrt{-3}}2}
-\frac{7 (1-\sqrt{-3})}{76 \sqrt[3]{-68+76\sqrt{-3}}}
}$$
The condition for the sine has a bit easier coefficients:
$$1216\sin^6x - 384\sin^4x + 36\sin^2x - 1=0$$
But basing the explicit formula on that cubic equation has little effect on the overall complexity; it still looks as complicated as it does with the cosine.
I found this by executing the construction using exact algebraic numbers. The cosine in particular relates to the dot product of the unit length direction vectors of the two lines. For the negative result, I looked at the continued fraction representation, which should have had a notable step if this were a rational number. I also tried finding a minimal polynomial of degree up to 24, so it seems that $x$ is probably not even algebraic.
A: I think it’s sufficient to handle this with coordinate geometry. I’m going to place the lower left vertex of the triangle at the origin, and the lower right vertex at $(1,0)$. Let’s name all five of the small triangles making up the figure, starting at the top, triangle $\alpha$. Then, going around the perimeter clockwise, the triangle containing your angle $x$ will be called $\beta$, then $\gamma$ is the upper triangle with a vertex at the lower right vertex of the whole thing, then $\delta$, and finally $\varepsilon$.
So I’ll say that the whole triangle is $\alpha+\beta+\gamma+\delta+\varepsilon$, and any of the smaller ones may be described as the sum (union) of a subset of the five named ones. Let’s also name $A$ as the common vertex of $\alpha$, $\beta$, and $\varepsilon$, and $B$ as the common vertex of triangles $\alpha$, $\beta$, and $\gamma$. What’s crucial to our discussion is the problem of finding the slope of the line segment $\overline{AB}$.
Let’s make some preliminary observations. The big triangle is isosceles, having angles of 80 at both vertices on the horizontal axis. (I’m going to omit the degree sign from here on.) Since the angle of 80 shows up again and again, I’m going to use the notation $T=\tan80$, $S=\sin80$, and $C=\cos80$. So we see that the top vertex has coordinates $(\frac12,T/2)$. Notice also that there’s another $(80,80,20)$ isosceles triangle, it’s the triangle $\delta+\varepsilon$, which has the point $A$ as the top one of its vertices. So we have similar triangles,
and we can get the length $\ell$ of the segment from the origin to $A$. Using leg/base, we get
$$
\frac{\frac12\sec80}1=\frac1\ell\,,\qquad\ell=2C\,.
$$
Thus the coordinates of $A$ are $(2C^2,2CS)$.
Now $B$ is at the intersection of the line $Y=X/\sqrt3$, because $\tan30=1/\sqrt3$, and the line of slope $T$ passing through $(1,0)$, so its equation is $Y=-T(X-1)$. Solve these two first for $X$, then for $Y$:
$$
X=\frac T{T+\frac1{\sqrt3}}\,,\qquad Y=X/\sqrt3=\frac T{1+\sqrt3T}\,.
$$
From this, the slope $m$ of $\overline{AB}$ is
$$
\frac{\frac T{1+\sqrt3}-2CS}
{\frac{\sqrt3T}{1+\sqrt3T}-2C^2}
=\frac{T-2CS(1+\sqrt3T)}{\sqrt3T-2C^2(1+\sqrt3T)}\,,
$$
which works out numerically to $m=.2147833$. Now we need the angle between this and a line of slope $1/\sqrt3$, so we get
$$
\tan x=\frac{\frac1{\sqrt3}-m}{1+\frac m{\sqrt3}}=\frac{1-\sqrt3m}{\sqrt3+m}
=.3225670\,,
$$
which gives $x=17.8779872^\circ$. I did all these numerics on my HP15-C !
