What's everyone up to right now?

[c172]

Half-watching a CFL game (Lions v. Eskimos) while surfing the web.

[ignoramus]

hahahahaha .... watching a youtube clip with a bible belter saying up front: "I don't want to disprove atheism or anything,"

pissed myself laughing! (for 1.7 seconds before changing channel)

[Kernel Sohcahtoa]

I just finished a proof of the following proposition: if i=sqrt(-1) and a+bi is a complex number for which the real numbers a and b do not equal zero, then there is a complex number c+di such that (a+bi)(c+di)=1.

[paulpablo]

I just finished a proof of the following proposition: if i=sqrt(-1) and a+bi is a complex number for which the real numbers a and b do not equal zero, then there is a complex number c+di such that (a+bi)(c+di)=1.

You did all that just to come up with 1? It's a bit of an anti climbax.

[SteelCurtain]

Watching "Glow" on Netflix. Just saw Allison Brie's boobies.

[c172]

So You Think You Can Dance.

[J a c k]

My cat, Fígaro, ran off this morning. I went out looking for him right now. He does that sometimes, so I don't worry anymore. He comes back all sweet when he does. Heh. So, I went looking. Found him in a little girl's arms. She was sitting there on the sidewalk hugging him, calling him Fluffy. He no Fluffy, kid! He's Figa-fucking-ro! Felt bad, but told her, "He's miiiiiine!" Just kidding. But as soon as he saw me, I guess he felt caught red handed, because he ran back home. Poor kid. Oh well! He's miiiiine!  

[ignoramus]

You did all that just to come up with 1? It's a bit of an anti climbax.

I though only mountain women can have a climbax when reaching the summit of Mt Orgasma!

[Astreja]

About to go downstairs to see if the chocolate fudge I made earlier this evening deigned to harden. (It's the flavour of fudge I least like cooking, because I'm so worried about burning it that it usually doesn't cook long enough.) If it's still more of a liquid than a solid, I'll have to make alternate plans for band practice noms tomorrow night.

[Kernel Sohcahtoa]

I just finished a proof of the following proposition: if i=sqrt(-1) and a+bi is a complex number for which the real numbers a and b do not equal zero, then there is a complex number c+di such that (a+bi)(c+di)=1.

You did all that just to come up with 1? It's a bit of an anti climbax.

Yes.  However, IMO, most of the fun in putting a proof together is being able to ask key questions about the conclusion, so that we can form new statements going backwards, and once we get stuck in the backward process, then we can work forward from the hypothesis to formulate new statements that will eventually produce the last statement in the backward process.   For example, in this proof, one can determine that there must be a complex number w=c+di that is an inverse of the complex number z=a+bi, and we can show that it is an inverse by demonstrating that a complex number w is the reciprocal of z.  However, via the hypothesis, we need to use various properties involving complex numbers (complex number multiplication, complex equality property, and the complex conjugate property) in order to construct a complex number w that satisfies the given properties of the proposition along with satisfying the conclusion.  Hence, while I agree that the conclusion is very simple, IMO, it is interesting how all of these pieces of information are logically harmonized together into a broader logical system of understanding. 

P.S. For anyone who is interested, while I was researching various properties of complex numbers, I came across this website, which was very helpful in analyzing the proposition and writing a proof of it.