事实上可以证明,我们甚至无法在方格纸上画出一个顶点都在格点上且含有30度角的任意三角形(而不止是直角三角形)。
以30度角所在的顶点为原点,另外两个顶点对应的辐角的正切值都是有理数(若其中一个为正/负无穷,只需将整个三角形以原点为中心旋转90度),于是由和角公式可知,对应辐角的差的正切值也只能是有理数,但30度对应的正切值是无理数,矛盾。
不能. 实际上我们有更加普遍的命题: 一个三角形能在方格纸上通过连接格点画出的充要条件是它具有两个正切值为有理数的内角.
充分性: 设它的两个内角的正切值分别为 和 , 则只需要连接 , , 三点即可获得所求三角形.
必要性: 因为一个三角形中至多有一个直角, 所以一个三角形中至少有两个角的正切值是存在的. 不妨设 和 存在. 则有
,
均为有理数.
算方程组