Давайте начнем с того, что абсолютно любая наука имеет свой базис, аксиоматику - набор утверждений, который в рамках данной теории принимается на веру и на который опираются при доказательстве остальных утверждений. К примеру, в арифметике нельзя делить на ноль. Но это всего лишь аксиома, которую мы принимаем на веру и в рамках арифметики считаем её справедливой, т.к. арифметика не оперирует понятием "бесконечность".
На деле вообще не встретишь двух идеально одинаковых треугольников
На каком "деле"? Начертите сотню треугольников с одинаковыми углами и длинами сторон и эти треугольники будут одинаковыми.
То, что отрезок конечен вообще следует из его определения и доказывать здесь нечего.
Площадь круга считают с необходимой для конкретной задачи точностью. Никто не мешает Вам взять сотню знаков после запятой числа Пи для вычислений и получить высокую точность вычислений.
И, помимо геометрии Евклида, есть ещё геометрия Лобачевского, пространство Минковского и т.д.
Ваши доводы - всего лишь Ваши фантазии на счёт геометрии.