## #math - Tue 20 Feb 2007 between 02:00 and 11:22

### NY Lost Funds

 StaZ[home] TRWBW huh sorry r = a - qb i meant sorry vbabiy hey guys how can i figure out a lines angel TRWBW StaZ[home]: try this. the statment "a=b (mod c)" is exactly, *exactly*, equivalent to saying a-b=c*k for some integer k koro TRWBW: I would understand what you're saying if you mentioned what exactly you want to prove using AC. hefty wolfbone thats really what i dont understand TRWBW koro: |Sx{0,1}|=|S| for S s.t. there is an injection f:Z->S hefty wolfbone i think i started out wrong StaZ[home] TRWBW okay.... i'll huh try to check my problem considering that thanks wolfbone hefty, using primes for d/dt: x' = 0 = r'cos(theta) - rsin(theta)d(theta)/dt hefty ok im super lost nowman this sucksi understand some of that but not allwow am i horrible wolfbone hefty, you understand x=rcos(theta), how to diff. both sides wrt to time and the fact that dx/dt = 0? hefty not reallythats what im stuck on' koro TRWBW: you well order S and then define f(x) = x+2 for x in S, and then show that f(S) and S-f(S) have the same cardinalityernot f(x) = x+2well you know what i mean hefty i know that dx/dt = 0what do you mean by rcos too? TRWBW koro: i meant how to turn it into choosing members of a set. AC and such. are you suggesting i learn the well ordering stuff first and then use that? t35t0r % Solve[0 + 2 + 4 + 6 + ... + (n ? 5) + (n ? 3) + (n - 1)] koro TRWBW: You can do as you prefer. mbot t35t0r:ToExpression::sntx: Syntax error in or before "Solve[0 + 2 + 4 + 6 + ... + (n ? 5) + (n ? 3) + (n - 1)]".^\$Failed TRWBW koro: i don't have a prefence. i was asking, from the AC, how do you get to what you said. and i'm not being sarcastic, i'm asking how you go from the AC to proving practical things. wolfbone hefty, x=r*cos(theta), r^2 = x^2+y^2 hefty oh me22 t35t0r : you can do that in your head. hefty ok koro I am telling you how. In this particular case, a nice way is proving the well-ordering principle and then using it. hefty wolfbone now i see what you meant by that HugLeo How I find y? Jafet it's somewhat arbitrary, isn't it? whale_ My family is mainly melon-headed, although it isn;t something I like to brag about ;) clausen possibly