内積が角度になる証明