Формально, для графа {\displaystyle G=(V,E)}G=(V,E) и {\displaystyle K={\mathcal {P}}(V^{2})}{\displaystyle K={\mathcal {P}}(V^{2})} — множества всех двухэлементных подмножеств его вершин, дополнение {\displaystyle G'}G' определяется как пара {\displaystyle (V,K\setminus E)}{\displaystyle (V,K\setminus E)} — граф, с исходным набором вершин, и с набором ребёр, полученным из полного графа удалением имевшихся в заданном графе.
Дополнение пустого графа является полным графом, и наоборот. Независимое множество графа является кликой в дополнении графа, и наоборот. Дополнение любого графа без треугольников не содержит клешней.
Обозначим концы средней линии треугольника ABC, параллельной стороне AB, за MN. При этом M - середина стороны AC, а N - середина стороны BC. Длина средней линии треугольника равна половине длины стороны треугольника, которой параллельна эта средняя линия. Т.к. MN || AB, то |MN|=1/2|AB|.
AB²=(1-(-1))²+(0-2)²+(4-3)²=4+4+1=9=3²
Значит, длина стороны AB равна 3, а длина средней линии MN равна 3/2=1,5.
Это простое решение, в котором не нужны даже координаты точки C. Можно решать сложно, определяя координаты точке M и N и вычисляя затем длину отрезка MN по координатам:
Координаты середины отрезка равны полусумме соответствующих координат концов отрезка. Точка M (середина AC): x=(-1+3)/2=1 y=(2+(-2))/2=0 z=(3+1)/2=2
M(1;0;2)
Точка N (середина BC): x=(1+3)/2=2 y=(0+(-2))/2=-1 z=(4+1)/2=5/2
Формально, для графа {\displaystyle G=(V,E)}G=(V,E) и {\displaystyle K={\mathcal {P}}(V^{2})}{\displaystyle K={\mathcal {P}}(V^{2})} — множества всех двухэлементных подмножеств его вершин, дополнение {\displaystyle G'}G' определяется как пара {\displaystyle (V,K\setminus E)}{\displaystyle (V,K\setminus E)} — граф, с исходным набором вершин, и с набором ребёр, полученным из полного графа удалением имевшихся в заданном графе.
Дополнение пустого графа является полным графом, и наоборот. Независимое множество графа является кликой в дополнении графа, и наоборот. Дополнение любого графа без треугольников не содержит клешней.