Лора
Предположение и предположение не могут использоваться для обоснования этапов доказательства. Гипотеза основана только на предсказании. Поскольку это только прогнозы, их точность не может быть гарантирована. Догадку нельзя использовать, потому что это именно то, что она говорит; предположение, и еще раз, может или не может быть правдой.
Постулаты принимаются без доказательств, поскольку это правило, поэтому они, без сомнения, считаются доказательством. Их цель - объяснить термины и послужить отправной точкой для доказательства других утверждений. Ниже приведены различные виды постулатов: постулат «
точка-линия-плоскость»; Предположение об уникальной линии: любые две точки составляют ровно одну линию.
Допущение размера: если линия является плоскостью, точка на плоскости не находится на линии, а плоскость в пространстве - это линия в пространстве, а не на плоскости. Допущение числовой линии: каждая линия имеет набор точек, которым можно сопоставить числа, причем любая точка соответствует нулю, а любая другая точка соответствует единице. Предположение о расстоянии: между двумя точками существует уникальное расстояние. Две точки, лежащие на плоскости, и линия, содержащая их, также лежит на плоскости.
Постулаты Евклида: две точки определяют линию. Отрезок можно продолжить вдоль линии. Круг можно нарисовать с центром любого радиуса. Все прямые углы совпадают.
Постулаты многоугольного неравенства:
Постулат о неравенстве треугольника: сумма длин двух сторон треугольника больше, чем длина третьей стороны треугольника.
Постулат Четырехугольного Неравенства: Общая длина трех сторон любого четырехугольника больше, чем длина четвертой стороны.
Теорема - это доказанная теория (отсюда и теорема), и она имеет поддержку, подтверждающую ее.
Первая теорема Евклида, теорема о пересечении прямых: две разные прямые пересекаются не более чем в одной точке.
Теорема о промежуточности: если C находится между A и B и на AB, то AC + CB = AB.
Теорема Пифагора: A2 + b2 = c2, если c - гипотенуза.
Теорема о прямом угле сравнения: все прямые углы конгруэнтны.
Hermina
Ни гипотеза (C), ни предположение (D) не будут частью убедительного доказательства. Теорема (B) будет полезна только в том случае, если ранее была доказана ее истинность.