G13 문제

풀이에서 갑자기

각AED = 각ACD + 각CDE = π/2 - 1/2각A

각ADE = π - 각AED - 각A = π/2 - 1/2각A

이렇게 각을 비교하는 과정이 좀 발상적(?)이다는 생각이 들어요

사고 과정을

변AE나 변CE를 구하면 두 삼각형의 넓이를 구할 수 있는데

변CE를 구하기는 힘들어서 변AE를 구하기로 생각했고

남은 조건인 각CDE = π/4를 활용할 방법을 찾다가

두 각의 크기를 비교해서 이등변 삼각형임을 증명하는 흐름으로 이해해야 되나요?