>>553
LNの長さが問題なんです。回答では
LN=√(AL^2-AN^2)=√2/2
となってたんです。だから、直角三角形だろうなと思い質問させてもらいました。この式がどうやって出てきたのか分からなかったんです。