и q⊥AB (построение 2), значит, по признаку перпендикулярности прямая q является искомой касательной к данной окружности.