That is essentially the same argument as in the given solution. The only diference is that your method brings in the Archimedean axiom to prduce arationalnumber x, whereas the given solution simply defines x=½(10+α). Since there is no need for x to be rational, this seems a bit more straightforward than using the Archimedean axiom. But both methods are equally acceptable as proofs.