立体射影

// // $xyz$空間において, 原点$\mathrm{O}$を中心とする半径$1$の球面$S:x^2+y^2+z^2=1$, および$S$上の点$\mathrm{A}(0, 0, 1)$を考える. $S$上の$\mathrm{A}$と異なる点$\mathrm{P}(x_0, y_0, z_0)$に対して, 2点$…