Допустим, что такое сложение существует.
Запишем сложение в виде столбика:
М Э Х Э Э Л Э
У Ч У У Т А Л
5 0 5 2 0 2 0
Для удобства пронумеруем разряды: единицы будут 1, десятки -- 2 и так далее до 7.
1. Рассмотрим 1 разряд. "Э + Л = 0".
Это возможно в 2-х случаях:
Э = Л = 0 (не подходит, так как цифры должны быть разные);
Э + Л = 10 (тогда десяток перейдёт на разряд вперёд и останется 0).
Остаётся Э + Л = 10.
2. Рассмотрим 3 разряд. "Э + Т = 0". Возможно три случая:
Э = Т = 0 (не подходит, так как цифры должны быть разные);
Э + Т = 10 (не подходит, так как тогда Т = Л (пункт 1))
Э + Т = 9 (плюс единица из переполнения)
Остаётся Э + Т = 9.
3. Рассмотрим 6 разряд. "Э + Ч = 0". Возможно три случая:
Э = Ч = 0 (не подходит, так как цифры должны быть разные);
Э + Ч = 10 (не подходит, так как тогда Ч = Л (пункт 1))
Э + Ч = 9 (не подходит, так как тогда Ч = Т (пункт 2))
Таким образом, "Э + Ч ≠ 0", а это противоречит условию.
Значит, такого решения быть не может. Что и требовалось доказать.
Первый пример.
2 3/4 - 1 5/6 = 2 * 4 + 3/4 - 1 * 6 + 5/6 = 11/4 - 11/6 = 11 * 6/4 * 6 - 11 * 4/6 * 4 = 66/24 - 44/24 = 66 - 44/24 = 22/24 = 11 * 2/12 * 2 = 11/12;
Второй пример.
4 2/5 + 3 5/6 = 4 * 5 + 2/5 + 3 * 6 + 5/6 = 22/5 + 23/6 = 22 * 6/5 * 6 + 23 * 5/6 * 5 = 132/30 + 115/30 = 132 + 115/30 = 247/30 = 7 + 8 * 30/30 = 8 7/30;
Второй пример.
7 5/12 - (1 5/8 + 2 1/ 24) = 3 3/4;
Первое действие.
1 5/8 + 2 1/24 = 1 * 8 + 5/8 + 2 * 24 + 1/24 = 13/8 + 49/24 = 13 * 24/8 * 24 + 49 * 8/24 * 8 = 312/192 + 392/192 = 312 + 392/192 = 704/192 = 11 * 64/3 * 64 = 11/3 = 2 + 3 * 3/3 = 3 2/3;
Второе действие.
7 5/12 - 3 2/3 = 7 * 12 + 5/12 - 3 * 3 + 2/3 = 89/12 - 11/3 = 89 * 3/12 * 3 - 11 * 12/3 * 12 = 267/36 - 132/36 = 267 - 132/36 = 135/36 = 15 * 9/4 * 9 = 15/4 = 3 + 3 * 4/4 = 3 3/4.
