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 now man this sucks i understand some of that but not all wow 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 really thats 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 cardinality er not f(x) = x+2 well you know what i mean |

hefty | i know that dx/dt = 0 what 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 |