I want to prove some Alexandrov space M is parabolic cone X x R.Since Alex has no Riemannian metric,so how to do?Is there any (triangle) formula about the relation of distance of two points in M and distance of the projection points in X?