یکی از روش های اثبات استفاده از فرض خلف است. فرض می کنیم چنین نباشد یعنی رابطه بالا برقرار نباشد: آنگاه باید عدد گویایی مانند q وجود داشته باشد بطوریکه ۱>q و .....۹۹۹۹۹۹۹۹۹۹/۰ تمام ارقام qبرابر۹ هستند که .......99999/0=q حداقل یکی از ارقام برابر ۹ نباشد .....۹۹۹۹/۰>q که در هر دو حالت تناقض با فرض اولیه را خواهیم داشت.
ایا می دانید اولین بار در سال ۱۹۷۰ از هوش مصنوعی در آموزش ریاضی استفاده شد. در این سال یک نرم افزار آموزشی برای آموزش انتگرال وارد بازار شد.
پس از آن در سال ۱۹۷۳ پابرت زبان لوگو را پدید آورد که در تکنولوژی آموزشی و آموزش ریاضی کاربرد های فراوانی داشت.
ادوارد لوکاس -Edouard Lucas-ریاضیدان فرانسوی(۴آوریل ۱۸۴۲-۳اکتبر۱۸۹۱) که مطالعات گسترده ای را در زمینه سرگرمی های ریاضی انجام داد.
سایت انجمن ملی معلمین ریاضی آمریکا روزانه یک سوال در اختیار اعضا خود قرار می دهد. این سوالات با وجود سادگی بسیار توانایی بالایی در پرورش ذهن دانش آموز و کمک به افزایش توان استدلال وی همچنین تمام افرادی که مدتهاست تحصیلات آکادمیک در زمینه ریاضی را رها کردند را دارد.
ادامه مطلب ...