Какие исторические методы использовались для доказательства иррациональности корня из 3?

Некоторые исторические методы, которые использовались для доказательства иррациональности корня из 3:

• Доказательство от противного. oftob.com Допустим, что корень из 3 — рациональное число, то есть представляется в виде несократимой дроби m/n, где m и n — целые числа. oftob.com Возведём предполагаемое равенство в квадрат. oftob.com Отсюда следует, что m² кратно 3, значит, и m кратно 3. oftob.com Это противоречит несократимости дроби, значит, исходное предположение было неверным, и корень из 3 — иррациональное число. oftob.com
• Доказательство через полином второй степени. vk.com Корни полинома второй степени вида x² — 3=0 — иррациональные числа. vk.com