MATH319 Slides

164 Proof

Suppose that K=X/Y. Then, as in frame 161,

I+GK=1+XYPQ=YQ+XPYQ=1YQ;

so 11+GK=YQ and hence Φ has all entries in 𝒮, since

Φ=YQ[1-P/Q-1X/Y1-X/YPX/YQP/Q1]=[YQ-YP-YQXQYQ-XQXPYPYQ].