>>588
OH↑・CH↑=0として整理した場合も
k^2+kl+l^2-√2/2(k+l)=0が出てくるんだが
これもCHが面OABに垂直という条件を使い切っていないのだろうか？

OH↑は面OAB上のベクトルとして置いているし、
問題ないような気がするんだが・・・