ABCD dörtgeni kirişler dörtgenidir. R=1.
Sinüs Teoreminden BC/sin(BAC) = 2R => sin(BAC) = x/2.
m(AED)=m(AFD)=900 + (900/2) = 1350 olduğu için AEFD dörtgeni kirişler dörtgenidir.
Aynı zamanda, m(FAD) = m(CAD)/2 ve m(EAD)=m(BAD)/2 olduğu için m(EAF)= m(BAC)/2.
EFDA kirişler dörtgeninde Sinüs Teoreminden,
AD/sin(AED) = EF/sin(EAF) => 2/(1/√2) = √2/(sin(BAC/2)) => sin(BAC/2) = 1/2 => BAC=300.
sin(BAC)=x/2 = √3/2 => x=√3.