On the sides of a triangle ABC right angled at A three points D,E and F (respectively BC,AC
and AB) are chosen so that the quadrilateral AFDE is a square. If x is the length of the side of the square, show that
x1=AB1+AC1 geometryangle bisectorsimilar trianglesgeometry proposed