KA = [HPO42-][H+]/[HPO4-] let x be the H+ concentration from movement to equilibrium:
KA = 4.5 x 10-13 = x*(10-7+x)/(.9-x) which results in a quadratic. It is safe to assume x <<.9:
4.5 x 10-13 = x*(10-7+x)/.9 It looks like they also assume x >> 10-7 (not so great in my opinion)
in which case the equation becomes
4.5 x 10-13 = x2/.9 solve for x, then take -logx