求证明:在地理纬度位a度的地区,看到的永不落到地平线下的恒星赤纬为>=(90-a)