عبارت‌های متقارن سه‌متغیره؛ تبدیل هوشمندانه جمع و حاصل‌ضرب‌ها

پاسخ کوتاه

در بسیاری از مسئله‌های جبری، خودِ عددهای x، y و z مهم نیستند؛ بلکه ترکیب‌هایی مانند مجموع، مجموع حاصل‌ضرب‌های دوتایی و حاصل‌ضرب سه عدد اهمیت دارند. اگر عبارت با جابه‌جایی x، y و z تغییر نکند، آن را متقارن می‌نامیم. شناخت این ساختار، محاسبه‌هایی طولانی را به چند رابطه کوتاه تبدیل می‌کند. سه کمیت پایه را چنین تعریف می‌کنیم: S=x+y+z، P=xy+yz+zx و T=xyz. هدف این درس آن است که عبارت‌های ظاهراً پیچیده را با S، P و T بازنویسی کنیم؛ سپس فقط مقدارهای داده‌شده را جایگذاری کنیم.

تشخیص عبارت متقارن

عبارتی مانند x+y+z یا x²+y²+z² با جابه‌جایی متغیرها ثابت می‌ماند، اما x²+y فقط در حالت خاص متقارن نیست؛ چون نقش z با x و y یکسان نیست. در عبارت‌های متقارن، پیش از بسط کامل بگرد که آیا می‌توان از اتحادهای شناخته‌شده استفاده کرد. همین تشخیص نخستین گام برای کاهش محاسبه است.

سه رابطه پایه

با تعریف S=x+y+z و P=xy+yz+zx داریم S²=x²+y²+z²+2P، پس x²+y²+z²=S²-2P. همچنین از بسط مکعب مجموع به رابطه S³=x³+y³+z³+3(x+y)(y+z)(z+x) یا شکل دقیق‌تر x³+y³+z³=S³-3SP+3T می‌رسیم. این سه کمیت، زبان فشرده‌ای برای بیشتر عبارت‌های متقارن درجه‌های پایین هستند.

حاصل‌ضرب دوتاییِ جمع‌ها

اتحاد مهم دیگر این است: (x+y)(y+z)(z+x)=(x+y+z)(xy+yz+zx)-xyz. بنابراین این عبارت برابر SP-T است. اگر مسئله مقدار S، P و T را بدهد، محاسبه مستقیم سه پرانتز لازم نیست. برای کنترل علامت، ابتدا دو طرف را در حالت ساده‌ای مانند x=y=z=1 آزمایش کن؛ در این حالت طرف چپ 8 و طرف راست 3×3-1=8 می‌شود.

اختلاف مکعب‌ها و حالت ویژه

رابطه x³+y³+z³-3xyz=(x+y+z)(x²+y²+z²-xy-yz-zx) برقرار است. با استفاده از S و P، سمت راست به S(S²-3P) تبدیل می‌شود. اگر x+y+z=0 باشد، نتیجه مهم x³+y³+z³=3xyz است. این شرط، بسیاری از سؤال‌های دارای جمع صفر را بدون یافتن تک‌تک متغیرها حل می‌کند.

ساختن رابطه از چندجمله‌ای

عددهای x، y و z را می‌توان ریشه‌های معادله t³-St²+Pt-T=0 دانست. این نگاه می‌گوید چرا S، P و T اطلاعات طبیعی مسئله‌اند: آن‌ها ضرایب معادله‌ای هستند که ریشه‌ها را در خود جای داده است. اگر یکی از متغیرها معلوم باشد، باقیمانده دو متغیر را می‌توان از مجموع و حاصل‌ضربشان پیدا کرد؛ مثلاً اگر z=c، آنگاه x+y=S-c و xy=T/c، به شرط c ناصفر بودن.

روش حل و خطاهای رایج

ابتدا نوع عبارت را تشخیص بده، سپس S، P و T را روی کاغذ تعریف کن. بعد عبارت را با یکی از اتحادها جایگزین و در پایان عددگذاری کن. دو خطای رایج عبارت‌اند از فراموش‌کردن ضریب 2 در S² و استفاده از T=xyz وقتی یکی از متغیرها صفر است؛ در حالت دوم تقسیم بر آن متغیر مجاز نیست. همچنین متقارن‌بودن عبارت را با هم‌درجه‌بودن جمله‌ها اشتباه نکن؛ عبارت x²+y²+z، هرچند ظاهری منظم دارد، متقارن کامل نیست چون درجه جمله‌ها یکسان نیست.

جمع‌بندی کاربردی

سه فرمول را حفظ و درک کن: x²+y²+z²=S²-2P، (x+y)(y+z)(z+x)=SP-T و x³+y³+z³=S³-3SP+3T. در سؤال‌های عددی، داده‌ها را به این سه نماد تبدیل کن و از بسط‌های غیرضروری دور بمان. اگر شرطی مانند S=0 یا x=y=z داده شده باشد، آن را پیش از هر محاسبه به کار ببر؛ شرط ساختاری معمولاً از عددگذاری مستقیم ارزشمندتر است.

تمرین خودسنجی با پاسخ