فعالیت، سؤال ۱
در مسئلهٔ زیر، فرض و حکم را بنویسید و اشکال استدلال داده شده را بیابید، سپس استدلال درستی برای آن بنویسید.
[شکل: چهارضلعی ABCD با پارهخط AC؛ برچسبها: A، B، C، D و شمارههای ۱ و ۲ در رأسهای A و C]
مسئله: در شکل مقابل پارهخط AC نیمساز زاویهٔ A است و اضلاع AB و AD برابرند. ثابت کنید مثلثهای ABC و ADC همنهشتاند.
فرض:
حکم:
استدلال: چون AC نیمساز است، داریم و و از طرفی AC نیز ضلع مشترک در هر دو مثلث است، لذا دو مثلث ABC و ADC به حالت دو زاویه و ضلع بین (زضز) همنهشتاند.
جواب گامبهگام
گام ۱: فرض و حکم را از متن مسئله جدا میکنیم. در فرض آمده است که AC نیمساز زاویهٔ A است و است.
فرض: (چون AC نیمساز زاویهٔ A است) و
حکم:
گام ۲: اشکال استدلال دادهشده این است که نوشتهاند . در مسئله فقط گفته شده AC نیمساز زاویهٔ A است، نه نیمساز زاویهٔ C. پس برابری در فرض نیست و از جای دیگری هم نتیجه نمیشود. استدلال بر یک چیز اثباتنشده تکیه کرده است.
گام ۳: استدلال درست از همان دانستههای فرض استفاده میکند:
گام ۴: زاویهٔ بین دو ضلع و در مثلث اول، و بین دو ضلع و در مثلث دوم قرار دارد. پس همنهشتی به حالت دو ضلع و زاویهٔ بین (ض ز ض) برقرار است.
جواب نهایی
1) فرض: و ؛ حکم: ؛ اشکال: برابری بدون دلیل فرض شده است، چون AC نیمساز زاویهٔ C نیست؛ استدلال درست: ، و مشترک است، پس به حالت (ض ز ض) همنهشتاند.