قضیه زمردی قضیه ای در نظریه جمعی اعداد است و بیان می دارد که اگر مجموعه ی a از اعداد طبیعی دارای چگالی باناخ بالایی مثبت باشد، آنگاه a تصاعدهای حسابی به طول دلخواه را شامل است. در این پایان نامه به بررسی اثبات های مختلف از قضیه زمردی می پردازیم. ابتدا اثبات نظریه ارگودیک فوستنبرگ را در حالت k=3 به طور کامل و در حالت k دلخواه برای سیستم های آمیختگی ضعیف و فشرده ثابت می کنیم. سپس اثبات آنالیز فوریه راث برای حالت k=3 را بیان نموده و در ادامه توضیح کامل اثبات گاورز از قضیه زمردی برای حالت k=4 را ارایه می دهیم.مراجع اصلیاین پایان نامه [4]،[6] می باشند.