RU-ALLRUSSIAN 1976 Problem 15
S is a sphere with unit radius. P is a plane through the center. For any point x on the sphere is the perpendicular distance from to P. Show that if , , are the ends of three mutually perpendicular radii, then (\). Now let be any function on the points of S taking non- negative real values and satisfying (\). Regard the intersection of P and S as the equator, the poles as the points with and lines of longitude as semicircles through both poles. (1) If and have the same longitude and both lie on the same side of the equator with closer to the pole, show that . (2) Show that for any , on the same side of the equator with closer to the pole than we have . (3) Show that if and are the same distance from the pole then . (4) Show that for all .
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.