نماد جزء صحیح ([x]) : پلی میان اعداد حقیقی و گسسته
تعریف پایه و چگونگی محاسبه جزء صحیح
نماد جزء صحیح که با کروشه نمایش داده میشود، برای هر عدد حقیقی x به صورت زیر تعریف میشود:
$[x] = \max\{ n \in \mathbb{Z} \mid n \le x \}$به زبان ساده، $[x]$ بزرگترین عدد صحیحی است که از x بزرگتر نیست. برای اعداد مثبت، جزء صحیح همان قسمت صحیح عدد (بخش قبل از ممیز) است. اما برای اعداد منفی باید دقت کرد. برای نمونه، جزء صحیح $-2.3$ برابر $-3$ است، نه $-2$، زیرا $-3$ بزرگترین عدد صحیح کوچکتر یا مساوی $-2.3$ محسوب میشود.
در برخی منابع، بهجای $[x]$ از نماد $\lfloor x \rfloor$ استفاده میشود که به آن «تابع کف» میگویند. همچنین تابع «سقف» $\lceil x \rceil$ کوچکترین عدد صحیح بزرگتر یا مساوی x را نمایش میدهد. در این مقاله بر روی نماد جزء صحیح ($[x]$) تمرکز داریم که معادل تابع کف است.
ویژگیهای کلیدی و قواعد جبری جزء صحیح
تابع جزء صحیح دارای خواص متعددی است که حل مسائل را سادهتر میکند. درک این ویژگیها برای دانشآموزان دبیرستان بسیار مفید است. مهمترین این خواص در جدول زیر گردآوری شده است:
| ویژگی | بیان جبری | مثال |
|---|---|---|
| کرانگذاری | $[x] \le x \lt [x] + 1$ | برای $x=2.3$ داریم $2 \le 2.3 \lt 3$ |
| یکنوایی | اگر $a \le b$ آنگاه $[a] \le [b]$ | $[1.2]=1 \le [2.8]=2$ |
| جمع با عدد صحیح | $[x + n] = [x] + n$ ، $n \in \mathbb{Z}$ | $[3.4 + 2] = [5.4] = 5 = 3+2$ |
| ضرب در عدد صحیح - نامساوی | برای $n \in \mathbb{N}$ : $[nx] \ge n[x]$ (همیشه برقرار نیست) | $[2 \times 1.6] = [3.2]=3$ و $2 \times [1.6]=2$ ، پس $3 \ge 2$ |
یکی از کاربردهای جالب این ویژگیها در اثبات هویتهای عددی است. برای نمونه، با استفاده از ویژگی کرانگذاری میتوان به راحتی نشان داد که $[x] = -[-x]$ برای اعداد صحیح برقرار نیست، بلکه به ازای $x \notin \mathbb{Z}$ داریم $[x] + [-x] = -1$.
نمودار و رفتار بصری تابع جزء صحیح
نمودار تابع $y = [x]$ به شکل پلهای است. در هر بازه به فرم $[n, n+1)$ که $n$ یک عدد صحیح است، مقدار تابع ثابت و برابر $n$ میباشد. در نقاط صحیح مانند $x = n$، تابع مقدار $n$ را دارد (پرش به راست باز است). این رفتار باعث میشود تابع در نقاط صحیح ناپیوسته باشد و از چپ به راست جهش کند.
برای ترسیم ذهنی: در بازه $[0,1)$ مقدار تابع صفر، در $[1,2)$ مقدار یک، در $[-1,0)$ مقدار $-1$ و الی آخر. در نقاط صحیح مانند $x=1$، نقطه $(1,1)$ روی نمودار قرار دارد.
کاربرد عملی: حل معادلات و نامعادلات جزء صحیح
یکی از مهمترین کاربردهای این نماد، حل معادلات و نامعادلاتی است که در آن مجهول داخل جزء صحیح قرار دارد. راهکار اصلی، استفاده از نامساوی کرانگذاری است. برای حل معادله $[x] = k$ که $k$ عدد صحیح است، کافی است بنویسیم $k \le x \lt k+1$. اما برای معادلاتی مانند $[2x+1] = 5$ باید دقت بیشتری کرد.
گام 1: از تعریف داریم: $4 \le 3x - 2 \lt 5$
گام 2: به هر سه طرف عدد $2$ اضافه میکنیم: $6 \le 3x \lt 7$
گام 3: تقسیم بر عدد مثبت $3$: $2 \le x \lt \frac{7}{3}$
پاسخ نهایی: $x \in [2, \frac{7}{3})$
همچنین در مسائل روزمره، وقتی نیاز به شمارش تعداد دفعات یا گروهبندی داریم (مانند تعداد اتوبوسهای لازم برای حمل تعداد مشخصی مسافر) از جزء صحیح استفاده میشود. برای نمونه، اگر هر اتوبوس گنجایش ۵۰ نفر را داشته باشد، برای جابجایی ۱۸۰ نفر، نیاز به $[\frac{180-1}{50}] + 1 = 4$ اتوبوس داریم (استفاده از تابع سقف).
چالشهای مفهومی در جزء صحیح
پاسخ: زیرا طبق تعریف، جزء صحیح بزرگترین عدد صحیحی است که از عدد مورد نظر بزرگتر نباشد. اعداد صحیح $-3$ و $-2$ هر دو از $-2.3$ کوچکتر یا مساوی هستند ($-3 \le -2.3$ و $-2 \le -2.3$). اما $-2$ از $-3$ بزرگتر است، پس $-2$ نمیتواند پاسخ باشد. از طرفی هیچ عدد صحیحی مانند $-1$ یا بزرگتر که از $-2.3$ کوچکتر باشد وجود ندارد. در نتیجه پاسخ $-3$ است.
پاسخ: خیر، این تساوی همیشه درست نیست. برای نمونه، $x = 2.5$ و $y = 2.5$ را در نظر بگیرید. $[2.5]+[2.5] = 2+2 = 4$ اما $[2.5+2.5] = [5] = 5$. در واقع، جمع جزء صحیح معمولاً کوچکتر یا مساوی جزء صحیح جمع است (خاصیت ابرجمعی2).
پاسخ: فرض میکنیم $n = [x]$ که $n$ عدد صحیح است. معادله به شکل $n = 2x - 3$ یا $x = \frac{n+3}{2}$ درمیآید. همچنین از نامساوی $n \le x \lt n+1$ داریم: $n \le \frac{n+3}{2} \lt n+1$. حل این نامساوی مضاعف: بخش راست $\frac{n+3}{2} \lt n+1 \Rightarrow n+3 \lt 2n+2 \Rightarrow 1 \lt n$. بخش چپ $n \le \frac{n+3}{2} \Rightarrow 2n \le n+3 \Rightarrow n \le 3$. بنابراین $n$ میتواند $2$ یا $3$ باشد. پس جوابها: $x = \frac{2+3}{2}=2.5$ و $x = \frac{3+3}{2}=3$. (بررسی: برای $x=2.5$، $[2.5]=2$ و $2(2.5)-3=2$. برای $x=3$، $[3]=3$ و $2(3)-3=3$.)
پاورقی
1 تابع کف (Floor Function): تابعی که هر عدد حقیقی را به بزرگترین عدد صحیح کوچکتر یا مساوی آن عدد نگاشت میکند و با نمادهای $\lfloor x \rfloor$ یا $[x]$ نشان داده میشود.
2 خاصیت ابرجمعی (Superadditivity): خاصیتی که در آن مقدار تابع برای مجموع دو متغیر، بزرگتر یا مساوی مجموع مقادیر تابع برای هر متغیر است؛ یعنی $f(x+y) \ge f(x) + f(y)$.
