Equation (7.132) is an approximate formula for the average probability of symbol error for M-ary PSK using coherent detection. This formula was derived using the union bound in light of the signalspace diagram of Figure.
Given that message point m1 was transmitted, show that the approximation of (7.132) may be derived directly from Figure.