>>90の図のDからBCにDB=DFとなる点Fをとると、三角形DEFは正三角形になる
また、三角形DFCの角を見るとDF=FC
三角形EFCはEF=FCの二等辺三角形