Доказать, что операция | (штрих Шеффера), заданная с таблицы истинности является операцией, которая одна представляет полную систему операций.

Составьте уравнение окружности проходящие через точки а (3;13) b(-7;-11) c(10;6)

x-x0)^2+(y-y0)^2=r^2 - общий вид. Подаставляем координаты трех точек:
(1-x0)^2+(2-y0)^2=r^2
x0^2+(1+y0)^2=r^2 (***)
(3+x0)^2+y0^2=r^2

приравняем левые части второго и третьего уравнений:
x0^2+(1+y0)^2=(3+x0)^2+y0^2
xo^2+1+2y0+y0^2=9+6x0+x0^2+y0^2
y0-3x0=4 (*)

теперь приравниваем первое и второе:
(1-х0)^2+(2-y0)^2=x0^2=(1+y0)^2
1-2x0+x0^2+4-4y0+y0^2=x0^2+1+2y0+y0^2
x0=2-3y0 (**)

из уравнений (*) и (**) составляем систему и решаем ее:
у0-6+9у0=4
у0=1
х0= -1

находим радиус, подставив в (***):
(-1)^2+(1+1)^2=r^2; r^2=5. Тогда уравнение окружности:
(х+1)^2+(у-1)^2=5

ответ:

раскроем выражение в уравнении

((xy+x)−3)2+((xy+y)−4)2=0

получаем квадратное уравнение

2x2y2+2x2y+x2+2xy2−14xy−6x+y2−8y+25=0

это уравнение вида

a*x^2 + b*x + c = 0

квадратное уравнение можно решить

с дискриминанта.

корни квадратного уравнения:

x1=d−−√−b2a

x2=−d−−√−b2a

где d = b^2 - 4*a*c - это дискриминант.

т.к.

a=2y2+2y+1

b=2y2−14y−6

c=y2−8y+25

, то

d = b^2 - 4 * a * c =

(-6 - 14*y + 2*y^2)^2 - 4 * (1 + 2*y + 2*y^2) * (25 + y^2 - 8*y) = (-6 - 14*y + 2*y^2)^2 - (4 + 8*y + 8*y^2)*(25 + y^2 - 8*y)

уравнение имеет два корня.

x1 = (-b + sqrt(d)) / (2*a)

x2 = (-b - sqrt(d)) / (2*a)