Oppgave 3B (Pytagoras)

Rektangelet ACEF er delt i 4 rettvinklede trekanter. Trekant ABF og trekant BCD er dessuten likebeinte. Videre er AF = kvadratrot(3) og BD = kvadratrot(2).
b. Vis at DF = roten til 8