すべての面が合同な三角形からなる四面体ABCDがあり、三角形の各辺の長さは7,8,9である。