مکان هندسی و استدلال (هندسه ۱)

مقدمه: چرا هندسه؟

هندسه تنها محاسبهٔ طول و زاویه نیست — زبان توصیف فضا و شکل است. از تقسیم زمین‌های مصر باستان تا معماری گنبدهای اسلامی، و از طراحی تراشه‌های الکترونیکی تا گرافیک کامپیوتری، همه بر پایهٔ استدلال هندسی بنا شده‌اند.

این فصل دو ستون دارد: ترسیم دقیق با خط‌کش و پرگار، و استدلال منطقی برای اثبات و رد ادعاها.

مکان هندسی — پرسش از «کجا»

تعریف دقیق: مکان هندسی مجموعهٔ تمام نقاطی است که یک شرط معین را دارند — نه یکی کم، نه یکی زیاد.

برای اثبات یک مکان هندسی باید دو چیز را نشان داد:

۱. هر نقطه‌ای که شرط را دارد روی مجموعه است (کافی بودن).
۲. هر نقطهٔ روی مجموعه، شرط را دارد (لازم بودن).

شرط	مکان هندسی
هم‌فاصله از یک نقطه	دایره
هم‌فاصله از یک خط	دو خط موازی
هم‌فاصله از دو نقطه	عمودمنصف
هم‌فاصله از دو خط متقاطع	دو نیمساز (که بر هم عمودند)

چرا دو نیمساز بر هم عمودند؟ چون مجموع زوایای تقسیم‌شده $180°$ ادامهٔ فرمول را افقی ببین است و نیمساز هرکدام $90°$ ادامهٔ فرمول را افقی ببین می‌سازد.

عمودمنصف

ساخت با پرگار: دهانه را بیش از نصف $AB$ ادامهٔ فرمول را افقی ببین باز کن؛ با مرکز $A$ ادامهٔ فرمول را افقی ببین دو کمان (بالا و پایین) بزن؛ با همان دهانه از $B$ ادامهٔ فرمول را افقی ببین دو کمان دیگر؛ دو نقطهٔ تقاطع را وصل کن.

چرا کار می‌کند؟ هر دو نقطهٔ تقاطع از $A$ ادامهٔ فرمول را افقی ببین و $B$ ادامهٔ فرمول را افقی ببین فاصلهٔ یکسان $r$ ادامهٔ فرمول را افقی ببین دارند، پس طبق تعریف مکان هندسی روی عمودمنصف‌اند.

قضیه: اگر $P$ ادامهٔ فرمول را افقی ببین روی عمودمنصف $AB$ ادامهٔ فرمول را افقی ببین باشد، آنگاه $PA = PB$ ادامهٔ فرمول را افقی ببین.

اثبات: با $M$ ادامهٔ فرمول را افقی ببین به‌عنوان وسط $AB$ ادامهٔ فرمول را افقی ببین، دو مثلث $PMA$ ادامهٔ فرمول را افقی ببین و $PMB$ ادامهٔ فرمول را افقی ببین همنهشت‌اند (ضلع مشترک $PM$ ادامهٔ فرمول را افقی ببین، $MA = MB$ ادامهٔ فرمول را افقی ببین، و هر دو زاویه قائمه).

عکس قضیه: اگر $PA = PB$ ادامهٔ فرمول را افقی ببین باشد، $P$ ادامهٔ فرمول را افقی ببین روی عمودمنصف $AB$ ادامهٔ فرمول را افقی ببین است.

اثبات با برهان خلف: اگر $P$ ادامهٔ فرمول را افقی ببین روی عمودمنصف نباشد، پای عمودش نقطه‌ای مثل $N \neq M$ ادامهٔ فرمول را افقی ببین است. آنگاه از فیثاغورس در دو مثلث قائم‌الزاویه نتیجه می‌شود $PA \neq PB$ ادامهٔ فرمول را افقی ببین — تناقض.

نیمساز

ساخت با پرگار: از رأس $O$ ادامهٔ فرمول را افقی ببین کمانی بزن تا دو ضلع را در $A$ ادامهٔ فرمول را افقی ببین و $B$ ادامهٔ فرمول را افقی ببین قطع کند؛ از $A$ ادامهٔ فرمول را افقی ببین و $B$ ادامهٔ فرمول را افقی ببین با دهانهٔ یکسان دو کمان بزن تا در $W$ ادامهٔ فرمول را افقی ببین قطع شوند؛ پرتو $OW$ ادامهٔ فرمول را افقی ببین نیمساز است.

قضیه: هر نقطهٔ روی نیمساز از دو ضلع زاویه به یک فاصلهٔ عمودی است.

اثبات: دو مثلث $ODP$ ادامهٔ فرمول را افقی ببین و $OEP$ ادامهٔ فرمول را افقی ببین همنهشت‌اند (ضلع مشترک $OP$ ادامهٔ فرمول را افقی ببین، برابری زوایای نیمساز، و هر دو زاویهٔ قائمه)، پس $PD = PE$ ادامهٔ فرمول را افقی ببین.

مقایسهٔ عمودمنصف و نیمساز

ویژگی	عمودمنصف	نیمساز
ورودی	پاره‌خط $AB$ ادامهٔ فرمول را افقی ببین	زاویهٔ $\widehat{BOC}$ ادامهٔ فرمول را افقی ببین
هم‌فاصله از	دو نقطه	دو خط
کاربرد کلاسیک	مرکز دایرهٔ محیطی	مرکز دایرهٔ محاطی
تعداد در مثلث	۳ (همرس)	۳ (همرس)

استدلال در ریاضیات

استدلال استقرایی: از مشاهدهٔ موارد خاص، قانونی کلی حدس می‌زنیم:

1 = 1^2, \quad 1+3 = 2^2, \quad 1+3+5 = 3^2, \quad \ldots \quad \Rightarrow \quad \text{حدس: } \sum_{k=1}^{n}(2k-1) = n^2

این استدلال حدس می‌دهد، نه اثبات. هزار مورد خاص هم یک قانون را ثابت نمی‌کند — ولی یک مثال نقض کافی است همه را باطل کند.

استدلال استنتاجی (قیاسی): از اصول پذیرفته‌شده با منطق محض به نتیجه می‌رسیم. این نوع استدلال اثبات می‌دهد و ستون ریاضیات است.

ساختار یک قضیه

\underbrace{P}_{\text{فرض}} \Rightarrow \underbrace{Q}_{\text{حکم}}

نام	فرم منطقی
قضیهٔ اصلی	$P \Rightarrow Q$ ادامهٔ فرمول را افقی ببین
عکس	$Q \Rightarrow P$ ادامهٔ فرمول را افقی ببین
نقیض	$\neg Q \Rightarrow \neg P$ ادامهٔ فرمول را افقی ببین
عکس نقیض	$\neg P \Rightarrow \neg Q$ ادامهٔ فرمول را افقی ببین

نکتهٔ بنیادی: قضیه و نقیضش همیشه هم‌ارزند، ولی قضیه و عکسش ممکن است هم‌ارز نباشند — هر کدام باید جداگانه اثبات شود.

روش‌های اثبات

اثبات مستقیم: از فرض قدم‌به‌قدم به حکم می‌رسیم.

برهان خلف: فرض کن $P$ ادامهٔ فرمول را افقی ببین درست است ولی $Q$ ادامهٔ فرمول را افقی ببین غلط؛ سپس نشان بده این فرض به تناقض می‌رسد.

اثبات با مثال نقض: برای رد یک حکم کلی، یک مثال نقض کافی است — «همهٔ اعداد فرد اول‌اند» با $9 = 3\times3$ ادامهٔ فرمول را افقی ببین باطل می‌شود.

قضیهٔ دوشرطی ( $P \Leftrightarrow Q$ ادامهٔ فرمول را افقی ببین): وقتی قضیه و عکسش هر دو درست باشند. برای اثباتش باید هر دو جهت را جدا اثبات کرد. مثال: $PA = PB \Leftrightarrow P$ ادامهٔ فرمول را افقی ببین روی عمودمنصف $AB$ ادامهٔ فرمول را افقی ببین است.

قضیهٔ ضلع بزرگ‌تر و زاویهٔ بزرگ‌تر

قضیه: در مثلث $ABC$ ادامهٔ فرمول را افقی ببین، اگر $AC > AB$ ادامهٔ فرمول را افقی ببین باشد آنگاه $\hat{B} > \hat{C}$ ادامهٔ فرمول را افقی ببین.

اثبات: روی $AC$ ادامهٔ فرمول را افقی ببین نقطهٔ $D$ ادامهٔ فرمول را افقی ببین را چنان بگذار که $AD = AB$ ادامهٔ فرمول را افقی ببین، پس مثلث $ABD$ ادامهٔ فرمول را افقی ببین متساوی‌الساقین است و $\angle ABD = \angle ADB$ ادامهٔ فرمول را افقی ببین. از طرفی $\angle ADB$ ادامهٔ فرمول را افقی ببین زاویهٔ خارجی مثلث $BDC$ ادامهٔ فرمول را افقی ببین است، پس از $\hat{C}$ ادامهٔ فرمول را افقی ببین بزرگ‌تر است. زنجیرهٔ نامساوی‌ها نتیجه را می‌دهد.

عکس قضیه با برهان خلف اثبات می‌شود: هر دو حالت $AC = AB$ ادامهٔ فرمول را افقی ببین و $AC < AB$ ادامهٔ فرمول را افقی ببین به تناقض می‌رسند.

نقیض گزاره

گزاره	نقیض
«همهٔ $A$ ادامهٔ فرمول را افقی ببینها $B$ ادامهٔ فرمول را افقی ببین هستند»	«حداقل یک $A$ ادامهٔ فرمول را افقی ببین هست که $B$ ادامهٔ فرمول را افقی ببین نیست»
«هیچ $A$ ادامهٔ فرمول را افقی ببینای $B$ ادامهٔ فرمول را افقی ببین نیست»	«حداقل یک $A$ ادامهٔ فرمول را افقی ببین هست که $B$ ادامهٔ فرمول را افقی ببین است»
« $x > 0$ ادامهٔ فرمول را افقی ببین»	« $x \leq 0$ ادامهٔ فرمول را افقی ببین»

\neg(\exists x: P(x)) \equiv \forall x: \neg P(x) \qquad\qquad \neg(\forall x: P(x)) \equiv \exists x: \neg P(x)

نکتهٔ منطقی: نقیضِ «وجود دارد» می‌شود «برای همه»، و نقیضِ «برای همه» می‌شود «وجود دارد که نیست». همین جابه‌جایی سورها، پرتکرارترین خطای دانش‌آموزان در این مبحث است.

کاربرد: یافتن مرکز دایره از سه نقطه

عمودمنصف‌های $AB$ ادامهٔ فرمول را افقی ببین و $BC$ ادامهٔ فرمول را افقی ببین را رسم کن؛ تقاطعشان مرکز است.

چرا؟ مرکز باید از $A$ ادامهٔ فرمول را افقی ببین و $B$ ادامهٔ فرمول را افقی ببین هم‌فاصله باشد ⟵ روی عمودمنصف $AB$ ادامهٔ فرمول را افقی ببین؛ و از $B$ ادامهٔ فرمول را افقی ببین و $C$ ادامهٔ فرمول را افقی ببین هم‌فاصله ⟵ روی عمودمنصف $BC$ ادامهٔ فرمول را افقی ببین. تنها نقطه‌ای که هر دو شرط را دارد، تقاطع آن دو است.

قضیهٔ وجود و یکتایی: از هر سه نقطهٔ غیرهم‌خط دقیقاً یک دایره می‌گذرد.

وجود: چون $A$ ادامهٔ فرمول را افقی ببین، $B$ ادامهٔ فرمول را افقی ببین، $C$ ادامهٔ فرمول را افقی ببین هم‌خط نیستند، عمودمنصف‌های $AB$ ادامهٔ فرمول را افقی ببین و $BC$ ادامهٔ فرمول را افقی ببین موازی نیستند و حتماً تقاطع دارند. یکتایی: هر مرکز ممکن باید روی هر سه عمودمنصف باشد و آن‌ها تنها در یک نقطه تلاقی می‌کنند.

نکات کنکوری

۱. عمودمنصف = هم‌فاصله از دو نقطه (و برعکس).

۲. نیمساز = هم‌فاصله از دو خط (و برعکس).

۳. برای رد یک حکم کلی، یک مثال نقض کافی است.

۴. قضیه و عکسش لزوماً هم‌ارز نیستند — هر دو باید جداگانه اثبات شوند.

۵. در برهان خلف، نقیض حکم را فرض می‌کنیم، نه نقیض فرض را.

۶. مرکز دایرهٔ محیطی: تقاطع عمودمنصف‌ها — مرکز دایرهٔ محاطی: تقاطع نیمسازها.

مطالب فراتر از کتاب

درسنامهٔ کامل این‌ها را هم دارد: پیوند مفهوم دایره با فضاهای متری در ریاضیات مدرن، اثبات کلاسیک نامتناهی بودن اعداد اول با برهان خلف (اثبات اقلیدس)، ترسیم‌های پایه با خط‌کش و پرگار (رسم زاویهٔ $60°$ ادامهٔ فرمول را افقی ببین، رسم عمود از نقطه به خط، تقسیم پاره‌خط)، و نمودارهای گام‌به‌گام هر ترسیم.

خلاصه‌ی درسنامه