Let √23 be rational number
⇒√23=pq[p∈2,q∈2,q≠0HCFofp&q=1]
⇒(√23)2=(pq)2[sbs]
⇒23=p2q2
⇒23q2=p2
⇒p2=23q2
⇒23 is a factor of p2
⇒23 is also a factor of p.....I
Let p2=23n
⇒(p)2=(23n)2[sbs]
⇒p2=529n
⇒23q2=529n[∴p2=23q2]
⇒q2=52923
⇒q2=23n
⇒23 is a factor of q2
⇒23 is also a factor of q......II
From this, I & II equations we got 23 as a common factor of p & q.
so, one assumption is wrong
⇒√23 is not a rational number.
⇒√23 is an irrational number