b↑が(0,x,-√7)なので、

√0^2+x^2(-√7)^2=x^2-√7
ですよね。

なす角の定義はcosθ=a↑b↑/|a↑||b↑|
です。