Доказательство от противного:

Предположим, дробь сократима. Это означает, что у чисел а и b есть общий простой множитель (назовем его k). Тогда число а можно представить в виде произведения mk, а число b - в виде произведения nk. Заменим а и b в дроби на эти выражения, получим:

.

Вынесем k за скобки:

Числитель и знаменатель этой дроби можно сократить на k, но это противоречит условию, в котором - несократимая дробь. Значит, наше предположение о том, что дробь сократима - неверно, т.е эта дробь является несократимой (что и требовалось доказать)