Have you ever proved a theorem?

I would hope that everyone on this board has, at one point or another.

File: 1466643354398.jpg (447KB, 950x950px) Image search: [Google]

447KB, 950x950px

>>8896662

>>8896662
blini kot is blini

I proved that there is a faggot in every 4chan thread.

1. Given a thread T, there exists a set of posters.
2. The set of posters must include an original poster, OP.
3. OP is always a faggot.
4. Therefore, at least one faggot is an element of T.
QED

File: Screen Shot 2017-05-09 at 1.31.32 PM.png (433KB, 1592x1002px) Image search: [Google]

433KB, 1592x1002px

>>8896662
you reminded me of this proof that i thought of when i was first learning alg geo

>>8896662
yeah

it was proved before though

i have an entirely knot theoretic proof that third homotopy group of s2 is z though

File: 146.jpg (35KB, 475x619px) Image search: [Google]

35KB, 475x619px

>>8897043
Wanna share it with us?

>>8896778
That's barely a theorem since it's a direct consequence of the OP faggotry axiom

>>8896832
>>8896778

>2k17
>Not using formal verification

normies get out

>>8896662
I explored prime numbers and found that I could predict patterns in them if I made the numbers binary. I then extended my work to ternery and other bases and was really excited. Then I googled it to see if anyone else had had my idea, and it turned out that it was already a PhD topic. On one hand it was pretty depressing but on the other I was glad that I thought of it on my own, because I actually had quite a bit of fun working with it.

>>8896832
What the hell, I saw this proof in linear algebra. Isn't algebraically closed just that every polinomial has at least one root? It's trivial from that.

>>8898115
>algebraically closed just that every polinomial has at least one root

That sounds like a complete and sound definition.

>>8898122
Idk if you are being sarcastic, but if that's the definition then the characteristic polinomial has one root.