Hello guys!
I've faced a minor difficulty in proving the statement "√3 is irrational number". My arguments are the following:
Let's suppose that √3 is rational then it can be expressed as p/q, p,q∊Z which is irreducible, so √3=p/q <=> 3=p2/q2 <=> p2=3q2
And here is a problem from p2=3q2 I concluded that p=3a, a∊Z after that the proof is led to contradiction =>
p/q can be reduced by 3. The ground for my doubt is we cannot conclude from product's divisibility the divisibility of it's factors
(maybe even these factors are the same) e.g. 12 | 3*8 but 12 ∤ 3 and 12 ∤ 8.
I apologize for my English)) and appreciate any attention.