(7, 0) から円 x^2 + y^2 = 9 への外接線。