Factor $f(x)$ into irreducibles in $K[x]$,
$$f(x) = q_1(x)\cdots q_m(x).$$
If $\alpha$ is a root of $q_1(x)$ and $\beta$ is a root of $q_i(x)$, then $q_1(x)$ is the irreducible polynomial of $\alpha$ over $K$, and $q_i(x)$ is the irreducible polynomial of $\beta$ over $K$.
Since the action of $G$ is transitive on the roots of $f$ there exists $\sigma\in G$ such that $\sigma(\alpha)=\beta$. Since $K$ is Galois, $\sigma(K)=K$, so $\sigma(q_1(x))\in K[x]$ is a polynomial that has $\sigma(\alpha)=\beta$ as a root. Therefore, $q_i(x)|\sigma(q_1(x))$. Since both are irreducible, it follows that $\deg(q_i) = \deg(\sigma(q_1))=\deg(q_1)$. So all irreducible factors of $f(x)$ in $K$ have the same degree.
The degree is equal to the degree of the extension $K(\alpha)/K$ (which is the degree of $q_1(x)$).
A for $m$, the number of factors, we have:
$n=[F(\alpha):F] = [F(\alpha):F(\alpha)\cap K][F(\alpha)\cap K:F]$.
I claim that $[F(\alpha):F(\alpha)\cap K] = [K(\alpha):K]$.
Indeed, since $K$ is Galois over $F$, then $K(\alpha)$ is Galois over $F(\alpha)$ ($K$ is the splitting field of some polynomial over $F$, and this same polynomial works for $K(\alpha)$), and $K$ is Galois over $K\cap F(\alpha)$. If $\sigma\in\mathrm{Gal}(K(\alpha)/F(\alpha))$, then restricting $\sigma$ to $K$ gives a homomorphism $\mathrm{Gal}(K(\alpha)/F(\alpha))\to \mathrm{Gal}(K/K\cap F(\alpha))$. If $\sigma$ restricts to the identity on $K$, then it must be the identity on $K(\alpha)$ (it fixes $\alpha$ since it fixes $F(\alpha)$ pointwise), so the map $\mathrm{Gal}(K(\alpha)/F(\alpha))\to \mathrm{Gal}(K/K\cap F(\alpha))$ is one-to-one.
Let $H'$ be the image of this map. Then $H'$ fixes $K\cap F(\alpha)$ pointwise, and if $k\in K$ is fixed by all elements of $H'$, then $k$ must be fixed by all elements of $\mathrm{Gal}(K(\alpha)/F(\alpha))$, hence $k\in F(\alpha)\cap K$. So $F(\alpha)\cap K$ is the fixed field of $H'$, hence $H'=\mathrm{Gal}(K/K\cap F(\alpha))$.
Thus, $[K(\alpha):F(\alpha)] = [K:K\cap F(\alpha)]$.
Now,
$$\begin{align*}
[K(\alpha):K\cap F(\alpha)] &= [K(\alpha):K][K:K\cap F(\alpha)]\\
\text{ and }[K(\alpha):K\cap F(\alpha)] &= [K(\alpha):F(\alpha)][F(\alpha):K\cap F(\alpha)].\end{align*}$$
Therefore, $[K(\alpha):K] = [F(\alpha):K\cap F(\alpha)]$, as claimed.
So we have that
$$\begin{align*}
n &= [F(\alpha):F]= [F(\alpha):F(\alpha)\cap K][F(\alpha)\cap K:F]\\
&= [K(\alpha):K][F(\alpha)\cap K:F] \\
&= d[F(\alpha)\cap K:F].
\end{align*}$$
Since $n=dm$, then
$$m = [F(\alpha)\cap K:F],$$
as claimed.
To see the action of $G$ is transitive, note that $F(\alpha)$ is isomorphic to $F(\beta)$ over $F$, since $\alpha$ and $\beta$ have the same irreducible over $F$; hence there is an isomorphism $\sigma\colon F(\alpha)\to F(\beta)$ that restricts to the identity on $F$ and sends $\alpha$ to $\beta$. Since $L$ is Galois over $F$, and $F(\alpha),F(\beta)\subseteq L$, $\sigma$ extends to an element of $G$.
Best Answer
Note that $\Bbb Q(\alpha)$ is the splitting field of $a$ and $\Bbb Q(\beta)$ for $b$. The polynomial $ab$ splits in $\Bbb Q(\alpha,\beta)$ since $a$ and $b$ each have a root, so $\Bbb Q(\alpha, \beta)$ is the splitting field of $ab$, and thus Galois.
Let $G=\operatorname{Gal}(K/\Bbb Q)$, and let $H$ be the subgroup whose fixed field is $\Bbb Q(\alpha)$, and similarly $H'$ for $\Bbb Q(\beta)$. That is, $[G:H]=[G:H']=p$. Both $H$ and $H'$ are normal in $G$ since their corresponding fixed fields are normal extensions, so we may consider the subgroup $HH'$. We know $H\neq H'$ since $\Bbb Q(\alpha)\neq \Bbb Q(\beta)$, and since $H\cap H'$ is either $1$ or $p$, it must be $1$.
Next, we claim $HH'=G$. If $x\in K$ is in the fixed field of $HH'$, then in particular it is in the fixed field of both $H$ and $H'$, i.e., $x\in \Bbb Q(\alpha)\cap \Bbb Q(\beta)$. But each of these has prime order, so there are no nontrivial subfields. They are also not equal, so $x\in \Bbb Q$, the fixed field of $HH'$ is $\Bbb Q$, and $HH'=G$.
Finally, $|G|=|HH'|=\frac{|H||H'|}{|H\cap H'|}=p^2$, so $[K:\Bbb Q]=p^2$.