天元术的主要贡献者是李冶。李冶,原名李治,字仁卿,自号敬斋,是金元时期著名的数学家,代表著作有《测圆海镜》、《益古演段》。李冶与杨辉、秦九韶、朱世杰并称为“元宋数学四大家”。
李冶在数学专著《测圆海镜》中通过勾股容圆问题全面地论述了设立未知数和列方程的步骤、技巧、运算法则,以及文字符号表示法等,使天元术发展到相当成熟的新阶段。《测圆海镜》的总结性强、专业度高和敢于创新。
李冶的天元术中,先“立天元为一某某”就是设未知数,然后根据问题的条件列出天元式。在未知量的一次项旁边记一“元”字,在常数项旁记一“太”字,并按高次幂在上低次幂在排列,还可两个天元式相减进行“同数相消”。天元术已有现代列方程记法的雏型,现代学史家称它为半符号代数。用“元”代表未知数的说法,一直沿用到现在。