W kwadracie ABCD punkty E i F należą odpowiednio do boków DC i BC oraz odcinki AE i AF dzielą kąt BAD na trzy równe kąty. Wykaż że jeśli boki kwadratu mają długość a, a>0, zaś Odcinek EF ma długość b, b>0, to 3b^2 = 4a^2(2-pierwiastek z 3).