Çözümünüz çok hoş hocam. Ben de şöyle düşünmüştüm: AB=x dersek AC=x(kök2) olur. Bu durumda AEBC dörtgeninde Ptolemy Eşitsizligi uygularsak
x(1 + kök2) <= x + x(kök2) olur. İki taraf eşit olduğu için AEBC kirişler dörtgeni bulunur. Gerisi de basit bir diklik hesabı...