あーいいや
デカルトが接線・接点の存在を証明したんだろ