Pythagolean theorem

[Бк] , [Бй] , [^] , [Би]Pythagolean theorem / Euclidean additional line and measurement(GC World : Various Problems ,Famous Theorems)

What relationship is there in this figure?
Can you prove?

Forum of Geometric Constructor by Y.Iijima