事實上可以證明,我們甚至無法在方格紙上畫出一個頂點都在格點上且含有30度角的任意三角形(而不止是直角三角形)。
以30度角所在的頂點為原點,另外兩個頂點對應的輻角的正切值都是有理數(若其中一個為正/負無窮,只需將整個三角形以原點為中心旋轉90度),於是由和角公式可知,對應輻角的差的正切值也只能是有理數,但30度對應的正切值是無理數,矛盾。
不能. 實際上我們有更加普遍的命題: 一個三角形能在方格紙上通過連接格點畫出的充要條件是它具有兩個正切值為有理數的內角.
充分性: 設它的兩個內角的正切值分別為 和 , 則只需要連接 , , 三點即可獲得所求三角形.
必要性: 因為一個三角形中至多有一個直角, 所以一個三角形中至少有兩個角的正切值是存在的. 不妨設 和 存在. 則有
,
均為有理數.
算方程組