回答

この三角形の証明においては、必要です。
三角形DAFでは、角AFDが仮定から、90度なので、三角形の内角の和の関係から、その他の二つの角の和が90度であることが分かり、下の証明を進めることができるので、これが抜けていると、自分だったら減点になると思います。

この回答にコメントする
疑問は解決しましたか?