Ta có EK^3+FK^3+3AB*DE*DF = (EK+FK)(EK^2-EK*FK+FK^2)+3....
=(EF)((EK+FK)^2-2EK*FK-EK*FK)+3....
=(EF)(EF^2-3EK*FK)+3....
=(EF)(EF^2-3DK^2)+3...
=EF^3-3DK^2*EF+3AB*DE*DF
Ta có AB=DK(DBKA là hcn)
DK*EF=DF*DE(HTL)
=>DK^2*EF=DF*DE*DK
Thay vào được
EF^3-3DK^2*EF+3DK^2*EF
=EF^3
=>EF^3=EK^3+FK^3+3AB*DE*DF