투영 대상이 되는 원뿔 위의 각 점에서 축까지의 거리를
r
{\displaystyle r}
이라 하자. 정각성에 의해 다음이 성립한다.
d
ϕ
cos
ϕ
d
λ
=
−
d
ρ
r
d
λ
{\displaystyle {\frac {d\phi }{\cos \phi \,d\lambda }}=-{\frac {d\rho }{r\,d\lambda }}}
이 때 투영 대상이 되는 곡면은 원뿔이므로,
ρ
r
{\displaystyle {\frac {\rho }{r}}}
의 값은 상수이다. 이를
k
{\displaystyle k}
로 놓자.
−
sec
ϕ
d
ϕ
=
k
ρ
d
ρ
{\displaystyle -\sec \phi \,d\phi ={\frac {k}{\rho }}d\rho }
k
log
ρ
=
log
(
sec
ϕ
−
tan
ϕ
)
+
C
{\displaystyle k\log \rho =\log(\sec \phi -\tan \phi )+C}
ρ
k
=
e
C
(
sec
ϕ
−
tan
ϕ
)
{\displaystyle \rho ^{k}=e^{C}(\sec \phi -\tan \phi )}
이제
k
{\displaystyle k}
와
C
{\displaystyle C}
의 값을 구하면 된다.
기준위선에서 길이가 보존되어야 하므로
cos
ϕ
0
=
r
(
ϕ
0
)
{\displaystyle \cos \phi _{0}=r(\phi _{0})}
또 그러한 위선은 기준위선 하나밖에 없으므로, 기준위선에서 구면에 접하는 원뿔에 투영시키는 것으로 볼 수 있다. 그렇다면
cos
ϕ
=
r
{\displaystyle \cos \phi =r}
은 이중근을 가져야 한다. 즉
−
sin
ϕ
0
=
r
′
(
ϕ
0
)
{\displaystyle -\sin \phi _{0}=r'(\phi _{0})}
이다.
다시, 기준위선에서 길이가 보존된다는 성질에 의해
ρ
′
(
ϕ
0
)
=
−
1
{\displaystyle \rho '(\phi _{0})=-1}
이 성립하므로,
−
1
=
ρ
′
(
ϕ
0
)
=
k
r
′
(
ϕ
0
)
=
−
k
sin
ϕ
0
{\displaystyle -1=\rho '(\phi _{0})=kr'(\phi _{0})=-k\sin \phi _{0}}
이다.
따라서
k
=
csc
ϕ
0
{\displaystyle k=\csc \phi _{0}}
이다.
이제 위의 식
ρ
k
=
e
C
(
sec
ϕ
−
tan
ϕ
)
{\displaystyle \rho ^{k}=e^{C}(\sec \phi -\tan \phi )}
의 양변에
1
k
{\displaystyle {\frac {1}{k}}}
승을 취한 후
k
=
csc
ϕ
0
{\displaystyle k=\csc \phi _{0}}
를 대입해 다음과 같이 쓸 수 있다.
ρ
=
e
C
sin
ϕ
0
(
sec
ϕ
−
tan
ϕ
)
sin
ϕ
0
{\displaystyle \rho =e^{C\sin \phi _{0}}(\sec \phi -\tan \phi )^{\sin \phi _{0}}}
여기서
ϕ
=
ϕ
0
{\displaystyle \phi =\phi _{0}}
를 대입하면,
e
C
sin
ϕ
0
(
sec
ϕ
0
−
tan
ϕ
0
)
sin
ϕ
0
=
ρ
(
ϕ
0
)
=
cot
ϕ
0
{\displaystyle e^{C\sin \phi _{0}}(\sec \phi _{0}-\tan \phi _{0})^{\sin \phi _{0}}=\rho (\phi _{0})=\cot \phi _{0}}
e
C
sin
ϕ
0
=
cot
ϕ
0
(
sec
ϕ
0
+
tan
ϕ
0
)
sin
ϕ
0
{\displaystyle e^{C\sin \phi _{0}}=\cot \phi _{0}(\sec \phi _{0}+\tan \phi _{0})^{\sin \phi _{0}}}
∴
ρ
=
cot
ϕ
0
(
(
sec
ϕ
−
tan
ϕ
)
(
sec
ϕ
0
+
tan
ϕ
0
)
)
sin
ϕ
0
◼
{\displaystyle \quad \therefore \;\rho =\cot \phi _{0}((\sec \phi -\tan \phi )(\sec \phi _{0}+\tan \phi _{0}))^{\sin \phi _{0}}\qquad \blacksquare }