>>768
√πが発散?

>>770
接点を(p,q)として、p^2+q^2=16、px+qy=16、-p/q=-2からじゃないか?