![استقرای ریاضی استقرای ریاضی](https://rasekhoon.net/_files/thumb_images700/article/0030271.jpg)
از آزمایش ریاضی
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/00302711.jpg)
به فرمول
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/00302712.jpg)
رهنمون می شویم و سپس این حدس به صورت استنتاجی با استفاده از اصل استقرای ریاضی ثابت می شود.
وان درواردن خاطرنشان می کند که «در اصل»، استقرای ریاضی بر فیثاغورسیان دانسته بوده اما فرانچسکو مورولیکو (1) نخستین کسی است که نسبتاً به صراحت (در کتاب حساب خود، 1575) از آن استفاده کرده است. باز پاسکال (ح 1635) نفر بعدی بود که از این ایده به کرّات در کار خود درباره ی به اصطلاح مثلث پاسکال، که او آن را «مثلث حسابی» نامید استفاده کرده است.
برهان های استقرایی مورولیکو به سبکی نسبتاً درهم و برهم ارائه شدند که به آسانی قابل فهم نیستند. سبک پاسکال بیشتر در راستای سبک امروزی است و ما ترجمه ای از برهان استقرایی او را با نمادهای امروزی برای اثبات تساوی زیر می دهیم:
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/00302713.jpg)
که در آن
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/00302714.jpg)
و «r» هر «خانه»ای از 0ام تا (n-1)ام در شکل 1 است./> شکل 1
پیامد XII: در هر مثلث حسابی، دو خانه مجاور در امتداد یک خط [این خاصیت را دارند که] نسبت خانه ی پایینی به بالایی مانند تعداد خانه ها در زیر (و شامل) خانه ی پایینی به تعداد خانه ها در بالا (و شامل) خانه ی بالایی است.
فرض فرض کنید که E و C هر دو خانه ی مجاور در امتداد یک خط باشند، می گویم که
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/00302715.jpg)
گرچه این حکم، بی نهایت حالت دارد، من دلیل کوتاهی بر مبنای دو لم زیر می دهم:
نخستینِ آن که آشکار است، این که این تناسب در سطر دوم [مثلث] درست است، زیرا به آسانی دیده می شود که نسبت ɸ به σ مانند 1 به 1 است [فرض کنید/>
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/00302716.jpg)
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/00302717.jpg)
دومی این که اگر این حکم در هر سطر درست باشد، لزوماً در سطر بعدی نیز درست خواهد بود. [فرض کنید n=k. در این صورت />
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/00302718.jpg)
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/00302719.jpg)
و بنابراین قضیه برای
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/003027110.jpg)
در نتیجه تنها لازم است که لم دوم را به این طریق ثابت کنیم:/> اگر تناسب در هر سطر درست باشد، آن گونه که در سطر چهارم Dλ؛ مثلاً اگر نسبت D به B مانند 1 به 3، و نسبت β به θ مانند 2 به 2، و نسبت θبه λ مانند 3 به 1 باشد و به همین قیاس، می گویم که همین تناسب در سطرHµ بعدی درست خواهد بود و این که، مثلاً نسبت E به C مانند 2 به 3 است.
برای این که نسبت D به B بنابر فرض مانند 1 به 3 است.
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/003027111.jpg)
E به B مانند نسبت 4 به 3 است.
به همین ترتیب نسبت B به θ بنابرفرض مانند 2 به 2 است.
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/003027112.jpg)
C به B مانند نسبت 4 به 2 است.
اما نسبت E به B مانند 4 به 3 [و نسبت B و c مانند به 2 به 4است] (به طوری که دیده ایم). در این صورت [با ضرب کردن این دو تناسب آخری] نسبت E به c مانند 2 به 3 است. این همان است که باید نشان می دادیم.
می توان همین را برای همه خانه ها [ی سطرها] نشان داد، زیرا این برهان تنها مبتنی بر تناسب به دست آمده برای [سطر] قبل است و [این خاصیت] که هر خانه برابر با خانه ی قبل[خانه ی سمت چپ] به علاوه ی خانه ی بالای آن است، که همه جا [در مثلث] درست است.
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/003027115.jpg)
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/003027113.jpg)
![استقرای ریاضی استقرای ریاضی](/userfiles/Article/1392/05/04/003027114.jpg)
پی نوشت ها :
1. Francesco Maurolico
منبع مقاله :باومگارت، جان[و دیگران]؛ (1385)، تاریخ جبر، محمد قاسم وحیدی اصل، تهران، انتشارات علمی و فرهنگی، چاپ نخست: بهار 1385