正切 定理 證明