Поверхность вращения образована соединением цилиндра и
полусферы радиусом R=60 мм. Ось цилиндра перпендикулярна
плоскости Н. Центр полусферы расположен на оси цилиндра и задан
координатами точки 0 (75; 80; 60). Поверхность пересекают прямая AB
и плоскость Р.
Прямая задана координатами точек А (100; 145; 0) и В (35; 70; 105).
Плоскость Р перпендикулярна прямой AB и пересекает её в точке С,
удалённой от точки В на расстояние 70 мм.

Определить:
1) истинную длину прямой AB и угол наклона её к плоскости
проекций Н;
2) расстояние от точки В до сферической поверхности.

Построить:
1) проекции точки пересечения поверхности и прямой AB;
2) проекции линии пересечения поверхности плоскостью Ри
натуральную величину фигуры сечения с указанием точки пересечения
плоскости Ри прямой AB.​

Дима = 3
Боря + Дима = Гриша + Андрей
Боря + Гриша < Дима + Андрей
Андрей < Гриши
Если Андрей поймал 2 рыбы, а Гриша 3, то
Боря + 3 = 2 + 3 = 5, тогда Боря = 2.
Но тогда Боря + Гриша = Дима + Андрей = 2+3 = 5
Если Андрей = 2, Гриша = 4 или больше, то
Боря +3 = 2 +4 = 6 или больше, Боря = 3 или больше.
Тогда Боря + Гриша > Дима + Андрей, не подходит.
Единственное подходящее решение:
Андрей = 1, Гриша = 2, Боря = 0. Тогда:
Боря + Дима = 0+3 = 3; Андрей + Гриша = 1+2 = 3; 3 = 3.
Боря + Гриша = 2, Андрей + Дима = 4; 2 < 4.
ответ: Гриша поймал 2 рыбы.

+ объединение
* пересечение
| дополнение

во всех трех пересечениях участвует объединение А+В, обозначим его Х
Тогда:
Х*(Х+С)*(Х+|С)
пересечение дистрибутивна к объединению (раскрываем скобки)
Х*(Х*(Х+|С)+С*(Х+|С))
и еще раз
Х*(Х*Х+Х*|С+С*Х+С*|С)
и последний раз
Х*Х*Х+Х*Х*|C+Х*С*Х+Х*С*|С
Пересечение коммутативно (К*М=М*К)
Х*Х*Х+Х*Х*|C+Х*Х*С+Х*С*|С
Пересечение иденпотентно ( К*К=К )
Х+Х*|С+Х*С+Х*С*|С
пересечение дистрибутивна к объединению (теперь выносим за скобки)
Х+Х*(С+|С)+Х*С*|С
по определению дополнения ( К+|К=Ω К*|К=∅)
Х+Х*Ω+Х*∅
свойства пересечения ( со всем - само, с пустым - пусто)
Х+Х+∅
Объединение индепотентно (К+К=К) и Объединение с пустым само
Х+∅=Х
вернем нашу замену назад:
А+В

Таким образом показали, что:
(A+B)(A+B+C)(A+B+|C)=А+В