## Need help with a proof on divisors.

Ok, the proof to be done is pretty simple:
Prove that a number is a square only when the number of positive divisors is odd.

I pretty sure I know the answer, I'm just not sure how to go about writing it out...

If c is the number then you can write:
c=ab.
a and b are divisors of c. If a doesn't equal b then you have two different divisors. If a=b, then c=ab can be rewritten as c=a^2, and you only have one divisor. Because of this any number that can be written as a square of another number has an odd number of divisors -- all the pairs of factors that equal the number plus the 1 divisor that is squared to make the number.

I guess I just need to know how to write this out better, and how to make sure I haven't assumed to much as given/proven at the outset.
Thanks,
-GM-

 PhysOrg.com science news on PhysOrg.com >> Hong Kong launches first electric taxis>> Morocco to harness the wind in energy hunt>> Galaxy's Ring of Fire
 Recognitions: Homework Help Science Advisor That's pretty much it, you've got the essential idea of pairing divisors c=ab with a,b distinct, which leaves out the oddball $$\sqrt{c}$$ out. You could try organizing the divisors c=ab with the assumption that a<=b, but this isn't necessarily any better. For an alternate way, you could look at the prime factorization of c and count the divisors that way. (this isn't a 'better' way, but gives a different point of view to consider if you run across other divisor problems)
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}