2つの正三角形から AD∥BCAD\parallel BCAD∥BC と CD∥ABCD\parallel ABCD∥AB が得られる。E,D,FE,D,FE,D,F は一直線上にあるので、三角形 AEDAEDAED と CDFCDFCDF は相似である。よって AE/CD=AD/CFAE/CD=AD/CFAE/CD=AD/CF であり、ADADAD と CDCDCD を ACACAC に置き換えると AE/AC=AC/CFAE/AC=AC/CFAE/AC=AC/CF を得る。