(5, 0) から円 x^2 + y^2 = 4 への外接線の長さ。