>>191
直角三角形 BOH から考えてもいいし
内積の定義から考えてもいい