Все разделы математики, в том числе геометрия, работают с идеализированными объектами. К реальным физическим объектам математические выкладки применимы лишь с определенной погрешностью. Если погрешность позволяет решить реальную физическую задачу и получить результат, значит все в порядке. И неидеальность этого решения никого не волнует - мы ведь в реальном мире живем, а не в идеальном.
Отрез ткани измеряют портновским метром и это нормально. Погрешность такой линейки +/- 5 см. Но никакой проблемы тут нет, потому что для этой задачи больше и не надо.
А расстояния, к примеру, в сложных оптических системах измеряют лазером. И там погрешность может составлять уже нанометры. Потому что практическая задача другая, и требования к точности тоже. И это тоже нормально.
Например, я обязан доказывать какие-либо теоремы, а некоторые теоремы просто захотели и назвали аксиомами, и никто их не обязан доказывать
Аксиома - это утверждение, принимаемое без доказательств. Теорема - это доказанное утверждение. Назвать теорему аксиомой, просто захотев, не получится.
Суть ведь не в том, чтобы кто-то мучился, доказывая теоремы. Суть в том, чтобы на основе минимальной аксиоматической базы вывести все остальное. Чем меньше аксиом - тем лучше. Если аксиому можно вывести из других аксиом, значит она не аксиома. По определению.
Однако в рамках разных систем аксиомы могут быть разными. В рамках Евклидовой геометрии они такие. В рамках иных геометрий - другие. Можете попробовать вывести свою геометрию, введя собственную аксиоматику. У Лобачевского когда-то получилось. А есть еще Тарский, например.
почему я не обязан доказывать, что треугольник является именно треугольником?
Потому что треугольник определяется как фигура, образованная пересечением трех прямых и имеющая три угла и лежащая внутри границ, образованных этими прямыми. Это не аксиома, а определение, основанное на предыдущих определениях, а те, в свою очередь - на предыдущих.
Почему не нужно доказывать, что прямая никогда не заканчивается или то, что отрезок конечен?
В аксиоматике Евклида - не нужно. Потому что это определения. Т.е. мы договорились прямой называть линию, имеющую длину, но не ширину. А отрезком договорились считать линию, на концах которой точки. В других аксиоматиках может быть по-другому.
И геометрия тут вообще ни при чем. В алгебре точно так же есть и аксиомы, и определения. Как вообще Вы планируете что-то формулировать, не введя сперва базовых определений? Почему бы Вам не доказать, что аксиома - это именно аксиома, если уж на то пошло? Или что математика - это именно математика?
а площадь круга вообще считается примерно
Площадь круга считается точно. S=Pi*r^2.
Хоть я и обожаю математику, но именно геометрия меня очень сильно напрягает, ведь на деле в этой науке все очень примерно
Геометрия ничуть не менее точна, чем алгебра или анализ. Другое дело, что Вы путаете точность теоретических выкладок с практической точностью. Последняя бывает разная и зависит от конкретных инженерных задач.