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