Le triangle AEI est rectangle en E et ses cotés sont  4 et 4rac(2)/2 (demi diagonale d'une face)

donc AI²=16(1+2/4)=24 et racine(24)=racine(4*6)=2rac(6) CQFD