Line y=mx+c tangent to x²+y²=r² iff |c|/√(1+m²)=r?
By calculus
By substitution
Yes, by distance formula
Cannot be proven