I admit that I will do it in a completely different way. I would probably use a pair sequence of Lucas and Fibonacci numbers, as well as simple formulas
F (n + a) = (F (a) * L (n) + L (a) * F (n)) / 2
L (n + a) = (5 * F (a) * F (n) + L (a) * L (n)) / 2
Please note that only the third Fibonacci number is even. Since F (3) = 2 and L (3) = 4, we obtain
F (n + 3) = L (n) + 2 * F (n)
L (n + 3) = 5 * F (n) + 2 * L (n)
Now just summarize the terms.
(edit: there is an even simpler solution to this question, which relies on some mathematical complexity to obtain either some knowledge of the Fibonacci sequence and identities for this sequence or, possibly, searching the encyclopedia of integer sequences., moreover, this hint seems unacceptable for the PE problem , so I will leave this decision in the margins of this note. Thus, the sum of the first k even Fibonacci numbers ...)
user85109
source share