I am familiar with induction from elementary set theory. This is my first brush with Linear Algebra and this proof is first of its kind I've seen. Like you said it doesn't look very much like a typical induction proof. I am glad you mentioned Fermat's method of "infinite decent". Never heard of...