形的研究属于几何学的范畴。古代民族都具有形的简单概念,并往往以图画来表示,而图形之所以成为数学对象是由于工具的制作与测量的要求所促成的。规矩以作圆方,中国古代夏禹泊水时即已有规、矩、准、绳等测量工具。
墨经》中对一系列的几何概念,有抽象概括,作出了科学的定义。《周髀算经》与刘徽的《海岛算经》给出了用矩观测天地的一般方法与具体公式。在《九章算术》及刘徽注解的《九章算术》中,除勾股定理外,还提出了若干一般原理以解决多种问题。例如求任意多边形面积的出入相补原理;求多面体的体积的阳马鳖需的二比一原理(刘徽原理);5世纪祖(日恒)提出的用以求曲形体积特别是球的体积的“幂势既同则积不容异”的原理;还有以内接正多边形逼近圆周长的极限方法(割圆术)。但自五代(约10世纪)以后,中国在几何学方面的建树不多。
中国几何学以测量和计算面积、体积的量度为中心任务,而古希腊的传统则是重视形的性质与各种性质间的相互关系。欧几里得的《几何原本》,建立了用定义、公理、定理、证明构成的演绎体系,成为近代数学公理化的楷模,影响遍及于整个数学的发展。特别是平行公理的研究,导致了19世纪非欧几何的产生。
欧洲自文艺复兴时期起通过对绘画的透视关系的研究,出现了射影几何。18世纪,蒙日应用分析方法对形进行研究,开微分几何学的先河。高斯的曲面论与黎曼的流形理论开创了脱离周围空间以形作为独立对象的研究方法;19世纪克莱因以群的观点对几何学进行统一处理。此外,如康托尔的点集理论,扩大了形的范围;庞加莱创立了拓扑学,使形的连续性成为几何研究的对象。这些都使几何学面目一新。
在现实世界中,数与形,如影之随形,难以分割。中国的古代数学反映了这一客观实际,数与形从来就是相辅相成,并行发展的。例如勾股测量提出了开平方的要求,而开平方、开立方的方法又奠基于几何图形的考虑。二次、三次方程的产生,也大都来自几何与实际问题。至宋元时代,由于天元概念与相当于多项式概念的引入,出现了几何代数化。
在天文与地理中的星表与地图的绘制,已用数来表示地点,不过并未发展到坐标几何的地步。在欧洲,十四世纪奥尔斯姆的著作中已有关于经纬度与函数图形表示的萌芽。十七世纪笛卡尔提出了系统的把几何事物用代数表示的方法及其应用。在其启迪之下,经莱布尼茨、牛顿等的工作,发展成了现代形式的坐标制解析几何学,使数与形的统一更臻完美,不仅改变了几何证题过去遵循欧几里得几何的老方法,还引起了导数的产生,成为微积分学产生的根源。这是数学史上的一件大事。