a↑と直交するんだから、図を描くとか、内積0から
大きさは定義から