چهار دانشآموز دربارهٔ گزارهٔ «مجموع زوایای داخلی هر $n$ضلعی محدب برابر $(n-2)\times 180^\circ$ است» استدلال کردهاند. کدام استدلال یک اثبات (قیاسی معتبر) است؟

هر $n$ضلعی محدب را از یک رأس به $(n-2)$ مثلث افراز میکنیم و چون مجموع زوایای هر مثلث $180^\circ$ است، حکم برای هر $n$ نتیجه میشود. — گزینهٔ «هر $n$ضلعی محدب را از یک رأس به $(n-2)$ مثلث افراز میکنیم و چون مجموع زوایای هر مثلث $180^\circ$ است، حکم برای هر $n$ نتیجه میشود.» درست است؛ این استدلال از یک روشِ کلی استفاده میکند که برای *هر* مقدار $n$ بهطور یکسان کار میکند، پس قیاسی و اثبات است. بررسی گزینههای نادرست: «برای $n=4,5,6$ رسم کردم و بهترتیب $360^\circ,540^\circ,720^\circ$ شد، پس برای هر $n$ همین رابطه برقرار است.» فقط سه حالت را وارسی کرده (استقرایی)؛ «با نقاله زوایای یک پنجضلعی را اندازه گرفتم و مجموعشان $540^\circ$ شد که با فرمول میخواند.» اندازهگیری است و اثبات نیست؛ «یک ششضلعیِ منتظم را به شش مثلث تقسیم کردم و جواب درست شد، پس فرمول برای همه درست است.» فقط یک حالتِ خاصِ منتظم را دیده و تعمیم داده. تلهٔ تستی: درستبودنِ *نتیجه* یک استدلال را اثبات نمیکند؛ فقط استدلالی که برای همهٔ حالتها بهطور کلی کار کند اثبات است، نه بررسی چند نمونه یا اندازهگیری.

برای رد کردن گزارهٔ «حاصلضرب هر دو عدد اول، عددی فرد است»، کدام مثالِ نقض کافی و درست است؟

$2\times 3 = 6$ — گزینهٔ «$2\times 3 = 6$» درست است؛ ۲ و ۳ هر دو عددِ اولاند ولی حاصلضربشان ۶ زوج است، پس همین یک مثال گزارهٔ «همیشه فرد» را باطل میکند. بررسی گزینههای نادرست: «$3\times 5 = 15$» حاصلش فرد است و گزاره را تأیید میکند نه نقض؛ «$1\times 7 = 7$» نامعتبر است چون ۱ عددِ اول نیست (شرطِ گزاره برآورده نمیشود)؛ «$7\times 9 = 63$» نامعتبر است چون ۹ اول نیست ($9=3\times3$). تلهٔ تستی: مثالِ نقض باید *دقیقاً* شرطِ گزاره را برآورده کند (هر دو عامل واقعاً اول باشند) و نتیجه را نقض کند؛ تنها عددِ اولِ زوج، ۲ است و کلیدِ ساختِ این نقض همان است.

مربی میگوید: «هر بازیکنی که در تیمِ ملی بازی کند، حتماً از سدِ آزمونِ آمادگی جسمانی گذشته است.» میدانیم «امیر از آزمونِ آمادگی جسمانی نگذشته است.» با استدلالِ قیاسی چه نتیجهای قطعی است؟

امیر در تیمِ ملی بازی نمیکند. — گزینهٔ «امیر در تیمِ ملی بازی نمیکند.» درست است؛ قاعده میگوید «بازی در تیمِ ملی ⇐ گذشتن از آزمون»؛ چون نتیجهٔ این قاعده (گذشتن از آزمون) برای امیر برقرار نیست، مقدمِ آن هم نمیتواند برقرار باشد (عکسِ نقیض). بررسی گزینههای نادرست: «امیر در تیمِ ملی بازی میکند.» مستقیماً با قاعده در تضاد است؛ «امیر حتماً بازیکنِ ضعیفی است.» ربطی به گزارهٔ دادهشده ندارد؛ «دربارهٔ بازیِ امیر در تیمِ ملی نمیتوان چیزی گفت.» نادرست است چون عکسِ نقیض نتیجهٔ قطعی میدهد. تلهٔ تستی: از «اگر $p$ آنگاه $q$» و نبودِ $q$، میتوان نبودِ $p$ را نتیجه گرفت (عکسِ نقیض معتبر است)، ولی از نبودِ $p$ نمیتوان نبودِ $q$ را نتیجه گرفت.

در ادامهٔ مسئلهٔ قبل، اگر بدانیم «سارا از آزمونِ آمادگی جسمانی گذشته است»، آیا میتوان نتیجه گرفت سارا در تیمِ ملی بازی میکند؟

خیر؛ گذشتن از آزمون شرطِ لازم است نه کافی. — گزینهٔ «خیر؛ گذشتن از آزمون شرطِ لازم است نه کافی.» درست است؛ قاعده فقط میگوید هر بازیکنِ تیمِ ملی از آزمون گذشته، یعنی گذشتن از آزمون *لازمهٔ* بازی است، اما نگفته بهتنهایی *کافی* است؛ شاید شرطهای دیگری هم لازم باشد. بررسی گزینههای نادرست: «بله؛ چون شرطِ قاعده برقرار شده است.» شرطِ لازم را با کافی خلط کرده؛ «بله؛ چون سارا مانندِ سایرِ بازیکنان است.» فرضِ بیپایه است؛ «خیر؛ چون قاعده دربارهٔ سارا حرفی نزده است.» نتیجهگیریِ درست است ولی دلیلش غلط است — قاعده دربارهٔ همه صادق است، مشکل خلطِ لازم و کافی است. تلهٔ تستی: از «$p \Rightarrow q$» و برقراریِ $q$ نمیتوان $p$ را نتیجه گرفت؛ این همان خطای رایجِ «درستپنداشتنِ عکسِ گزاره» است.

کدامیک از استدلالهای زیر «منطقِ درست ولی نتیجهٔ نادرست» دارد؟

همهٔ پرندگان پرواز میکنند؛ شترمرغ پرنده است؛ پس شترمرغ پرواز میکند. — گزینهٔ «همهٔ پرندگان پرواز میکنند؛ شترمرغ پرنده است؛ پس شترمرغ پرواز میکند.» درست است؛ ساختارِ منطقی معتبر است اما مقدمهٔ «همهٔ پرندگان پرواز میکنند» نادرست است (شترمرغ پرنده است ولی پرواز نمیکند)، پس نتیجه هم نادرست از آب درمیآید. بررسی گزینههای نادرست: «همهٔ مربعها چهار ضلعِ برابر دارند؛ این شکل مربع است؛ پس چهار ضلعِ برابر دارد.»، «هر عددِ بخشپذیر بر ۴ زوج است؛ ۱۲ بر ۴ بخشپذیر است؛ پس ۱۲ زوج است.» و «هر لوزی متوازیالاضلاع است؛ این شکل لوزی است؛ پس متوازیالاضلاع است.» هر سه هم مقدمهٔ درست دارند و هم منطقِ درست، پس نتیجهشان قطعاً درست است. تلهٔ تستی: استدلالِ قیاسی فقط وقتی نتیجهٔ درست تضمین میکند که *هم* منطق درست باشد *هم* مقدمات؛ منطقِ درست روی مقدمهٔ غلط، نتیجهٔ غلط میدهد.

استدلال و اثبات در هندسه (نهم) — نمونه سؤال و درسنامهٔ امتحانات

استدلال و اثبات در هندسه (نهم)

این فصل پنج درس دارد و همه‌شان یک هدف را دنبال می‌کنند: اینکه یاد بگیری در ریاضی، «دیدن» و «اندازه گرفتن» کافی نیست و باید دلیل بیاوری. از مفهوم استدلال شروع می‌کنیم، به ساختار اثبات هندسی می‌رسیم، همنهشتی مثلث‌ها را به‌عنوان اصلی‌ترین ابزار اثبات یاد می‌گیریم، روش حل مسئله‌ی هندسی را قدم‌به‌قدم می‌بینیم و در پایان با شکل‌های متشابه آشنا می‌شویم.

درس ۱ — استدلال

چرا مشاهده کافی نیست؟

چشم و حواس ما خطا می‌کنند. یک آزمایش ساده این را نشان می‌دهد: اگر دست راستت را در آب گرم و دست چپت را در آب سرد نگه داری و بعد هر دو را در آب ولرم بگذاری، یک دست آن را سرد و دست دیگر همان آب را گرم حس می‌کند. در ریاضیات هم شکل و ترسیم به تو کمک می‌کنند حدس بزنی، اما هرگز چیزی را اثبات نمی‌کنند.

تعریف‌های کلیدی

مفهوم	معنی
استدلال	دلیل آوردن و استفاده از دانسته‌های قبلی برای معلوم کردن چیزی که مجهول بوده
اثبات	استدلالی که موضوع را به‌درستی و با قطعیت نتیجه بدهد
استدلال استقرایی	نتیجه‌گیری کلی از چند مثال جزئی — قابل اطمینان نیست
استدلال قیاسی	نتیجه‌گیری از قوانین و اصول کلی — قابل اطمینان است
مثال نقض	یک مثال که یک ادعای کلی را باطل می‌کند

استدلال استقرایی

ساختارش این است: مثال ۱ درست، مثال ۲ درست، مثال ۳ درست، پس همیشه درست است. مشکل اینجاست که حتی اگر هزار مثال درست باشد، ممکن است مثال هزار و یکم آن را نقض کند.

نمونه‌ها: «هر بار به ورزشگاه رفتم تیمم باخت، پس امروز هم می‌بازد» یا «در همه‌ی مثلث‌هایی که ارتفاع رسم کردم، محل تقاطع ارتفاع‌ها داخل مثلث بود، پس همیشه داخل است». این دومی حتی نادرست هم هست: در مثلث قائم‌الزاویه محل تقاطع دقیقاً روی رأس زاویه‌ی قائمه می‌افتد و در مثلث منفرجه کاملاً بیرون از مثلث است.

نکته‌ی مهم: استدلال استقرایی «همیشه غلط» نیست — نتیجه‌اش ممکن است کاملاً درست باشد. مشکلش این است که هیچ تضمینی نمی‌دهد. استقراء برای حدس‌زدن و کشف الگو ابزار خوبی است، فقط اثبات نیست.

استدلال قیاسی

از قوانین کلی و مسلّم به سمت یک نتیجه‌ی جزئی می‌رود:

\text{قانون کلی (مسلّم)} + \text{داده‌های خاص} \Rightarrow \text{نتیجه‌ی قطعی}

مثال با قانون تعدی در نامساوی: می‌دانیم اگر $a > b$ و $b > c$ آنگاه $a > c$ . حالا اگر «علی از حسین بزرگ‌تر است» و «حسان از حسین کوچک‌تر است»، نتیجه می‌گیریم علی از حسان بزرگ‌تر است:

\text{حسان} < \text{حسین} < \text{علی} \Rightarrow \text{علی} > \text{حسان}

اما قیاسی بودن به‌تنهایی کافی نیست. اگر مقدمات غلط باشند، نتیجه هم غلط می‌شود، حتی اگر منطق بی‌عیب باشد:

«همه‌ی پرندگان پرواز می‌کنند» (مقدمه‌ی غلط) + «شترمرغ پرنده است» (مقدمه‌ی درست) ⇒ «شترمرغ پرواز می‌کند» (منطق درست، نتیجه غلط).

قاعده را به خاطر بسپار: منطق درست + مقدمه‌ی غلط = نتیجه‌ی غلط.

مثال نقض

برای اینکه نشان دهی یک ادعای کلی («همیشه»، «برای همه») نادرست است، فقط یک مثال نقض کافی است. از نظر منطقی، یک مثال نقض دقیقاً به‌اندازه‌ی هزار مثال نقض قاطع است.

هدف	روش	چقدر لازم است؟
نشان دادن درستی یک ادعای کلی	اثبات منطقی	باید برای همه‌ی حالت‌ها ثابت شود
نشان دادن نادرستی یک ادعای کلی	مثال نقض	فقط یک مثال

مثال نقض باید دقیقاً شرط ادعا را برآورده کند. اگر ادعا بگوید «در هر مثلث، محل تقاطع ارتفاع‌ها داخل مثلث است»، مثال نقض باید حتماً یک مثلث باشد (نه چهارضلعی) و ارتفاع‌هایش بیرون تقاطع کنند — مثلث منفرجه دقیقاً همین شرایط را دارد.

چرا اندازه‌گیری اثبات نیست؟

اگر با نقاله زاویه‌های یک مثلث متساوی‌الساقین را اندازه بگیری و ببینی برابرند، هنوز چیزی ثابت نکرده‌ای، چون: ابزار اندازه‌گیری خطا دارد، دقتش محدود است (نقاله تا حدود یک درجه)، و مهم‌تر از همه فقط برای همان مثلث خاص حرف زده‌ای، نه همه‌ی مثلث‌ها.

معیار ارزیابی هر استدلال

سه سؤال بپرس: (۱) آیا مقدمات درست‌اند؟ (۲) آیا نتیجه به‌طور منطقی از مقدمات درمی‌آید؟ (۳) آیا می‌توان مثال نقض آورد؟ اگر پاسخ دو سؤال اول «بله» و سؤال سوم «خیر» باشد، استدلال معتبر است.

یک نکته‌ی ظریف: بین دو استدلال استقرایی، آنکه پایه‌اش مرتبط است قابل‌اعتمادتر است. «هفته‌ی پیش با تمرین بیشتر هم نتوانست وزنه را بلند کند» به نتیجه ربط دارد؛ «روزهای زوج موفق نبوده» ربط منطقی ندارد. اما هیچ‌کدام اثبات نیستند.

نمونه سؤال. ادعا شده: «مجموع دو عدد فرد همیشه فرد است.» یک مثال نقض بیاورید و بگویید چرا همین یکی کافی است.
پاسخ: $3 + 5 = 8$ ؛ ۳ و ۵ هر دو فردند ولی حاصل جمعشان زوج است. چون ادعا با کلمه‌ی «همیشه» بیان شده، برای باطل‌کردنش فقط یک مورد نقض لازم است و نیازی به بررسی همه‌ی اعداد فرد نیست. (ادعای درست این است: مجموع دو عدد فرد همیشه زوج است.)

نمونه سؤال. درباره‌ی مجموع زاویه‌های داخلی یک $n$ ‌ضلعی محدب، آرش می‌گوید: «برای چهارضلعی، پنج‌ضلعی و شش‌ضلعی به‌ترتیب $360°$ ، $540°$ و $720°$ شد، پس فرمول $(n-2)\times180°$ برای همه درست است.» بهاره می‌گوید: «هر $n$ ‌ضلعی محدب را می‌توان از یک رأس با قطرها به $(n-2)$ مثلث تقسیم کرد و چون مجموع زاویه‌های هر مثلث $180°$ است، حاصل $(n-2)\times180°$ می‌شود.» کدام قیاسی است؟
پاسخ: استدلال آرش استقرایی است — او فقط سه حالت ( $n=4,5,6$ ) را دیده و از روی الگو تعمیم داده؛ هیچ تضمینی نمی‌دهد که برای $n=100$ هم برقرار باشد. استدلال بهاره قیاسی است، چون روشی کلی به‌کار برده که برای هر $n$ به‌طور یکسان کار می‌کند. پس فقط استدلال بهاره یک اثبات واقعی است؛ حرف آرش صرفاً یک حدس قوی است.

نمونه سؤال. مربی می‌گوید: «اگر دانش‌آموزی در المپیاد استان قبول شود، حتماً در آزمون کتبی مدرسه نمره‌ی بالای ۱۸ گرفته است.» الف) علی نمره‌ی ۱۶ گرفته؛ آیا می‌توان نتیجه گرفت قبول نشده؟ ب) مریم ۱۹ گرفته؛ آیا حتماً قبول شده؟
پاسخ: الف) بله. قانون می‌گوید قبولی ⇐ نمره‌ی بالای ۱۸. نتیجه‌ی قانون برای علی برقرار نیست (۱۶ بالای ۱۸ نیست)، پس مقدم آن هم نمی‌تواند برقرار باشد؛ علی قبول نشده است. ب) خیر. جمله‌ی مربی فقط می‌گوید این نمره لازمه‌ی قبولی است، نه اینکه به‌تنهایی کافی باشد. شاید شرط‌های دیگری هم لازم باشد. این همان خطای رایج «عکس ادعا را هم درست پنداشتن» است.

درس ۲ — آشنایی با اثبات در هندسه

ساختار هر اثبات هندسی

هر اثبات سه بخش دارد و این ترتیب را هرگز نباید به هم زد:

فرض (داده‌های مسئله) ← استدلال (با قضایای قبلاً ثابت‌شده) ← حکم (نتیجه‌ای که باید ثابت شود)

قانون طلایی: اولین قدم در هر اثبات، نوشتن دقیق فرض و حکم به زبان ریاضی است. نیمی از کار همین است.

مثال ساده: ادعا «در لوزی $ABCD$ زاویه‌های روبه‌رو برابرند».

فرض: شکل لوزی است.
حکم: زاویه‌های روبه‌رو برابرند.
استدلال: هر لوزی یک متوازی‌الاضلاع است ⇐ در متوازی‌الاضلاع زاویه‌های روبه‌رو برابرند ⇐ پس در لوزی هم برابرند.

مثال دیگر: ادعا «قطرهای مستطیل با هم برابرند».

فرض: $ABCD$ مستطیل است.
حکم: $AC = BD$ .
دانسته‌های قابل استفاده: $\hat{A}=\hat{B}=\hat{C}=\hat{D}=90°$ ، و $AB = CD$ ، $AD = BC$ ، و $AB \parallel CD$ ، $AD \parallel BC$ .

چرا نوشتن دانسته‌های قبلی مهم است؟ چون اثبات باید روی پایه‌های محکم بنا شود؛ فقط می‌توان از قضیه‌ای استفاده کرد که قبلاً ثابت شده باشد.

ابزارهای اصلی اثبات

الف) همنهشتی مثلث‌ها — رایج‌ترین ابزار. وقتی دو مثلث همنهشت شدند، تمام اجزای متناظرشان برابر است.

ب) زوایای حاصل از خطوط موازی — وقتی یک مورب دو خط موازی را قطع می‌کند، زوایای متناوب داخلی، زوایای متناظر و زوایای هم‌نام با هم برابرند.

ج) زوایای متقابل به رأس — در تقاطع دو خط، زوایای روبه‌رو برابرند. اثباتش خیلی آموزنده است:

\hat{O_1} + \hat{O_2} = 180° \quad \text{و} \quad \hat{O_3} + \hat{O_2} = 180°

\Rightarrow \hat{O_1} + \hat{O_2} = \hat{O_3} + \hat{O_2} \Rightarrow \hat{O_1} = \hat{O_3}

این الگو — «دو چیز با یک چیز سوم برابرند، پس با هم برابرند» — یکی از پرکاربردترین قالب‌های اثبات در کل ریاضی است. به زبان جبری:

a + c = k \ \text{ و } \ b + c = k \Rightarrow a = b

یک اثبات نمونه: مجموع زاویه‌های مثلث $180°$ است

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

از رأس $A$ خطی مثل $d$ موازی با $BC$ رسم می‌کنیم. آنگاه:

d \parallel BC \text{ و } AB \text{ مورب} \Rightarrow \hat{B} = \hat{A_1}

d \parallel BC \text{ و } AC \text{ مورب} \Rightarrow \hat{C} = \hat{A_3}

\Rightarrow \hat{A} + \hat{B} + \hat{C} = \hat{A_2} + \hat{A_1} + \hat{A_3} = 180°

چرا این استدلال برتر است؟ چون بر قضیه‌ای بنا شده که قبلاً ثابت شده، برای هر مثلث دلخواه کار می‌کند نه یک مثلث خاص، و هر قدمش مستند به قضیه‌ای مشخص است.

قانون تعمیم

وقتی خاصیتی را برای یک عضو از یک مجموعه ثابت کردی، تنها زمانی می‌توانی آن را به همه‌ی اعضا تعمیم دهی که همه‌ی ویژگی‌هایی که در استدلال به‌کار برده‌ای، برای اعضای دیگر هم برقرار باشد.

مثال روشنگر: در مثلث متساوی‌الساقین ثابت می‌کنیم نیمساز زاویه‌ی رأس، میانه هم هست. آیا می‌توان تعمیم داد که نیمساز زاویه‌ی $B$ هم میانه است؟ خیر — چون در اثبات از برابری ساق‌ها ( $AB = AC$ ) استفاده کردیم و این ویژگی برای زاویه‌ی $B$ برقرار نیست. اما در مربع، اگر ثابت کنیم قطر $AC$ نیمساز است، می‌توان به قطر $BD$ هم تعمیم داد، چون قطر $BD$ دقیقاً همان ویژگی‌ها را دارد.

پس قبل از هر تعمیم بپرس: «آیا همه‌ی ویژگی‌هایی که در اثباتم استفاده کردم، برای عضو جدید هم برقرارند؟»

تله‌ی «نقیض نادرست» — شرط لازم در برابر شرط کافی

سه استدلال زیر را مقایسه کن:

استدلال	معتبر؟	چرا
هر مستطیل متوازی‌الاضلاع است + $ABCD$ مستطیل است ⇒ $ABCD$ متوازی‌الاضلاع است	بله	مقدمات درست، منطق درست
هر مربع ضلع‌های برابر دارد + $ABCD$ مربع نیست ⇒ ضلع‌های $ABCD$ برابر نیستند	خیر	لوزی هم ضلع‌های برابر دارد و مربع نیست
هر مربع ضلع‌های برابر دارد + ضلع‌های $ABCD$ برابر نیستند ⇒ $ABCD$ مربع نیست	بله	نقیضِ معکوس، همیشه معتبر

قاعده‌ی کلی: گزاره‌ی «اگر $A$ آنگاه $B$ » همیشه هم‌ارز است با «اگر نه‌ $B$ آنگاه نه‌ $A$ ». اما هم‌ارز نیست با «اگر نه‌ $A$ آنگاه نه‌ $B$ ». دومی همان تله‌ی رایجی است که در امتحان‌ها می‌آید. «مربع بودن» شرط کافی برای برابری ضلع‌هاست، اما برابری ضلع‌ها شرط کافی برای مربع بودن نیست.

یک اثبات کامل: نقطه روی عمودمنصف

فرض: $P$ روی عمودمنصف پاره‌خط $AB$ است و $H$ وسط $AB$ (پای عمود) است.
حکم: $PA = PB$ .
اثبات: در دو مثلث $AHP$ و $BHP$ :

AH = BH \quad \text{(تعریف عمودمنصف)}

PH = PH \quad \text{(ضلع مشترک)}

\hat{AHP} = \hat{BHP} = 90° \quad \text{(عمود بودن)}

\Rightarrow \triangle AHP \cong \triangle BHP \ \text{(ض ز ض)} \Rightarrow PA = PB

چون در استدلال فقط از «روی عمودمنصف بودن $P$ » استفاده کردیم و نه از موقعیت خاص آن، نتیجه برای هر نقطه‌ی روی عمودمنصف تعمیم‌پذیر است.

نمونه سؤال (اثبات دو طرفه). ثابت کنید اگر $PA = PB$ ، آنگاه $P$ حتماً روی عمودمنصف $AB$ است.
پاسخ: از $P$ عمودی بر خط $AB$ رسم می‌کنیم که آن را در $H$ قطع کند. در دو مثلث قائم‌الزاویه $PHA$ و $PHB$ : $PA = PB$ (فرض)، $PH = PH$ (ضلع مشترک)، و $\hat{PHA}=\hat{PHB}=90°$ . پس طبق حالت وتر-ساق این دو مثلث همنهشت‌اند و $HA = HB$ . یعنی $H$ وسط $AB$ است و $PH$ بر $AB$ عمود است، پس $PH$ همان عمودمنصف $AB$ است و $P$ روی آن قرار دارد.
این نمونه‌ی خوبی از «اثبات دو طرفه» است: قضیه‌ی رفت و قضیه‌ی برگشت هرکدام اثبات جداگانه لازم دارند؛ یکی دیگری را تضمین نمی‌کند.

نمونه سؤال. سه گزاره درباره‌ی چهارضلعی $ABCD$ : (۱) اگر مستطیل باشد، قطرهایش برابرند. (۲) اگر قطرها برابر نباشند، مستطیل نیست. (۳) اگر مستطیل نباشد، قطرهایش برابر نیستند. کدام‌ها از (۱) نتیجه می‌شوند؟
پاسخ: گزاره‌ی (۲) نتیجه می‌شود — این دقیقاً نقیضِ معکوسِ (۱) است و «اگر $A$ پس $B$ » همیشه هم‌ارز «اگر نه‌ $B$ پس نه‌ $A$ » است. گزاره‌ی (۳) نتیجه نمی‌شود و اتفاقاً نادرست است: ذوزنقه‌ی متساوی‌الساقین مستطیل نیست ولی قطرهایش برابرند — یک مثال نقض کامل.

درس ۳ — هم‌نهشتی مثلث‌ها

تعریف و اجزای متناظر

دو مثلث هم‌نهشت‌اند اگر بتوان یکی را دقیقاً روی دیگری منطبق کرد؛ یعنی شکل و اندازه کاملاً یکسان است و فقط موقعیت یا جهت ممکن است فرق کند.

وقتی می‌نویسیم $\triangle ABC \cong \triangle A'B'C'$ ، این ترتیب حروف تناظر رأس‌ها را اعلام می‌کند: $A \leftrightarrow A'$ ، $B \leftrightarrow B'$ ، $C \leftrightarrow C'$ . در نتیجه:

AB = A'B', \quad BC = B'C', \quad AC = A'C'

\hat{A} = \hat{A'}, \quad \hat{B} = \hat{B'}, \quad \hat{C} = \hat{C'}

ترتیب حروف یک قرارداد شکلی و بی‌اهمیت نیست — جابه‌جا کردنش ادعای کاملاً متفاوتی می‌سازد.

پنج حالت هم‌نهشتی

نام	شرط
ض ز ض	دو ضلع و زاویه‌ی بین آن دو
ز ض ز	دو زاویه و ضلع بین آن دو
ض ض ض	هر سه ضلع
وتر-ساق (مثلث قائم‌الزاویه)	وتر و یک ساق برابر
وتر-زاویه (مثلث قائم‌الزاویه)	وتر و یک زاویه‌ی حاده برابر

به‌صورت نمادی، حالت ض ز ض یعنی:

AB = A'B',\quad \hat{A} = \hat{A'},\quad AC = A'C' \Rightarrow \triangle ABC \cong \triangle A'B'C'

چرا فقط همین‌ها؟ هر مثلث ۶ جزء دارد (۳ ضلع و ۳ زاویه) و برای تعیین کامل آن، دانستن سه جزء مناسب کافی است — اما نه هر سه‌تایی. مثلاً ز ز ز (سه زاویه‌ی برابر) هم‌نهشتی نمی‌دهد، فقط تشابه می‌دهد: دو مثلث می‌توانند زاویه‌های کاملاً یکسان ولی اندازه‌های کاملاً متفاوت داشته باشند.

همچنین «دو ضلع و یک زاویه» فقط وقتی هم‌نهشتی تضمین می‌کند که زاویه بین آن دو ضلع باشد؛ در غیر این صورت ممکن است دو مثلث متفاوت ساخته شود.

روش کلی اثبات با هم‌نهشتی

۱. دو مثلث مناسب را در شکل پیدا کن (اگر نبود، با یک خط کمکی مثل قطر، عمود یا میانه بسازشان).
۲. سه شرط لازم برای یکی از حالت‌ها را بیاب. (ضلع مشترک را هرگز فراموش نکن — یک تساوی مجانی است.)
۳. نتیجه بگیر که اجزای متناظر برابرند.

منطق کلی: هر وقت باید ثابت کنی دو پاره‌خط یا دو زاویه برابرند، آن‌ها را به‌عنوان اجزای متناظر دو مثلث هم‌نهشت معرفی کن.

دو مثال کلاسیک

مثال ۱ (دو تیرک متقاطع). دو پاره‌خط $AB$ و $CD$ در نقطه‌ی $O$ همدیگر را قطع کرده‌اند، با $OA = OB$ و $OC = OD$ . ثابت کن $AD = BC$ .

OA = OB, \quad \hat{O_1} = \hat{O_2} \ \text{(متقابل به رأس)}, \quad OC = OD

\Rightarrow \triangle OAD \cong \triangle OBC \ \text{(ض ز ض)} \Rightarrow AD = BC

مثال ۲ (اضلاع مقابل متوازی‌الاضلاع). در متوازی‌الاضلاع $ABCD$ قطر $BD$ را رسم می‌کنیم تا دو مثلث بسازیم. چون $AB \parallel CD$ داریم $\hat{B_1} = \hat{D_1}$ و چون $AD \parallel BC$ داریم $\hat{B_2} = \hat{D_2}$ (هر دو از زوایای متناوب داخلی)، و $BD = BD$ ضلع مشترک است:

\Rightarrow \triangle ABD \cong \triangle CDB \ \text{(ز ض ز)} \Rightarrow AD = BC \ \text{ و } \ AB = CD

چرا اینجا از ض ز ض یا ض ض ض استفاده نکردیم؟ چون در ابتدا فقط برابری زاویه‌ها را داریم؛ برابری اضلاع دقیقاً همان چیزی است که باید ثابت شود. استفاده از حکم در فرض، دور منطقی است و اثبات را باطل می‌کند.

نمونه سؤال (بادبادک). در چهارضلعی $ABCD$ داریم $AB = CB$ و $AD = CD$ . قطر $BD$ قطر $AC$ را در $M$ قطع می‌کند. ثابت کنید $M$ وسط $AC$ است و $BD \perp AC$ .
پاسخ:
گام ۱ — در دو مثلث $ABD$ و $CBD$ : $AB = CB$ (فرض)، $AD = CD$ (فرض)، $BD = BD$ (ضلع مشترک). پس طبق ض ض ض این دو همنهشت‌اند و $\hat{ABD} = \hat{CBD}$ ؛ یعنی $BD$ نیمساز زاویه‌ی $B$ است.
گام ۲ — در دو مثلث $ABM$ و $CBM$ : $AB = CB$ ، $\hat{ABM} = \hat{CBM}$ (از گام ۱)، $BM = BM$ . پس طبق ض ز ض همنهشت‌اند و در نتیجه $AM = CM$ و $\hat{AMB} = \hat{CMB}$ .
گام ۳ — این دو زاویه هم مکمل‌اند (روی خط راست $AC$ ) و هم برابر، پس هرکدام $90°$ است. یعنی $M$ وسط $AC$ است و $BD \perp AC$ .

نمونه سؤال (تشخیص دور منطقی). دانش‌آموزی برای اثبات $AB = CD$ در چهارضلعی $ABCD$ که قطرهایش برابرند ( $AC = BD$ )، نوشته: «در دو مثلث $ABC$ و $DCB$ : $AC = DB$ (فرض)، $BC = CB$ (ضلع مشترک) و $AB = DC$ (چون هر دو ضلع همین چهارضلعی‌اند)؛ پس طبق ض ض ض همنهشت‌اند و $AB = CD$ ثابت شد.» اشکال اساسی کجاست؟
پاسخ: این اثبات دور منطقی دارد: $AB = DC$ به‌عنوان یکی از سه شرط استفاده شده، در حالی که دقیقاً همان چیزی است که قرار بود ثابت شود. نمی‌توان چیزی را که هنوز اثبات نشده در فرض به‌کار برد — این مثل گفتن «چون نتیجه درست است، پس نتیجه درست است» می‌ماند. با داده‌های واقعی موجود (فقط $AC=DB$ و ضلع مشترک $BC$ ) هیچ حالت همنهشتی کامل نمی‌شود و اطلاعات بیشتری لازم است.

قضیه‌ی دو مماس از یک نقطه‌ی خارجی. اگر از نقطه‌ی $M$ بیرون دایره‌ای به مرکز $O$ ، دو مماس $MA$ و $MB$ رسم شوند، آنگاه $MA = MB$ :

OA = OB = r \ \text{(شعاع)}, \quad OM = OM \ \text{(وتر مشترک)}, \quad \hat{A} = \hat{B} = 90° \ \text{(مماس بر شعاع عمود است)}

\Rightarrow \triangle OAM \cong \triangle OBM \ \text{(وتر-ساق)} \Rightarrow MA = MB

درس ۴ — حل مسئله در هندسه

الگوریتم پنج‌گامی

۱. بخوان و مفاهیم را بشناس. بفهم مسئله درباره‌ی چیست: فاصله‌ی نقطه تا خط؟ وتر و کمان؟ نیمساز؟ هر مفهوم ابزارهای خودش را دارد.
۲. شکل رسم کن. اگر مسئله شکل ندارد خودت بکش، همه‌ی نقاط و خطوط را برچسب بزن، و لازم نیست دقیق باشد — فقط باید نسبت‌ها را نشان دهد. بدون شکل، اثبات معمولاً اصلاً شروع نمی‌شود.
۳. فرض و حکم را با نماد بنویس. این گام را هرگز حذف نکن.
۴. راه حل را پیدا کن. جدول زیر نقشه‌ی راه است.
۵. اثبات را قدم‌به‌قدم بنویس و در هر قدم بگو از کدام قضیه استفاده کرده‌ای.

هدف	ابزار معمول
اثبات برابری دو پاره‌خط	همنهشتی مثلث‌ها
اثبات برابری دو زاویه	خطوط موازی، زوایای متقابل به رأس، همنهشتی
اثبات عمود بودن	نشان دادن اینکه زاویه $90°$ است
اثبات موازی بودن	برابری زوایای متناوب یا متناظر

فاصله‌ی نقطه تا خط

فاصله‌ی یک نقطه تا یک خط، طول پاره‌خط عمود از آن نقطه به خط است — و همین کوتاه‌ترین فاصله‌ی ممکن است. چرا؟ چون هر پاره‌خط مایل دیگری، وترِ یک مثلث قائم‌الزاویه می‌شود و وتر همیشه از ساق بزرگ‌تر است. پس هر جا مسئله از «کوتاه‌ترین فاصله» حرف زد، بدان که با یک عمود سروکار داری.

مثال کامل (جاده و دو روستا). روستاهای $A$ و $B$ در دو طرف جاده‌ی $d$ هستند. پاره‌خط $AB$ جاده را در $M$ قطع می‌کند و $M$ وسط $AB$ است. از $A$ عمود $AH$ و از $B$ عمود $BH'$ بر جاده رسم شده است.
فرض: $MA = MB$ و $\hat{H} = \hat{H'} = 90°$ . حکم: $AH = BH'$ .
اثبات: در دو مثلث $MAH$ و $MBH'$ داریم $MA = MB$ (فرض)، $\hat{H} = \hat{H'} = 90°$ (فرض)، و $\hat{AMH} = \hat{BMH'}$ (زوایای متقابل به رأس). پس:

\triangle MAH \cong \triangle MBH' \ \text{(ز ض ز)} \Rightarrow AH = BH'

قضیه‌ی وتر و کمان

در یک دایره، دو وتر برابرند اگر و تنها اگر کمان‌های نظیرشان برابر باشند.
$\text{در یک دایره:} \quad AB = CD \iff \overset{\frown}{AB} = \overset{\frown}{CD}$

این رابطه دوطرفه است و هر دو طرفش اثبات‌پذیر است:

از وتر برابر به کمان برابر: در دو مثلث $OAB$ و $OCD$ داریم $OA = OC = r$ ، $OB = OD = r$ و $AB = CD$ (فرض)، پس طبق ض ض ض همنهشت‌اند و زاویه‌های مرکزی برابر می‌شوند: $\hat{O_1} = \hat{O_2}$ ؛ و زاویه‌ی مرکزی برابر یعنی کمان برابر.

از کمان برابر به وتر برابر: کمان‌های برابر یعنی زاویه‌های مرکزی برابر ( $\hat{O_1} = \hat{O_2}$ )؛ حالا در دو مثلث $OAB$ و $OCD$ با $OA = OC = r$ و $OB = OD = r$ ، طبق ض ز ض همنهشتی برقرار است و $AB = CD$ .

توجه: این قضیه فقط در یک دایره (یا دو دایره‌ی هم‌شعاع) معتبر است. رابطه هم مستقیم است — وتر بزرگ‌تر همیشه کمان بزرگ‌تر می‌سازد، نه برعکس.

الگوی «اضافه کردن کمان مشترک»

اگر $\overset{\frown}{AB} = \overset{\frown}{CD}$ و نقاط $A$ ، $B$ ، $C$ ، $D$ به همین ترتیب روی دایره باشند، کمان مشترک $\overset{\frown}{BC}$ را به هر دو طرف اضافه می‌کنیم:

\overset{\frown}{AB} + \overset{\frown}{BC} = \overset{\frown}{CD} + \overset{\frown}{BC} \Rightarrow \overset{\frown}{AC} = \overset{\frown}{BD} \Rightarrow AC = BD

این تکنیک سه‌مرحله‌ای در سؤال‌های تیزهوشان بسیار پرکاربرد است؛ گام‌ها را نپر.

قضیه‌ی خط میانی مثلث

خطی که وسط دو ضلع مثلث را به هم وصل می‌کند، موازی ضلع سوم و برابر نصف آن است.
$M \text{ وسط } AB,\ N \text{ وسط } AC \Rightarrow MN \parallel BC \ \text{ و } \ MN = \frac{BC}{2}$

دقت کن: خط میانی فقط پاره‌خطی است که دقیقاً وسط دو ضلع را به هم وصل می‌کند؛ هر پاره‌خطی که دو ضلع را قطع کند خط میانی نیست.

قضیه‌ی نیمساز

هر نقطه روی نیمساز یک زاویه، از دو ضلع آن زاویه فاصله‌ی مساوی دارد. اثبات: از نقطه‌ی $P$ روی نیمساز زاویه‌ی $A$ ، عمودهای $PH$ بر $AB$ و $PK$ بر $AC$ را رسم می‌کنیم. در دو مثلث قائم‌الزاویه $APH$ و $APK$ : $\hat{PAH} = \hat{PAK}$ (نیمساز)، $\hat{AHP} = \hat{AKP} = 90°$ ، و $AP = AP$ (وتر مشترک). پس طبق وتر-زاویه همنهشت‌اند و $PH = PK$ . این قضیه نظیر قضیه‌ی عمودمنصف است، فقط برای نیمساز.

نمونه سؤال. در مثلث $ABC$ ، نقاط $M$ ، $N$ و $P$ به‌ترتیب وسط اضلاع $AB$ ، $AC$ و $BC$ هستند. ثابت کنید محیط مثلث $MNP$ نصف محیط مثلث $ABC$ است.
پاسخ: هر ضلع مثلث $MNP$ یک خط میانی مثلث $ABC$ است:

MN = \frac{BC}{2}, \qquad NP = \frac{AB}{2}, \qquad MP = \frac{AC}{2}

با جمع کردن:

MN + NP + MP = \frac{AB + BC + AC}{2}

یعنی محیط $MNP$ دقیقاً نصف محیط $ABC$ است.

نمونه سؤال. در مثلث $ABC$ ، $M$ وسط $AB$ و $N$ وسط $AC$ است. اگر $BC = 14$ سانتی‌متر باشد، $MN$ چند سانتی‌متر است؟
پاسخ: $MN$ خط میانی است، پس $MN \parallel BC$ و $MN = \frac{14}{2} = 7$ سانتی‌متر.

نمونه سؤال (متساوی‌الساقین). در مثلث $ABC$ با $AB = AC$ ، نقاط $M$ و $N$ روی $BC$ طوری‌اند که $BM = NC$ . ثابت کنید $AM = AN$ .
پاسخ: در دو مثلث $ABM$ و $ACN$ : $AB = AC$ (فرض)، $BM = NC$ (فرض)، و $\hat{B} = \hat{C}$ (زوایای قاعده در مثلث متساوی‌الساقین برابرند). پس طبق ض ز ض این دو مثلث همنهشت‌اند و $AM = AN$ ؛ یعنی مثلث $AMN$ هم متساوی‌الساقین است.

درس ۵ — شکل‌های متشابه

تعریف تشابه

وقتی یک عکس را بزرگ یا کوچک می‌کنی، شکلش عوض نمی‌شود و فقط اندازه‌اش تغییر می‌کند. این دقیقاً مفهوم تشابه است. دو چندضلعی متشابه‌اند اگر و فقط اگر هر دو شرط زیر برقرار باشند:

شرط اول: تمام زاویه‌های متناظر برابر باشند.
شرط دوم: تمام ضلع‌های متناظر به یک نسبت ثابت باشند.

هیچ‌کدام به‌تنهایی کافی نیست. این جدول نشان می‌دهد چرا:

دو شکل	زاویه‌ها	ضلع‌ها	متشابه؟
مربع ۲ سانتی و مربع ۴ سانتی	برابر (همه $90°$ )	نسبت ثابت ( $1:2$ )	بله
مستطیل $2\times4$ و مستطیل $2\times6$	برابر (همه $90°$ )	نسبت ثابت نیست	خیر
لوزی با زاویه‌ی $60°$ و لوزی با زاویه‌ی $80°$	برابر نیستند	نسبت ثابت	خیر

نسبت تشابه

اگر $\triangle ABC \sim \triangle DEF$ باشد، نسبت هر ضلع به ضلع متناظرش عددی ثابت است که به آن نسبت تشابه می‌گوییم:

\frac{AB}{DE} = \frac{BC}{EF} = \frac{AC}{DF} = k

مثل هم‌نهشتی، ترتیب رأس‌ها در نماد تشابه مهم است: نوشتن $\triangle ABC \sim \triangle DEF$ یعنی $A \leftrightarrow D$ ، $B \leftrightarrow E$ ، $C \leftrightarrow F$ .

مثال: مثلث اول با اضلاع $AB=10$ ، $BC=8$ ، $AC=6$ و مثلث دوم با $DE=5$ ، $EF=4$ ، $DF=3$ :

\frac{10}{5} = \frac{8}{4} = \frac{6}{3} = 2

هر سه نسبت برابر ۲ شدند، پس این دو مثلث متشابه‌اند با $k = 2$ .

الگوریتم بررسی تشابه: ضلع‌های هر شکل را از کوچک به بزرگ مرتب کن، نسبت هر جفت متناظر را حساب کن، و اگر همه‌ی نسبت‌ها برابر بودند متشابه‌اند. مرتب‌سازی جلوی اشتباه در تناظر را می‌گیرد.

برای پیدا کردن ضلع مجهول، ضرب متقاطع بزن:

\frac{a}{b} = \frac{c}{x} \Rightarrow x = \frac{b \cdot c}{a}

مقیاس نقشه

مقیاس نقشه چیزی جز همان نسبت تشابه نیست. مقیاس $1:100{,}000$ یعنی هر ۱ سانتی‌متر روی نقشه برابر $100{,}000$ سانتی‌متر (یعنی ۱ کیلومتر) در واقعیت است.

\text{فاصله‌ی واقعی} = \text{فاصله روی نقشه} \times \text{مخرج مقیاس}

\text{فاصله روی نقشه} = \frac{\text{فاصله‌ی واقعی}}{\text{مخرج مقیاس}}

قبل از ضرب، حتماً همه‌چیز را به یک واحد تبدیل کن.

کدام شکل‌ها همیشه متشابه‌اند؟

شکل	همیشه متشابه؟	چرا
مربع	بله	همه‌ی زاویه‌ها $90°$ و همه‌ی ضلع‌ها برابر
مثلث متساوی‌الاضلاع	بله	همه‌ی زاویه‌ها $60°$ و همه‌ی ضلع‌ها برابر
دایره	بله	شکل دایره‌ها همیشه یکسان است
مستطیل	خیر	نسبت طول به عرض باید برابر باشد: $\frac{l_1}{w_1} = \frac{l_2}{w_2}$
لوزی	خیر	ضلع‌ها نسبت ثابت دارند ولی زاویه‌ها می‌توانند فرق کنند
مثلث متساوی‌الساقین	خیر	زاویه‌ی رأس می‌تواند هر مقداری باشد

رابطه‌ی هم‌نهشتی و تشابه

هم‌نهشتی حالت خاصی از تشابه با $k = 1$ است. پس هر دو شکل همنهشت حتماً متشابه‌اند، اما هر دو شکل متشابه لزوماً همنهشت نیستند:

\text{همنهشتی} \Rightarrow \text{تشابه} \qquad \text{تشابه} \nRightarrow \text{همنهشتی}

اگر $k > 1$ شکل اول بزرگ‌تر است، اگر $k < 1$ کوچک‌تر، و اگر $k = 1$ همنهشت‌اند.

نسبت محیط و مساحت (نکته‌ی طلایی تیزهوشان)

اگر نسبت تشابه دو شکل $k$ باشد:

\frac{P_1}{P_2} = k \qquad \text{ولی} \qquad \frac{S_1}{S_2} = k^2

یعنی نسبت محیط‌ها برابر $k$ است، اما نسبت مساحت‌ها برابر $k^2$ . اگر $k=2$ باشد، مساحت ۴ برابر می‌شود؛ اگر $k=3$ ، مساحت ۹ برابر. یکی‌گرفتن این دو، رایج‌ترین اشتباه امتحانی این فصل است.

الگوی «ارتفاع بر وتر»

وقتی در یک مثلث قائم‌الزاویه ارتفاع را بر وتر رسم می‌کنی، سه مثلث قائم‌الزاویه‌ی متشابه ساخته می‌شود (مثلث اصلی و دو مثلث کوچک). دلیلش این است که هر مثلث کوچک یک زاویه‌ی قائمه و یک زاویه‌ی مشترک با مثلث اصلی دارد؛ و چون مجموع زاویه‌های هر مثلث $180°$ است، برابری دو زاویه، برابری زاویه‌ی سوم را هم تضمین می‌کند. این الگو در سؤال‌های نمونه‌دولتی و تیزهوشان خیلی می‌آید.

نمونه سؤال. در مثلث قائم‌الزاویه $ABC$ با زاویه‌ی قائمه در $A$ ، ارتفاع $AH$ بر وتر $BC$ رسم شده است. اگر $BH = 4$ و $HC = 9$ باشد، $AH$ چقدر است؟
پاسخ: از تشابه $\triangle ABH \sim \triangle CAH$ داریم:

\frac{BH}{AH} = \frac{AH}{CH} \Rightarrow AH^2 = BH \times CH = 4 \times 9 = 36 \Rightarrow AH = 6

نمونه سؤال. دو مثلث متشابه‌اند و محیط بزرگ‌تر ۳ برابر محیط کوچک‌تر است. اگر مساحت مثلث کوچک‌تر ۵ سانتی‌متر مربع باشد، مساحت بزرگ‌تر چقدر است؟
پاسخ: چون نسبت محیط‌ها همان نسبت تشابه است، $k = 3$ . و چون نسبت مساحت‌ها $k^2$ است:

5 \times 3^2 = 5 \times 9 = 45 \text{ سانتی‌متر مربع}

نمونه سؤال. روی نقشه‌ای با مقیاس $1:50000$ ، فاصله‌ی دو شهر ۳٫۵ سانتی‌متر است. فاصله‌ی واقعی چند کیلومتر است؟
پاسخ: $3.5 \times 50000 = 175000$ سانتی‌متر $= 1750$ متر $= 1.75$ کیلومتر.

نمونه سؤال. لوزی $ABCD$ با ضلع ۱۰ سانتی‌متر با لوزی $A'B'C'D'$ به ضلع ۱۵ سانتی‌متر متشابه است و زاویه‌ی $A$ برابر $70°$ است. الف) نسبت تشابه؟ ب) زاویه‌ی $A'$ ؟ ج) آیا نتیجه می‌گیریم همه‌ی لوزی‌ها متشابه‌اند؟
پاسخ: الف) $k = \frac{15}{10} = 1.5$ . ب) در شکل‌های متشابه زاویه‌های متناظر برابرند، پس $\hat{A'} = 70°$ . ج) خیر — تشابه این دو لوزی خاص در فرض مسئله داده شده بود، نه از یک قانون کلی نتیجه شده. لوزی دیگری با زاویه‌ی $80°$ با $ABCD$ متشابه نخواهد بود، چون زاویه‌های متناظرشان برابر نیست.

اشتباهات رایج این فصل

چند مثال را اثبات پنداشتن. «چند مثلث رسم کردم و درست بود، پس همیشه درست است» یک استدلال استقرایی است، نه اثبات.
اندازه‌گیری را اثبات دانستن. نقاله و خط‌کش خطا دارند و فقط درباره‌ی همان یک شکل حرف می‌زنند.
دلیل نامرتبط آوردن. «روز زوج است پس موفق نمی‌شود» — حتی اگر همیشه مشاهده شده باشد، ارتباط منطقی ندارد.
معتبر پنداشتن هر استدلال قیاسی. اگر مقدمات غلط باشند، نتیجه هم غلط می‌شود.
چند مثال نقض جمع کردن. برای رد یک ادعای کلی، دقیقاً یک مثال نقض کافی و قطعی است.
خلط «برخی» و «همه». از «برخی مثلث‌ها قائم‌الزاویه‌اند» نمی‌توان نتیجه گرفت «مثلث‌های متساوی‌الاضلاع هم قائم‌الزاویه‌اند».
نقیض نادرست. از « $ABCD$ مربع نیست» نتیجه گرفتن «ضلع‌هایش برابر نیستند» غلط است — لوزی مثال نقض همیشگی است.
تعمیم شتاب‌زده. فقط وقتی تعمیم بده که همه‌ی ویژگی‌های به‌کاررفته در اثبات برای عضو جدید هم برقرار باشند.
ننوشتن فرض و حکم. بدون این دو، اثبات از همان ابتدا به بیراهه می‌رود.
فراموش کردن ارجاع. بعد از هر قدم بنویس «بنا بر ...» و نام قضیه را ذکر کن.
دور منطقی. استفاده از حکم مسئله به‌عنوان یکی از شرط‌های اثبات، کل اثبات را باطل می‌کند.
اشتباه در ترتیب رأس‌ها. $\triangle ABC \cong \triangle DEF$ یعنی $A \leftrightarrow D$ ، نه $A \leftrightarrow E$ .
نتیجه‌گیری از اجزای غیرمتناظر. فقط اجزای متناظرِ دو مثلث همنهشت برابرند.
فراموش کردن ضلع مشترک. هر بار دو مثلث ضلع مشترک دارند، بلافاصله بنویسش؛ یک تساوی رایگان است.
فراموش کردن خط کمکی. اگر در شکل دو مثلث نمی‌بینی، یک قطر، عمود یا میانه رسم کن.
حالت پنداشتن «ز ز ز». سه زاویه‌ی برابر فقط تشابه می‌دهد، نه همنهشتی.
اندازه‌گیری فاصله با پاره‌خط مایل. فاصله‌ی نقطه تا خط فقط طول عمود است.
یک‌طرفه دانستن قضیه‌ی وتر-کمان. رابطه دوطرفه است و فقط در یک دایره برقرار است.
پریدن از روی کمان مشترک. از $AB = CD$ مستقیم به $AC = BD$ نپر؛ زنجیره‌ی کمان‌ها را بنویس.
خط میانی دانستن هر پاره‌خط. خط میانی فقط وسطِ دو ضلع را به هم وصل می‌کند.
بررسی فقط یک شرط تشابه. برابری زاویه‌ها یا نسبت ثابت ضلع‌ها به‌تنهایی کافی نیست.
$k$ گرفتن نسبت مساحت. نسبت مساحت $k^2$ است، نه $k$ .
یکسان‌نکردن واحدها در مقیاس. قبل از ضرب، همه‌چیز را به یک واحد ببر.

در یک نگاه

مفهوم	نکته‌ی کلیدی
استدلال استقرایی	از چند مثال به نتیجه‌ی کلی — اثبات نیست
استدلال قیاسی	از قانون کلی به نتیجه‌ی جزئی — اثبات است، اگر مقدمات درست باشند
مثال نقض	فقط یک مورد برای رد یک ادعای کلی کافی است
ساختار اثبات	فرض ← استدلال با قضایای ثابت‌شده ← حکم
الگوی تساوی	$a+c=k$ و $b+c=k$ ⇐ $a=b$
زوایای متقابل به رأس	همیشه برابرند
مجموع زوایای مثلث	$180°$ ، با رسم خط موازی از یک رأس
نقیضِ معکوس	«اگر $A$ پس $B$ » ≡ «اگر نه‌ $B$ پس نه‌ $A$ » (ولی نه «اگر نه‌ $A$ پس نه‌ $B$ »)
حالت‌های همنهشتی	ض ز ض، ز ض ز، ض ض ض، وتر-ساق، وتر-زاویه
ز ز ز	فقط تشابه، نه همنهشتی
عمودمنصف	هر نقطه روی آن، از دو سر پاره‌خط فاصله‌ی مساوی دارد (و بالعکس)
نیمساز	هر نقطه روی آن، از دو ضلع زاویه فاصله‌ی مساوی دارد
فاصله‌ی نقطه تا خط	طول عمود؛ کوتاه‌ترین فاصله
وتر و کمان	در یک دایره: $AB=CD \iff \overset{\frown}{AB}=\overset{\frown}{CD}$
خط میانی	$MN \parallel BC$ و $MN = \frac{BC}{2}$
تشابه	زاویه‌های متناظر برابر و ضلع‌های متناظر با نسبت ثابت $k$
همنهشتی و تشابه	همنهشتی = تشابه با $k=1$
محیط و مساحت	$\frac{P_1}{P_2}=k$ ولی $\frac{S_1}{S_2}=k^2$
مقیاس	فاصله‌ی واقعی = فاصله روی نقشه × مخرج مقیاس
ارتفاع بر وتر	سه مثلث قائم‌الزاویه‌ی متشابه؛ $AH^2 = BH \times CH$

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