一个三角形的三条边上各取一点，这三点构成的三角形叫做原三角形的内接三角形。△ABC中，∠A=∠B=30°，AC=4，△DEF是△ABC的内接三角形．