Как найти координаты вершины равнобедренного треугольника?

Есть равнобедренный треугольник с основанием AB и вершиной C.
Известны координаты точек A(x=1, y=0) и B(x=5, y=0) и, соответственно, расстояние между ними.
Известен так же угол вершины C (например 30 градусов) и координата x равная 3, т. к. треугольник равнобедренный.
Как найти координату "y" этой вершины (т. е. высоту треугольника)?