Is this a valid proof for the quad. form.

[protonchain]

When I was much younger (back in like middle school or freshman year in HS) I always wondered how you prove the quadratic formula, and then a couple years later I just fiddled around and came up with:

Given: ax^2 + bx + c = 0

(\alpha x + \beta)^2 + \delta = 0

(\alpha x + \beta)^2 + \delta = \alpha^2 x^2 + 2 \alpha \beta x + \beta^2 + \delta = 0

\alpha^2 x^2 + 2 \alpha \beta x + \beta^2 + \delta = ax^2 + bx + c

\alpha^2 = a

2 \alpha \beta = b

\beta^2 + \delta = c

so

\alpha = \sqrt{a}

\beta = \frac{b}{2 \sqrt{a}}

\delta = c - \frac{b^2}{4a}

(\alpha x + \beta)^2 + \delta = 0

(\alpha x + \beta)^2 = -\delta

(\alpha x + \beta) = \pm \sqrt{-\delta}

\alpha x = -\beta \pm \sqrt{-\delta}

x = \frac{-\beta \pm \sqrt{-\delta}}{\alpha}

Substituting gives

x = \frac{-\frac{b}{2 \sqrt{a}} \pm \sqrt{-(c - \frac{b^2}{4a}})}{\sqrt{a}}

x = \frac{-\frac{b}{2 \sqrt{a}} \pm \sqrt{\frac{b^2}{4a} - \frac{4ac}{4a}}}{\sqrt{a}}

x = \frac{-\frac{b}{2 \sqrt{a}} \pm \frac{\sqrt{b^2 - 4ac}}{2\sqrt{a}}}{\sqrt{a}}

x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2 \sqrt{a} \sqrt{a}}

x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2 a}

I'm sure there's a much simpler way, I just never figured it out lol.

 

[HallsofIvy]

I'm very impressed. For "starting from scratch" that's very good! My only criticism is that that is perhaps more complicated than necessary.

The standard way of deriving the quadratic formula is to use "completing the square"- which is very similar to what you did.

If ax^2+ bx+ c= 0, then x^2+ (b/a)x+ (c/a)= 0.
x^2+ (b/a)x= -c/a.
x^2+ (b/a)x+ (b^2/4a)= (b^2/4a)- c/a
(x+ (b/2a))^2= (b^2/4a)- c/a= frac{b^- 4ac}{4a^2}

Now take the square root of each side:
x+ (b/2a)= \pm\sqrt{\frac{b^2- 4ac}{4a^2}}= \pm\frac{\sqrt{b^2- 4ac}}{2a}[/itex]<br /> x= -\frac{b}{2a}\pm\frac{\sqrt{b^2- 4ac}}{2a}= \frac{-b\pm\sqrt{b^2- 4ac}}{2a}

 

[protonchain]

I see, I guess mine was a bit more involved and more um... damn what's that term. I swear my mind is slipping a bit lately.

Oh well, I'll edit it in if I figure out the word. Thank you for showing me the simpler proof involving CTS

 

[arildno]

Another one, based on the hallowed principle of knowing what you want to get, goes as follows:

ax^{2}+bx+c=0
which implies:
4a^{2}x^{2}+4axb+b^{2}+4ac=b^{2}\to(2ax+b)^{2}=b^{2}-4ac
and so on..

 

[arildno]

The following is Al-Qwarizmi's (9th century) proof in the following case:
x^{2}+bx=c

Now, the right-hand side can be regarded as the sum of the areas of a square with side x, and 4 rectangles with sides b/4 and x, respectively.
(That is, we may write: x^{2}+4\frac{b}{4}x=c)

If you arrange the rectangles along the 4 sides of the squares, you see that you get a figure that lacks 4 tiny squares of side length b/4 in order to get a square with side-length x+b/2

Thus, we add the areas of those squares to both sides of our equation, getting:
(x+\frac{b}{2})^{2}=c+4(\frac{b}{4})^{2}

We may now take the square root on both sides and solve for x.

 

[Tibarn]

It's much easier to start with the formula, put it in the form of a quadratic equation, then reverse your steps. You get a valid proof, but it doesn't give much insight into how you'd derive the quadratic formula in the first place.

 

[protonchain]

Guys I know this is off-topic but what is the name of that sort of proof that doesn't use assumptions or shortcuts and goes about it in the long way (eg. like my proof up in the OP). I cannot for the life of me remember the name of the term.

Tibarn: Well the point is to prove the quadratic formula :P. We can't just directly assume it exists right at the start now can we?

 

[Tobias Funke]

Guys I know this is off-topic but what is the name of that sort of proof that doesn't use assumptions or shortcuts and goes about it in the long way (eg. like my proof up in the OP). I cannot for the life of me remember the name of the term.

I'm not sure what you mean by no assumptions and shortcuts, but you may be thinking of "brute force".

Tibarn: Well the point is to prove the quadratic formula :P. We can't just directly assume it exists right at the start now can we?

No, but sometimes if the formula for something is simple enough, you'll figure it out and then you can work on proving it. A common example is to discover that 1+2+...+n=n(n+1)/2 and then prove it by induction. It wouldn't be so easy to do this with the quadratic formula though.

 

[protonchain]

I'm not sure what you mean by no assumptions and shortcuts, but you may be thinking of "brute force".

That was it. I can't believe I couldn't think of that. My head is all into the dark ages of the universe and cosmology and it totally shoved "brute force" into archives. Thank you!

 

[symbolipoint]

I like the discussion from Arildno (barely having read it, but a quick look suggests it has the right idea). Can a good derivation be taken as equivalent to a proof? The solution for a quadratic equation is easy to derive.

 

[HallsofIvy]

Yes, if a derivation is step by step correct, that is a proof that the formula derived is correct.