Akar kuadrat dari 2

Mengingat sudut "EBF" adalah sudut tegak dan sudut "BEF" setengah sudut tegak, "BEF" juga segitiga sama kaki tegak. Maka "BE" = "m" - "n" menandai "BF" = "m" - "n". Melalui simetri, "DF" = "m" - "n", dan "FDC" juga segitiga sama kaki tegak. Juga "FC" = "n" - ("m" - "n") = 2"n" - "m".