数学家是怎么发现数学公式的

Ⅰ 中国人发现的数学公式

算筹是中国古代的计算工具，真正意义上的中国古代数学体系形成于自西汉至南北朝的三、四百年期间。《算数书》成书于西汉初年，是传世的中国最早的数学专着，它是1984年由考古学家在湖北江陵张家山出土的汉代竹简中发现的。《周髀算经》编纂于西汉末年，它虽然是一本关于“盖天说”的天文学着作，但是包括两项数学成就——（1）勾股定理的特例或普遍形式（“若求邪至日者，以日下为句，日高为股，句股各自乘，并而开方除之，得邪至日。”——这是中国最早关于勾股定理的书面记载）；（2）测太阳高或远的“陈子测日法”。
《九章算术》在中国古代数学发展过程中占有非常重要的地位。它经过许多人整理而成，大约成书于东汉时期。全书共收集了246个数学问题并且提供其解法，主要内容包括分数四则和比例算法、各种面积和体积的计算、关于勾股测量的计算等。在代数方面，《九章算术》在世界数学史上最早提出负数概念及正负数加减法法则；现在中学讲授的线性方程组的解法和《九章算术》介绍的方法大体相同。注重实际应用是《九章算术》的一个显着特点。该书的一些知识还传播至印度和阿拉伯，甚至经过这些地区远至欧洲。
九章算术》标志以筹算为基础的中国古代数学体系的正式形成。
中国古代数学在三国及两晋时期侧重于理论研究，其中以赵爽与刘徽为主要代表人物。
赵爽学术成就体现于对《周髀算经》的阐释。在《勾股圆方图注》中，他还用几何方法证明了勾股定理，其实这已经体现“割补原理”的方法。用几何方法求解二次方程也是赵爽对中国古代数学的一大贡献。三国时期魏人刘徽则注释了《九章算术》，其着作《九章算术注》不仅对《九章算术》的方法、公式和定理进行一般的解释和推导，而且系统地阐述了中国传统数学的理论体系与数学原理，并且多有创造。其发明的“割圆术”（圆内接正多边形面积无限逼近圆面积），为圆周率的计算奠定了基础，同时刘徽还算出圆周率的近似值——“3927/1250（3.1416）”。他设计的“牟合方盖”的几何模型为后人寻求球体积公式打下重要基础。在研究多面体体积过程中，刘徽运用极限方法证明了“阳马术”。另外，《海岛算经》也是刘徽编撰的一部数学论着。
南北朝是中国古代数学的蓬勃发展时期，计有《孙子算经》、《夏侯阳算经》、《张丘建算经》等算学着作问世。
祖冲之、祖暅父子的工作在这一时期最具代表性。他们着重进行数学思维和数学推理，在前人刘徽《九章算术注》的基础上前进了一步。根据史料记载，其着作《缀术》（已失传）取得如下成就：①圆周率精确到小数点后第六位，得到3.1415926<π<3.1415927，并求得π的约率为22/7，密率为355/113，其中密率是分子分母在1000以内的最佳值；欧洲直到16世纪德国人鄂图（Otto）和荷兰人安托尼兹（Anthonisz）才得出同样结果。②祖暅在刘徽工作的基础上推导出球体体积公式，并提出二立体等高处截面积相等则二体体积相等（“幂势既同则积不容异”）定理；欧洲17世纪意大利数学家卡瓦列利（Cavalieri）才提出同一定理……祖氏父子同时在天文学上也有一定贡献。

隋唐时期的主要成就在于建立中国数学教育制度，这大概主要与国子监设立算学馆及科举制度有关。在当时的算学馆《算经十书》成为专用教材对学生讲授。《算经十书》收集了《周髀算经》、《九章算术》、《海岛算经》等10部数学着作。所以当时的数学教育制度对继承古代数学经典是有积极意义的。
公元600年，隋代刘焯在制订《皇极历》时，在世界上最早提出了等间距二次内插公式；唐代僧一行在其《大衍历》中将其发展为不等间距二次内插公式。
从公元11世纪到14世纪的宋、元时期，是以筹算为主要内容的中国古代数学的鼎盛时期，其表现是这一时期涌现许多杰出的数学家和数学着作。中国古代数学以宋、元数学为最高境界。在世界范围内宋、元数学也几乎是与阿拉伯数学一道居于领先集团的。
贾宪在《黄帝九章算法细草》中提出开任意高次幂的“增乘开方法”，同样的方法至1819年才由英国人霍纳发现；贾宪的二项式定理系数表与17世纪欧洲出现的“巴斯加三角”是类似的。遗憾的是贾宪的《黄帝九章算法细草》书稿已佚。 秦九韶是南宋时期杰出的数学家。1247年，他在《数书九章》中将“增乘开方法”加以推广，论述了高次方程的数值解法，并且例举20多个取材于实践的高次方程的解法（最高为十次方程）。16世纪意大利人菲尔洛才提出三次方程的解法。另外，秦九韶还对一次同余式理论进行过研究。
李冶于1248年发表《测圆海镜》，该书是首部系统论述“天元术”（一元高次方程）的着作，在数学史上具有里程碑意义。尤其难得的是，在此书的序言中，李冶公开批判轻视科学实践活动，将数学贬为“贱技”、“玩物”等长期存在的士风谬论。
公元1261年，南宋杨辉（生卒年代不详）在《详解九章算法》中用“垛积术”求出几类高阶等差级数之和。公元1274年他在《乘除通变本末》中还叙述了“九归捷法”，介绍了筹算乘除的各种运算法。公元1280年，元代王恂、郭守敬等制订《授时历》时，列出了三次差的内插公式。郭守敬还运用几何方法求出相当于现在球面三角的两个公式。
公元1303年，元代朱世杰（生卒年代不详）着《四元玉鉴》，他把“天元术”推广为“四元术”（四元高次联立方程）,并提出消元的解法，欧洲到公元1775年法国人别朱（Bezout）才提出同样的解法。朱世杰还对各有限项级数求和问题进行了研究，在此基础上得出了高次差的内插公式，欧洲到公元1670年英国人格里高利（Gregory）和公元1676一1678年间牛顿（Newton）才提出内插法的一般公式。
14世纪中、后叶明王朝建立以后，统治者奉行以八股文为特征的科举制度，在国家科举考试中大幅度消减数学内容，于是自此中国古代数学便开始呈现全面衰退之势。
明代珠算开始普及于中国。1592年程大位编撰的《直指算法统宗》是一部集珠算理论之大成的着作。但是有人认为，珠算的普及是抑制建立在筹算基础之上的中国古代数学进一步发展的主要原因之一。

由于演算天文历法的需要，自16世纪末开始，来华的西方传教士便将西方一些数学知识传入中国。数学家徐光启向意大利传教士利马窦学习西方数学知识，而且他们还合译了《几何原本》的前6卷（1607年完成）。徐光启应用西方的逻辑推理方法论证了中国的勾股测望术，因此而撰写了《测量异同》和《勾股义》两篇着作。邓玉函编译的《大测》〔2卷〕、《割圆八线表》〔6卷〕和罗雅谷的《测量全义》〔10卷〕是介绍西方三角学的着作

Ⅱ 数学公式是怎么来的

数学家进行，论证推理得来的，数学公式就存在于宇宙中，只不过是等待人去发现它，发现了，他就得到了这个结果，这跟认知是一样的。

Ⅲ 数学定理是怎么发现的

数学定理都是通过科学家和数学家在多数词的研究之后发现的，定理通过证明定理的可靠性之后会颁发给所有人。

Ⅳ 数学家是如何推导公式的呢

数学家推导公式1对周边生活的观察2分析3对其原有的方法产生怀疑。4从基础出发拓展思考5推理计算6验证

Ⅳ 数学家陈景润证明了1+2＝3，他是如何做到的

在一些有关数学的文章中，我们经常会看到中国数学家陈景润成功证明了“1+2=3”，而全世界没有一个数学家能够证明“1+1=2”。然而，事实并非如此。无论是“1+2=3”，还是“1+1=2”，都是数学公理，始终都是成立的，这都是建立在皮亚诺公理之上，证明这样的恒等式没有意义。数学家真正要证明的是哥德巴赫猜想，这一直是当今数学界所未解决的一大难题，大数学家大卫·希尔伯特曾将其列为23大数学难题之一。

在哥德巴赫提出猜想将近300年之后的今天，没人能够更进一步证明“1+1”。想要证明或者证伪哥德巴赫猜想，或许需要以陈景润的证明为基础，或许又有其他方法直接能够证明。至于那些声称以初等数论就能证出哥德巴赫猜想，基本上是异想天开。正如宇宙如何起源和结束等终极问题那样，哥德巴赫猜想目前还是不可知的问题。在彻底解决这个重大数学问题之前，人类还有很长的路要走。

Ⅵ 数学公式是怎么来的

数学（汉语拼音：shù xué；希腊语：μαθηματικ；英语：Mathematics），源自于古希腊语的μθημα（máthēma），其有学习、学问、科学之意．古希腊学者视其为哲学之起点，“学问的基础”．另外，还有个较狭隘且技术性的意义——“数学研究”．即使在其语源内，其形容词意义凡与学习有关的，亦会被用来指数学的．
其在英语的复数形式，及在法语中的复数形式+es成mathématiques，可溯至拉丁文的中性复数（Mathematica），由西塞罗译自希腊文复数τα μαθηματικά（ta mathēmatiká）．
在中国古代，数学叫作算术，又称算学，最后才改为数学．中国古代的算术是六艺之一（六艺中称为“数”）．
数学起源于人类早期的生产活动，古巴比伦人从远古时代开始已经积累了一定的数学知识，并能应用实际问题．从数学本身看，他们的数学知识也只是观察和经验所得，没有综合结论和证明，但也要充分肯定他们对数学所做出的贡献．
基础数学的知识与运用是个人与团体生活中不可或缺的一部分．其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见．从那时开始，其发展便持续不断地有小幅度的进展．但当时的代数学和几何学长久以来仍处于独立的状态．
代数学可以说是最为人们广泛接受的“数学”．可以说每一个人从小时候开始学数数起，最先接触到的数学就是代数学．而数学作为一个研究“数”的学科，代数学也是数学最重要的组成部分之一．几何学则是最早开始被人们研究的数学分支．
直到16世纪的文艺复兴时期，笛卡尔创立了解析几何，将当时完全分开的代数和几何学联系到了一起．从那以后，我们终于可以用计算证明几何学的定理；同时也可以用图形来形象的表示抽象的代数方程．而其后更发展出更加精微的微积分．
西方最原始math（数学）应用之一，奇普
现时数学已包括多个分支．创立于二十世纪三十年代的法国的布尔巴基学派则认为：数学，至少纯数学，是研究抽象结构的理论．结构，就是以初始概念和公理出发的演绎系统．他们认为，数学有三种基本的母结构：代数结构（群，环，域，格……）、序结构（偏序，全序……）、拓扑结构（邻域，极限，连通性，维数……）．[1]
数学被应用在很多不同的领域上，包括科学、工程、医学和经济学等．数学在这些领域的应用一般被称为应用数学，有时亦会激起新的数学发现，并促成全新数学学科的发展．数学家也研究纯数学，也就是数学本身，而不以任何实际应用为目标．虽然有许多工作以研究纯数学为开端，但之后也许会发现合适的应用．
具体的，有用来探索由数学核心至其他领域上之间的连结的子领域：由逻辑、集合论（数学基础）、至不同科学的经验上的数学（应用数学）、以较近代的对于不确定性的研究（混沌、模糊数学）．
就纵度而言，在数学各自领域上的探索亦越发深入．
图中数字为国家二级学科编号．

结构
编辑
许多如数、函数、几何等的数学对象反应出了定义在其中连续运算或关系的内部结构．数学就研究这些结构的性质，例如：数论研究整数在算数运算下如何表示．此外，不同结构却有着相似的性质的事情时常发生，这使得通过进一步的抽象，然后通过对一类结构用公理描述他们的状态变得可能，需要研究的就是在所有的结构里找出满足这些公理的结构．因此，我们可以学习群、环、域和其他的抽象系统．把这些研究（通过由代数运算定义的结构）可以组成抽象代数的领域．由于抽象代数具有极大的通用性，它时常可以被应用于一些似乎不相关的问题，例如一些古老的尺规作图的问题终于使用了伽罗理论解决了，它涉及到域论和群论．代数理论的另外一个例子是线性代数，它对其元素具有数量和方向性的向量空间做出了一般性的研究．这些现象表明了原来被认为不相关的几何和代数实际上具有强力的相关性．组合数学研究列举满足给定结构的数对象的方法．

空间
编辑
空间的研究源自于欧式几何．三角学则结合了空间及数，且包含有非常着名的勾股定理、三角函数等。现今对空间的研究更推广到了更高维的几何、非欧几何及拓扑学．数和空间在解析几何、微分几何和代数几何中都有着很重要的角色．在微分几何中有着纤维丛及流形上的计算等概念．在代数几何中有着如多项式方程的解集等几何对象的描述，结合了数和空间的概念；亦有着拓扑群的研究，结合了结构与空间．李群被用来研究空间、结构及变化．

基础
编辑
旋转曲面
主条目：数学基础
为了弄清楚数学基础，数学逻辑和集合论等领域被发展了出来．德国数学家康托尔（1845-1918）首创集合论，大胆地向“无穷大”进军，为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的，提出了实无穷的思想，为以后的数学发展作出了不可估量的贡献．
集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论，测度论，拓扑学及数理科学中必不可少的工具．20世纪初，数学家希尔伯特在德国传播了康托尔的思想，把集合论称为“数学家的乐园”和“数学思想最惊人的产物”．英国哲学家罗素把康托的工作誉为“这个时代所能夸耀的最巨大的工作”

逻辑
编辑
主条目：数理逻辑
数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果．就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果．现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关联性．

符号
编辑

主条目：数学符号
也许我国古代的算筹是世界上最早使用的符号之一，起源于商代的占卜．
我们现今所使用的大部分数学符号都是到了16世纪后才被发明出来的．在此之前，数学是用文字书写出来，这是个会限制住数学发展的刻苦程序．现今的符号使得数学对于人们而言更便于操作，但初学者却常对此感到怯步．它被极度的压缩：少量的符号包含着大量的讯息．如同音乐符号一般，现今的数学符号有明确的语法和难以以其他方法书写的讯息编码．

严谨性
编辑
数学语言亦对初学者而言感到困难．如何使这些字有着比日常用语
周髀算经
更精确的意思，亦困恼着初学者，如开放和域等字在数学里有着特别的意思．数学术语亦包括如同胚及可积性等专有名词．但使用这些特别符号和专有术语是有其原因的：数学需要比日常用语更多的精确性．数学家将此对语言及逻辑精确性的要求称为“严谨”．
严谨是数学证明中很重要且基本的一部分．数学家希望他们的定理以系统化的推理依着公理被推论下去．这是为了避免依着不可靠的直观，从而得出错误的“定理”或"证明"，而这情形在历史上曾出现过许多的例子．在数学中被期许的严谨程度因着时间而不同：希腊人期许着仔细的论点，但在牛顿的时代，所使用的方法则较不严谨．牛顿为了解决问题所作的定义，到了十九世纪才让数学家用严谨的分析及正式的证明妥善处理．今日，数学家们则持续地在争论电脑辅助证明的严谨度．当大量的计算难以被验证时，其证明亦很难说是有效地严谨．

数量
编辑
数量的学习起于数，一开始为熟悉的自然数及
四元玉鉴
整数与被描述在算术内的有理和无理数．
另一个研究的领域为其大小，这个导致了基数和之后对无限的另外一种概念：阿列夫数，它允许无限集合之间的大小可以做有意义的比较．

简史
编辑

西方数学简史
数学的演进大约可以看成是抽象化的持续发展，或是题材的延展．而东西方文化也采用了不同的角度，欧洲文明发展出来几何学，而中国则发展出算术．第一个被抽象化的概念
海岛算经
大概是数字（中国的算筹），其对两个苹果及两个橘子之间有某样相同事物的认知是人类思想的一大突破．除了认知到如何去数实际物件的数量，史前的人类亦了解如何去数抽象概念的数量，如时间—日、季节和年．算术（加减乘除）也自然而然地产生了．
更进一步则需要写作或其他可记录数字的系统，如符木或于印加人使用的奇普．历史上曾有过许多各异的记数系统．
古时，数学内的主要原理是为了研究天文，土地粮食作物的合理分配，税务和贸易等相关的计算．数学也就是为了了解数字间的关系，为了测量土地，以及为了预测天文事件而形成的．这些需要可以简单地被概括为数学对数量、结构、空间及时间方面的研究．
西欧从古希腊到16世纪经过文艺复兴时代，初等代数、以及三角学等初等数学已大体完备．但尚未出现极限的概念．
17世纪在欧洲变量概念的产生，使人们开始研究变化中的量与量的互相关系和图形间的互相变换．在经典力学的建立过程中，结合了几何精密思想的微积分的方法被发明．随着自然科学和技术的进一步发展，为研究数学基础而产生的集合论和数理逻辑等领域也开始慢慢发展．

中国数学简史
主条
杨辉三角
目：中国数学史
数学古称算学，是中国古代科学中一门重要的学科，根据中国古代数学发展的特点，可以分为五个时期：萌芽；体系的形成；发展；繁荣和中西方数学的融合．