Так как пря­мые, про­ве­ден­ные из ос­но­ва­ния тре­уголь­ни­ка ABC, па­рал­лель­ны его сто­ро­нам, углы в тре­уголь­ни­ках AFD и BDE равны углам тре­уголь­ни­ка ABC. Тре­уголь­ни­ки по­доб­ны, со­от­вет­ствен­но, они рав­но­бед­рен­ные. Про­ти­во­по­лож­ные сто­ро­ны па­рал­ле­ло­грам­ма FCED по­пар­но равны, зна­чит,