Is it true that every tame knot has at least an alternating diagram?
If yes, is it true that we can always obtain an alternating diagram by a finite number of Reidemeister moves from a diagram of a knot?
If yes, how can we do it?
I am reading GTM Introduction to Knot Theory and find they sort of assume this, which makes me think it should be evident but I cannot figure out.
The former is true and is essentially a "checkerboard colouring" argument -- colour all the regions black and white, no two of the same colour sharing a border ( (ab)use Jordan curve theorem if you want to prove this ). Then as you travel towards a crossing, if there's black on your right as you approach, go under; otherwise, over.
The second is false according to mathworld, wolfram; this is a proof by counterexample (note that because that particular knot is non-alternating, you cannot make an alternating knot diagram by using Reidemeister moves as the positions you can get with Reidemeister moves are precisely the projections of the knot that you can get).