نامساوی کوشی-شوارتز: پل ارتباطی بین زاویه و اندازه بردارها
ضرب داخلی و طول بردار: دو مفهوم بنیادی
پیش از بیان نامساوی، باید دو مفهوم اصلی را مرور کنیم. هر بردار در صفحه یا فضا، دارای طول (یا اندازه) است که با $|\vec{a}|$ نمایش داده میشود. برای بردار $\vec{a} = (a_1, a_2)$ در دو بعد، طول از رابطه $|\vec{a}| = \sqrt{a_1^2 + a_2^2}$ به دست میآید.
همچنین ضرب داخلی1 دو بردار $\vec{a}$ و $\vec{b}$ که به صورت $\vec{a} \cdot \vec{b}$ نوشته میشود، در حالت هندسی برابر است با $|\vec{a}| |\vec{b}| \cos \theta$ که در آن $\theta$ زاویه بین دو بردار است. در مختصات دکارتی، اگر $\vec{a} = (a_1, a_2)$ و $\vec{b} = (b_1, b_2)$، آنگاه $\vec{a} \cdot \vec{b} = a_1 b_1 + a_2 b_2$.
بیان جبری و هندسی نامساوی کوشی-شوارتز
نامساوی کوشی-شوارتز2 به زبان ساده میگوید: قدر مطلق ضرب داخلی دو بردار، هرگز از حاصل ضرب طولهای آن دو بردار بیشتر نمیشود. فرمول آن به صورت زیر است:
به عبارت دیگر، $ |\vec{a} \cdot \vec{b}| \le |\vec{a}| |\vec{b}| $. تساوی در این نامساوی زمانی رخ میدهد که دو بردار همجهت باشند (یعنی موازی و در یک جهت) یا یکی از بردارها صفر باشد. در حالت همجهت بودن، زاویه بین آنها $0^\circ$ یا $180^\circ$ است و $\cos\theta = \pm 1$ میشود.
از نظر هندسی، این نامساوی بیان میکند که طول تصویر یک بردار روی بردار دیگر، از طول خود بردار بیشتر نیست. اگر $\vec{a}$ را روی $\vec{b}$ تصویر کنید، اندازه آن تصویر برابر $|\vec{a}| |\cos\theta|$ است. ضرب شدن در $|\vec{b}|$ دقیقاً همان ضرب داخلی را میدهد.
بررسی با جدول مقایسه: حالتهای مختلف زاویه بین دو بردار
| زاویه ($\theta$) | مقدار $\cos\theta$ | ضرب داخلی ($\vec{a}\cdot\vec{b}$) | وضعیت نامساوی |
|---|---|---|---|
| $0^\circ$ (همجهت) | $1$ | $|\vec{a}| |\vec{b}|$ | تساوی برقرار |
| $90^\circ$ (عمود) | $0$ | $0$ | نامساوی اکید |
| $180^\circ$ (خلاف جهت) | $-1$ | $-|\vec{a}| |\vec{b}|$ | تساوی قدرمطلق |
کاربرد عملی: تخمین شباهت و بهینهسازی
فرض کنید در یک مسئله فیزیک، نیروی $\vec{F}$ با اندازه $10$ نیوتن بر جسمی وارد میشود و جسم مسیری به طول $5$ متر را طی میکند. کار انجام شده برابر $\vec{F} \cdot \vec{d}$ است. بر اساس نامساوی کوشی-شوارتز، ماکزیمم مقدار کار $10 \times 5 = 50$ ژول است، آن هم زمانی که نیرو و جابهجایی همجهت باشند. اگر زاویه بین آنها $60^\circ$ باشد، کار برابر $50 \times \cos 60^\circ = 25$ ژول خواهد شد که از حد بالایی کمتر است.
در آمار و یادگیری ماشین، ضریب همبستگی پیرسون بین دو متغیر مستقیماً با استفاده از این نامساوی تعریف میشود. هر چه ضرب داخلی بردارهای نرمال شده بزرگتر باشد، شباهت خطی بین آنها بیشتر است. همچنین در بهینهسازی، برای اثبات نامساوی مثلثی برای نرم بردارها، از کوشی-شوارتز استفاده میشود: $|\vec{a} + \vec{b}| \le |\vec{a}| + |\vec{b}|$.
چالشهای مفهومی
۱) چرا در نامساوی از قدر مطلق استفاده شده است؟
ضرب داخلی میتواند منفی باشد (زمانی که زاویه بیشتر از $90^\circ$ باشد). قدر مطلق تضمین میکند که سمت چپ نامساوی همواره مثبت یا صفر باشد و نامساوی معنی خود را حفظ کند. بدون قدر مطلق، برای زاویه $120^\circ$ داریم $\vec{a}\cdot\vec{b} = |\vec{a}| |\vec{b}| \cos 120^\circ = -\frac{1}{2} |\vec{a}| |\vec{b}|$ که به وضوح از $|\vec{a}| |\vec{b}|$ کوچکتر است، ولی اگر بخواهیم تساوی یا نابرابری را بررسی کنیم شکل $|\vec{a}\cdot\vec{b}| \le |\vec{a}| |\vec{b}|$ همیشه برقرار است.
۲) آیا نامساوی برای بردارهای سهبعدی هم کار میکند؟
بله، کاملاً. نامساوی کوشی-شوارتز در هر فضای ضرب داخلی (از جمله ابعاد $n$) برقرار است. برای بردارهای $\vec{a} = (a_1, a_2, a_3)$ و $\vec{b} = (b_1, b_2, b_3)$ داریم $(a_1 b_1 + a_2 b_2 + a_3 b_3)^2 \le (a_1^2 + a_2^2 + a_3^2)(b_1^2 + b_2^2 + b_3^2)$. این رابطه در هندسه تحلیلی و فیزیک سهبعدی بسیار پرکاربرد است.
۳) چه زمانی از علامت مساوی استفاده میشود؟
تساوی در $|\vec{a} \cdot \vec{b}| = |\vec{a}| |\vec{b}|$ رخ میدهد اگر و فقط اگر دو بردار خطی وابسته باشند، یعنی یکی مضرب اسکالر دیگری باشد ($\vec{a} = \lambda \vec{b}$). این شرط معادل موازی بودن دو بردار است (همجهت یا خلاف جهت). در غیر این صورت، نامساوی اکید است.
پاورقی
1 ضرب داخلی (Dot product / Inner product): عملیات جبری که به دو بردار، یک عدد نسبت میدهد و بیانگر میزان همجهتی آنها است.
2 نامساوی کوشی-شوارتز (Cauchy-Schwarz inequality): قضیهای در ریاضیات که برای هر دو بردار در فضای ضرب داخلی، نابرابری مذکور را تضمین میکند.