(別証)
 1 - (k・sinφ)^2 - {(cosφ)^2 + (sinφ)^2・√(1-kk)}^2
 = (sinφ・cosφ)^2 {(1 - kk/2) - √(1-kk)}
 = (sinφ・cosφ)^2 (kk/2)^2 / {(1 - kk/2) + √(1-kk)}
 ≧ 0,