別解2の説明

△ABCと△DEFが相似になるので▲の角は等しい。
これが解説になる。