Kosinussatz für spitzwinklige Dreiecke