>>582
> 三平方の定理から|OH↑|^2+|CH↑|^2=1
これは ∠OCH が直角というだけで、CHが面OABに垂直という条件を使い切っていない。