>>537
要するにある２次無理数rにおいては(r^2,r,1)と直交する整数ベクトルがあるという事。その整数ベクトルを幾何学的に導ければeがそれに当てはまらないと言えるんだが。