سؤال ۳، ریاضیات گسسته، دی ۱۴۰۱

گزاره زیر را به روش بازگشتی (گزاره‌های هم‌ارز) ثابت کنید:
« برای هر دوعدد حقیقی $x$ و $y$ داریم: $y^{\mathrm{۲}}+\mathrm{۱}\ge -\mathrm{۲}x(y+x+\mathrm{۱})$ »