Ciro Santilli www.physics.udel.edu/~jim/PHYS424_17F/Class%20Notes/Class_5.pdf by James MacDonald shows it well.
The operators are a natural guess on the lines of "if p and x were integers".
And then we can prove the ladder properties easily.
The commutator appear in the middle of this analysis.