prove algebraically that the straight line with the equation x=2y+5 is a tangent to the circle with equation x^2+y^2=5