Neka su točke, duljine i kut α kao na slici.

Iz trokuta FVN dobivamo v=21atg2α, a iz trokuta VAN dobivamo b2=v2+21a2=41a2(tg22α+2).

Pošto je R jednak polumjeru trokutu ACV opisane kružnice, imamo
R=4P(ACV)d⋅b⋅b=2dvdb2=2vb2=4tg2αa(tg22α+2).

Pošto je r jednak polumjeru trokutu EFV upisane kružnice, imamo r=21atgα pa je konačno
rR=2tg2αtgαtg22α+2=2tg2α(1−tg2α)tg4α+1.
Uz oznaku t=tg2α∈(tg20∘,tg245∘)=(0,1) preostaje dokazati da za t∈(0,1) vrijedi
2t(1−t)t2+1≥2+1,
odnosno nakon množenja
(22+3)t2−2(2+1)t+1≥0,
no ova kvadratna nejednadžba ima vodeći koeficijent pozitivan i diskriminantu
4(2+1)2−4(22+3)=0
pa je zadovoljena za svaki realni broj t.