北宋贾宪的《黄帝九章算法细草》提出的“贾宪三角”可以求出任意高次方程的数解值，这比欧洲早了（）年。