Bu geometrik problem, sürekli fonksiyonlar için aradeğer teoreminin çok güzel bir uygulamasıdır.
Üçgen prizmanın taban ayrıt uzunluklarının $a\geq b\geq c$ olduğunu kabul edebiliriz. Üçgen prizmayı düzlemle kestikten sonra aşağıdaki gibi yüzey açınımını yapalım.
(https://geomania.org/forum/index.php?action=dlattach;topic=3237.0;attach=14074;image)
Arakesitin bir $ABC$ eşkenar üçgeni olmasını istiyoruz. Bunun için $|AB|=|BC|=|CA|=x$ olacak şekilde bir $x$ gerçel sayısının var olduğunu göstermeliyiz. Şekilde $|BH|=\sqrt{x^2-a^2}=|KL|$, $|CK|=\sqrt{x^2-b^2}$, $|CL|=\sqrt{x^2-c^2}$ dir. $|CL|=|CK|+|KL|$ eşitliğinden
$$ \sqrt{x^2-a^2} +\sqrt{x^2-b^2} -\sqrt{x^2-c^2} = 0 \dots (1) $$
denklemi elde edilir. Bu denklemin bir $x$ gerçel sayısı çözümü olduğunu ispat edeceğiz.
$$ f(x) = \sqrt{x^2-a^2} +\sqrt{x^2-b^2} -\sqrt{x^2-c^2}\dots (2) $$
diyelim. Açıkça $f(a) \leq 0$ dır. Eğer $f(a)=0$ ise zaten göstermek istediğimiz buydu, ispat tamamlanmış olur. Bu yüzden $f(a) < 0$ olması halini göz önüne alarak işlemlerimizi yapalım. Temel limit bilgilerimizle
$$\lim_{x \to \infty}f(x)=\infty $$
olduğunu görebiliriz. Bu limit bize yeterince büyük bir pozitif $x_0$ gerçel sayısı için $f(x_0)>0$ olduğunu söyler. $f$ fonksiyonu $[c, \infty)$ aralığında sürekli bir fonksiyondur ve $f(a)\cdot f(x_0) <0$ olduğundan ara değer teoremi gereğince $(1)$ denkleminin $(a,x_0)$ aralığında bir $x$ çözümü vardır.