tiān wén > 'āi 'ěr - méng · 
   'āi 'ěr - méng · ( pierre-simonlaplace, 1749 nián 3 yuè 23 héng 1827 nián 3 yuè 5 ), guó zhù míng de tiān wén xué jiā shù xué jiātiān xué de chéng zhě
   yòng shù xué fāng zhèng míng liǎo xíng xīng de guǐ dào xiǎo zhǐ yòu zhōu xìng biàn huàzhè jiù shì zhù míng dìng
   de zhù míng jié zuòtiān xué》, jiā zhī chéngshū zhōng chū liǎo tiān xué de xué míng chēngshì jīng diǎn tiān xué de dài biǎo zhù zuò
  《 zhòu tǒng lùnshì lìng míng chuí qiān de jié zuòzài zhè shū zhōng kāng chū liǎo xué de tài yáng yuán lùn héng héng xīng yún shuōkāng de xīng yún shuō shì cóng zhé xué jiǎo chū deér cóng shù xué xué jiǎo chōng shí liǎo xīng yún shuōyīn rén men cháng cháng men liǎng rén de xīng yún shuō chēng wéikāng - xīng yún shuō”。
   'āi 'ěr héng méng · zài shù xué xué fāng miàn yòu zhòng yào gòng xiàn shì biàn huàn fāng chéng de xiàn zhězhè xiē shù xué gōng jīn tiān jīng zài xué shù de lǐng dào liǎo guǎng fàn de yìng yòng
   shì yīn guǒ jué dìng lùn de xìn 。 1799 nián chū bǎn liǎo zhùtiān xuéde tóu liǎng juànzhù yào lùn shù xíng xīng yùn dòngxíng xīng xíng zhuàng cháo 。 1802 nián chū bǎn sān juànlùn shè dòng lùn。 1805 nián chū bǎn juànlùn xīng wèi xīng de yùn dòng sān wèn de shū jiě。 1825 nián chū bǎn juàn chōng qián juàn de nèi róngyóu zhè zhù de chū bǎn bèi wéi guó de niú dùn shuōdāng lún kàn dào zhè shū shíwèn wèihé zài de shū zhōng shàng míng què huí :“ xià yào jiǎ shè”。
   gěi chū liǎo guài de guān tài yáng huì shēng de gàilǜ de fāng chéng shēng chēng zhè gàilǜ shì (d+1)/(d+2), d shì guò tài yáng shēng de tiān shù shēng chēng zhè gōng shì yìng yòng suǒ yòu men rèn shí de shì shànghuò shì zài men zhī dàn yóu men zhī dào de shì 'ér xiàn tán de shì shàng