楼上的推导过程挺详细的。。就是没给积分的细节以及验证是否正确用了代特殊值的办法。。
正好知乎搜到同样问题还没人答，做题家DNA动了，自己算了一下
包含立体角的积分的细节过程。

正方形对垂直对称轴上一点的立体角是多少？ – 戴安的回答 – 知乎
https://www.zhihu.com/question/448050865/answer/1880640583