Key points are not available for this paper at this time.
We prove an identity which connects the visual angle metric v₇ℂ and the hyperbolic metric ₇ℂ of the upper half plane H². The proof is based on geometric arguments and uses computer algebra methods for formula manipulation. We also prove a sharp H\"older continuity result for quasiregular mappings with respect to the visual angle metric.
Fujimura et al. (Sat,) studied this question.