Muhakkak zarif çözümler vardır ama ben yine bildiğimden şaşmayım:
ABCD nin bir kirişler dörtgeni olduğu açıktır. FE = 1 diyelim. AEF üçgeninde sinüs teoreminden AE = 2.sin70, AF = 2.sin40, AD = 4.sin70.sin40, FD = 4.sin240, BD = (4.sin270.sin40)/sin80 bu değerleri yerine yazınca eşitlik hemen çıkıyor.