راهنمایی کوتاه: فرض کنید حاصلضرب یک عدد گویای ناصفر و یک عدد گنگ، عددی گویا باشد؛ سپس با استفاده از تعریف اعداد گویا به تناقض برسید.
گامبهگام:
- فرض کنید یک عدد گویای ناصفر و یک عدد گنگ باشد.
- برهان خلف: فرض کنید عددی گویا باشد. نام آن را بگذارید: .
- از آنجا که گویا و ناصفر است، میتوان آن را به صورت نوشت که اعداد صحیح و .
- حال . چون گویا است (طبق فرض)، حاصلضرب دو عدد گویا نیز گویاست. بنابراین باید گویا باشد.
- این با فرض گنگ بودن تناقض دارد. پس فرض اولیه نادرست است و باید گنگ باشد.
پاسخ نهایی: با برهان خلف ثابت شد که حاصلضرب هر عدد گویای ناصفر در یک عدد گنگ، عددی گنگ است.
مثال مشابه: عدد گویای ۲ ( ) و عدد گنگ . حاصلضرب گنگ است، زیرا اگر گویا بود، تقسیم بر ۲ (عدد گویای ناصفر) را گویا میکرد که تناقض است.
اگر میخواهی بیشتر یاد بگیری: میتوانی به اثبات گنگ بودن یا دیگر اعداد گنگ مانند و فکر کنی. همچنین بررسی کن که چرا شرط ناصفر بودن عدد گویا ضروری است.