Suppose there are two independent sequences of Bernoulli Random Variables $\{X_i\}_{1}^{n}$ and $\{Y_i\}_{1}^{n}$ with $P(X_i=1)=p_1$ and $P(Y_i=1)=p_2$. Let $\hat{p_1} = \frac{\sum_{i=1}^{n} X_i}{n}$ and $\hat{p_2} = \frac{\sum_{i=1}^{n} Y_i}{n}$. Define $$T= \frac{\hat{p_2}-\hat{p_1}}{\sqrt{\frac{2 \hat{p} \hat{q}}{n}}}$$ where $\hat{p}=\frac{\hat{p_1}+\hat{p_2}}{2}$ and $\hat{q}=1-\hat{p}$. Suppose $$\Pi_n = P(T < -z_{\frac{\alpha}{2}})$$.
Here $Z_{\alpha}$: upper $\alpha$ point of $N(0,1)$.
For the special case $p_1=p_2$, show that $\Pi_n$ converges to $\frac{\alpha}{2}$ as $n \rightarrow \infty$.
I found that $$\frac{\hat{p_2}-\hat{p_1}}{\sqrt{\frac{2 p_1 (1-p_1)}{n}}} \sim^{a} N(0,1)$$. But the question tries to estimate the denominator by $\frac{2 \hat{p} \hat{q}}{n}$. I tried calculating $E(\hat{p} \hat{q})$ which comes out to be $\frac{2n-1}{2n} p_1(1-p_1)$ under $p_1=p_2$.
Intuitively all I need to show is that $T$ follows a $t$-distribution and then as $n \rightarrow \infty$, the quantile of the $t$-distribution converges to a normal quantile. But, I cannot establish the fact that the denominator's estimator is actually a chi-squared random variable.
Anyone with a different idea?