至于有文献记载的理论,我们求助于伟大的哲学家和数学家勒内·笛卡尔(1596-1650)。笛卡尔完全有可能没有想到用“x”来表示未知,也许是从别人那里借用的,但至少就保存到今天的文献证据来看,他似乎是这一实践的创造者,正如《牛津英语词典》和弗洛里安·卡乔里的杰出作品所指出的那样,数学符号史(1929)。至少,笛卡尔帮助推广了这种做法。
具体地说,笛卡尔在其里程碑式的作品《拉哥马利亚》(1637年)中,通过确立在已知数量(如a、b和c)的字母表开头使用小写字母,以及在未知数量(如z、y和x)的字母表结尾使用小写字母的惯例,将这一运动固化为符号符号记法。
为什么?为什么x比y大,z代表未知?没人知道。有人推测,在这部作品中,x的突出使用超过了y和z,这与排版有关;有一个故事说,是笛卡尔的印刷工建议x是La Géométrie中未知的原理,因为它是使用最少的字母,所以他有更多的字母块可供使用。不管这是不是真的,笛卡尔早在1629年就在各种手稿中使用了x作为一个未知的东西,早在拉哥马利亚之前。而且,事实上,他似乎并没有对x,y,z有任何硬性的规定来表示未知;在这段时间的一些手稿中,他实际上用x,y,z来表示已知的量,对上述所谓的“未知事物”翻译理论提出了进一步的怀疑。
所以,最后,笛卡尔只是随意地选择了字母来代表他作品中不同的东西,这在他的标志性作品《哥马利亚》中也是如此,他决定了具体的变量命名法,也许是一时兴起的。
不管是什么情况,就像笛卡尔的《权力记谱》(x3)一样,在《哥马利亚》出版后,把x作为一个未知的原理(以及a,b,c=knowns和x,y,z=unknowns的更普遍的传统)的使用逐渐流行起来。剩下的,正如他们所说,是数学史。
