Stuck on this hard geometry problem.
ABCD is a square. Angle AFD = 70, angle FAE = 45. Find angle AEF.
Let the side of the square be 4 inits.
DF = tan(20º) * 4 = 1.455880937
FC = 4 - DF = 2.544119063
BE = tan(25º) * 4 = 1.865230633
EC = 4 - BE = 2.134769367
tan(∠FEC) = FC / EC ∠FEC = 50º
∠X = 180º - (65º + 50º) = 65º