陰関数って習ったのですが、円の接線を求める時に

x^2 + y^2 = r^2 を微分して

2x dx + 2y dy = 0
となるらしいのですが、理由がよく分かりません・・・
陰関数って何なのでしょうか？