Solve the following equation in the variables $m\in\{1,2,\dots\}, n\in \{2,3,\dots \}$ and $k$ $\in\{1,\dots \lceil{ \frac{n}{2} } \rceil \}$
$$(m+\sqrt{m^2+4})^2(1-\cos\frac{2\pi}{n}) = 4(1-\cos\frac{2\pi k}{n}).$$
There are solutions $(m, n, k) = (1, 5, 2)$ and $(2, 8, 3)$ but are there any others?
Disclaimer: I got this equation from the still(?) open question posed on this video.
I would imagine your list is all. I did the easy search I mentioned; if any others in the following list are actual solutions, then $m = \lfloor x \rfloor \; .$ I would guess all the others are false, just lucky approximations. In the first three lines, we see the evident golden ratio and $1 + \sqrt 2.$ If there were other genuine $n,$ I really would expect it to factor as a possible power of two times distinct Fermat primes. That does not seem to work out, I do not see $17$