Geometric proof of rate-distortion function of Gaussian sources with side information at the decoder

The achievability of the Wyner-Ziv theorem (Wyner 1978) for the Gaussian case is shown using only geometric arguments. The motivation for this is to inspire the construction of practical codes based on this (Pradhan and Ramchandran 2000).