YsnA güzel bir yöntemle denklemin bir çözümünü bulmuş. Bu çözümden yararlanarak, sonsuz çoklukta çözümün var olduğunu Kapalı Fonksiyon Teoremi (https://matematikkoyu.org/e-kutuphane/ders-notlari/Analiz_III.pdf (sayfa 93)) ile aşağıdaki gibi gösterebiliriz. Biraz daha basit, ama dah fazla işlem gerektiren, bir çözüm de (bir aralıktaki her $y$ değeri için) Ara Değer Teoremini (koşullarının sağlandığım gösterip) kullanarak denklemi sağlayan bir $x$ in varlığını göstermek olurdu.
$F(x,y)=\frac{1}{\sqrt{x}}+\frac{1}{\sqrt{y}}-\frac{x+y}{5}$ olsun. $(\sqrt[3]{25},\sqrt[3]{25})$ olmak üzere $F,\ (\sqrt[3]{25},\sqrt[3]{25})$ merkezli $\sqrt[3]{25}$ yarıçaplı açık dairede sürekli kısmi türevlere sahiptir. $\frac{\partial F}{\partial y}(\sqrt[3]{25},\sqrt[3]{25})=\frac{-1}{10}-\frac15\neq0$ olduğundan, Kapalı Fonksiyon Teoreminden, $\sqrt[3]{25}$ nin bir $V$ komşuluğunda tanımlı bir $f$ (türevlenebilen) fonksiyonu vardır ki $(\sqrt[3]{25},\sqrt[3]{25})$ nin bir $U$ komşuluğunda
$$\{(x,y): F(x,y)=0\}\cap U=\{(x,f(x)):x\in V\}$$
olur. (yani bu nokta yakınında denklemin çözümü, $f$ nin grafiğidir)
$V$ kümesinde sonsuz çoklukta gerçel sayı olduğundan, ${F(x,y)=0}$ denklemin de sonsuz sayıda çözümü vardır.
Kapalı Fonksiyon Teoreminin (buradakinden biraz daha genel şekli ile) (Mert Çağlar tarafından hazırlanmış güzel bir kaynak) aşağıda ifadesi ve ispatı var
https://matematikkoyu.org/e-kutuphane/ders-notlari/Analiz_III.pdf