In class, we proved the following claim on H^2 and E^2: l' is the parallel transport of l along n. However, that proof does not work on S^2 because ASA is false on S^2. Find a symmetry of this figure. Use it to prove the claim on S^2.
Hint: this is similar to the proofs of PTDI in the HW.
Hint: The argument is very similar to the argument that it is the parallel tranport on E^2. In particular, you need to break it up into cases depending of where m and n intersect.
In class, we showed that, on E^2, l' is equidistant to l. Prove that, on H^2, l' and l are not equidistant.
Hint: The argument is very similar to the argument that they are equidistant on E^2. In particular, you need to find a common perpendicular.