Уважаемые приборостроители.

Напомните, пожалуйста, курс геометрии средней школы в части касающейся вписанных в окружность прямоугольников.

Исходные данные это координаты центра О (x.y) и длина сторон a и b.

Вопрос: Как получить координаты вершин прямоугольника при его повороте относительно центра на произвольный угол (добавляется к исходным данным).

PS В гугле не забанили, скорее наоборот в решении уже достиг неимоверных формул с квадратными уравнениями, медианами и прочими биссектрисами с тангенсами.  Хотя уверен, что все это можно (и нужно упростить) до изящного решения в несколько действий. И кому, как не вам, о нем знать.

Спасибо.