مقدمه: چرا هندسه؟
هندسه تنها محاسبهٔ طول و زاویه نیست — زبان توصیف فضا و شکل است. از تقسیم زمینهای مصر باستان تا معماری گنبدهای اسلامی، و از طراحی تراشههای الکترونیکی تا گرافیک کامپیوتری، همه بر پایهٔ استدلال هندسی بنا شدهاند.
این فصل دو ستون دارد: ترسیم دقیق با خطکش و پرگار، و استدلال منطقی برای اثبات و رد ادعاها.
مکان هندسی — پرسش از «کجا»
تعریف دقیق: مکان هندسی مجموعهٔ تمام نقاطی است که یک شرط معین را دارند — نه یکی کم، نه یکی زیاد.
برای اثبات یک مکان هندسی باید دو چیز را نشان داد:
۱. هر نقطهای که شرط را دارد روی مجموعه است (کافی بودن).
۲. هر نقطهٔ روی مجموعه، شرط را دارد (لازم بودن).
| شرط | مکان هندسی |
|---|---|
| همفاصله از یک نقطه | دایره |
| همفاصله از یک خط | دو خط موازی |
| همفاصله از دو نقطه | عمودمنصف |
| همفاصله از دو خط متقاطع | دو نیمساز (که بر هم عمودند) |
چرا دو نیمساز بر هم عمودند؟ چون مجموع زوایای تقسیمشده است و نیمساز هرکدام میسازد.
عمودمنصف
ساخت با پرگار: دهانه را بیش از نصف باز کن؛ با مرکز دو کمان (بالا و پایین) بزن؛ با همان دهانه از دو کمان دیگر؛ دو نقطهٔ تقاطع را وصل کن.
چرا کار میکند؟ هر دو نقطهٔ تقاطع از و فاصلهٔ یکسان دارند، پس طبق تعریف مکان هندسی روی عمودمنصفاند.
قضیه: اگر روی عمودمنصف باشد، آنگاه .
اثبات: با بهعنوان وسط ، دو مثلث و همنهشتاند (ضلع مشترک ، ، و هر دو زاویه قائمه).
عکس قضیه: اگر باشد، روی عمودمنصف است.
اثبات با برهان خلف: اگر روی عمودمنصف نباشد، پای عمودش نقطهای مثل است. آنگاه از فیثاغورس در دو مثلث قائمالزاویه نتیجه میشود — تناقض.
نیمساز
ساخت با پرگار: از رأس کمانی بزن تا دو ضلع را در و قطع کند؛ از و با دهانهٔ یکسان دو کمان بزن تا در قطع شوند؛ پرتو نیمساز است.
قضیه: هر نقطهٔ روی نیمساز از دو ضلع زاویه به یک فاصلهٔ عمودی است.
اثبات: دو مثلث و همنهشتاند (ضلع مشترک ، برابری زوایای نیمساز، و هر دو زاویهٔ قائمه)، پس .
مقایسهٔ عمودمنصف و نیمساز
| ویژگی | عمودمنصف | نیمساز |
|---|---|---|
| ورودی | پارهخط | زاویهٔ |
| همفاصله از | دو نقطه | دو خط |
| کاربرد کلاسیک | مرکز دایرهٔ محیطی | مرکز دایرهٔ محاطی |
| تعداد در مثلث | ۳ (همرس) | ۳ (همرس) |
استدلال در ریاضیات
استدلال استقرایی: از مشاهدهٔ موارد خاص، قانونی کلی حدس میزنیم:
🔴 این استدلال حدس میدهد، نه اثبات. هزار مورد خاص هم یک قانون را ثابت نمیکند — ولی یک مثال نقض کافی است همه را باطل کند.
استدلال استنتاجی (قیاسی): از اصول پذیرفتهشده با منطق محض به نتیجه میرسیم. این نوع استدلال اثبات میدهد و ستون ریاضیات است.
ساختار یک قضیه
| نام | فرم منطقی |
|---|---|
| قضیهٔ اصلی | |
| عکس | |
| نقیض | |
| عکس نقیض |
🔴 نکتهٔ بنیادی: قضیه و نقیضش همیشه همارزند، ولی قضیه و عکسش ممکن است همارز نباشند — هر کدام باید جداگانه اثبات شود.
روشهای اثبات
اثبات مستقیم: از فرض قدمبهقدم به حکم میرسیم.
برهان خلف: فرض کن درست است ولی غلط؛ سپس نشان بده این فرض به تناقض میرسد.
اثبات با مثال نقض: برای رد یک حکم کلی، یک مثال نقض کافی است — «همهٔ اعداد فرد اولاند» با باطل میشود.
قضیهٔ دوشرطی (): وقتی قضیه و عکسش هر دو درست باشند. برای اثباتش باید هر دو جهت را جدا اثبات کرد. مثال: روی عمودمنصف است.
قضیهٔ ضلع بزرگتر و زاویهٔ بزرگتر
قضیه: در مثلث ، اگر باشد آنگاه .
اثبات: روی نقطهٔ را چنان بگذار که ، پس مثلث متساویالساقین است و . از طرفی زاویهٔ خارجی مثلث است، پس از بزرگتر است. زنجیرهٔ نامساویها نتیجه را میدهد.
عکس قضیه با برهان خلف اثبات میشود: هر دو حالت و به تناقض میرسند.
نقیض گزاره
| گزاره | نقیض |
|---|---|
| «همهٔ ها هستند» | «حداقل یک هست که نیست» |
| «هیچ ای نیست» | «حداقل یک هست که است» |
| «» | «» |
نکتهٔ منطقی: نقیضِ «وجود دارد» میشود «برای همه»، و نقیضِ «برای همه» میشود «وجود دارد که نیست». همین جابهجایی سورها، پرتکرارترین خطای دانشآموزان در این مبحث است.
کاربرد: یافتن مرکز دایره از سه نقطه
عمودمنصفهای و را رسم کن؛ تقاطعشان مرکز است.
چرا؟ مرکز باید از و همفاصله باشد ⟵ روی عمودمنصف ؛ و از و همفاصله ⟵ روی عمودمنصف . تنها نقطهای که هر دو شرط را دارد، تقاطع آن دو است.
قضیهٔ وجود و یکتایی: از هر سه نقطهٔ غیرهمخط دقیقاً یک دایره میگذرد.
وجود: چون ، ، همخط نیستند، عمودمنصفهای و موازی نیستند و حتماً تقاطع دارند. یکتایی: هر مرکز ممکن باید روی هر سه عمودمنصف باشد و آنها تنها در یک نقطه تلاقی میکنند.
نکات کنکوری
۱. عمودمنصف = همفاصله از دو نقطه (و برعکس).
۲. نیمساز = همفاصله از دو خط (و برعکس).
۳. برای رد یک حکم کلی، یک مثال نقض کافی است.
۴. قضیه و عکسش لزوماً همارز نیستند — هر دو باید جداگانه اثبات شوند.
۵. 🔴 در برهان خلف، نقیض حکم را فرض میکنیم، نه نقیض فرض را.
۶. مرکز دایرهٔ محیطی: تقاطع عمودمنصفها — مرکز دایرهٔ محاطی: تقاطع نیمسازها.
مطالب فراتر از کتاب
درسنامهٔ کامل اینها را هم دارد: پیوند مفهوم دایره با فضاهای متری در ریاضیات مدرن، اثبات کلاسیک نامتناهی بودن اعداد اول با برهان خلف (اثبات اقلیدس)، ترسیمهای پایه با خطکش و پرگار (رسم زاویهٔ ، رسم عمود از نقطه به خط، تقسیم پارهخط)، و نمودارهای گامبهگام هر ترسیم.
