512. § 11. Теорема косинусів