Fibonacci meets Pythagoras

We prove an identity involving Fibonacci numbers, which can be used to generate Pythagorean triples. 00:00 Intro 02:03 Setup 02:52 Simplifying 07:01 Proof by induction 09:33 Adding a second inductive hypothesis 11:30 Proof by induction part 2 14:31 Summary