129. Pythagorean theorem and trigonometry in space