Earlier quoted context omitted.
It's only as bad as memorizing the usual quadratic formula. While most people are taught the derivation of the quadratic formula, few remember it, opting instead to memorize it. Likewise, you've just derived the b^2/4 aspect. Most people don't want to rederive it every time they solve it, so they just memorize that they should add and subtract b^2/4 and complete the square. BTW, if the notion of adding and subtractin…
> BTW, if the notion of adding and subtracting the same amount bothers you: Yes, this is done all the time. I'm a mathematician. I'm not ignorant; I have taste. I've seen a similar technique used two prove the product rule in analysis. I always find ways of avoiding such tricks because I see them as Deus Ex Machina s. I don't think of mathematics as an exercise in ill-motivated tricks.
Just to expand on this thought... in logic, "cut elimination" is a desirable property to have in a logical system. The "cut" rule states that, if you've proved "A -> B" (A implies B) and "B -> C", then you're licensed to deduce "A -> C". But in the statement "A -> C", B doesn't ever have to appear on its own, so if you're working backward, the "B" that splits the problem into two pieces can appear deeply unmotivated and appear out of nowhere.
A deductive system with the "cut elimination" property means that, whenever you have a proof that uses "cut", there's always a way to transform the proof into one that doesn't use "cut". Put less precisely, there's always a proof that doesn't use any unmotivated variables. (In computer science terms, "cut" is like implementing a function in terms of an existing function; you can always inline the original and then simplify the resulting code.)
"Cut elimination" is desirable because it makes automatic reasoning tractable. If you want to prove "A -> C", rather than trying to discover some arbitrary "B" that produces more tractable goals "A -> B" and "B -> C", there are (usually) only finitely many deductive steps that could terminate in "A -> C", and you can simply try each one.
Although humans aren't machines, creativity is still difficult in fields we're not accustomed to. While adding and subtracting a term formally doesn't change the result, there are infinitely many choices of term that produce this result. Why that one? It's entirely unmotivated; it clearly works, but there's no obvious way you could have plucked that particular term out of thin air yourself.
> The process I follow is more like I observe that for general k:
Your derivation is awesome! Rather than deducing forward from the raw materials (the given quadratic), you deduce backward from the goal. This lets you leverage known information to pick values that get you visibly closer to the starting point, term by term.
In the classic case, the goal here is to "complete the square", which is still of the unmotivated "cut" flavor -- it's not clear to the unskilled eye why that ought to be helpful.
I don't think the article's approach is any better motivated in that respect; we still have to introduce the idea that all quadratics can be factored into two first-order terms. This is not a trivial theorem, and it assumes access to the entire complex field (otherwise it's simply untrue in general).
But I think both approaches are valuable, as reliant on some "unmotivated" magic as they are. They all lend some insight into what's going on. Minimizing those moments is definitely beneficial though.