Предположим, что это число рациональное и его можно представить в виде обыкновенной несократимой дроби
Значит и
![\sqrt{5} \sqrt{5}](https://tex.z-dn.net/?f=+%5Csqrt%7B5%7D+)
рациональное число, также представим его в виде обыкновенной несократимой дроби
Значит р^2 делится на 5, соответственно р делится на 5, значит можно обозначить р=2r
Аналогично получаем, что q делится на 5, но по предположению все дробь была нескоратимой. Значит, все наши предположений неверны и
![\sqrt{3} - \sqrt{15} \sqrt{3} - \sqrt{15}](https://tex.z-dn.net/?f=+%5Csqrt%7B3%7D+-+%5Csqrt%7B15%7D+)
- иррациональной число