А какое у Вас образование,если не секрет?
У меня высшее с аспирантурой (к. ф.-м. н.). Дело не в этом, просто вдруг вы буквально школьник 7-8 класса, с модулями примерно там возятся.
Давайте я для примера напишу, как обычно доказывают
![$|a|\, |b| = |a b|$ $|a|\, |b| = |a b|$](https://dxdy-01.korotkov.co.uk/f/0/0/f/00f7d8f7f2ec4fed1c53111d82ef542982.png)
. По определение,
![$|x| = x$ $|x| = x$](https://dxdy-01.korotkov.co.uk/f/c/8/0/c80c065041334a61e6d12f86bab7aa1c82.png)
при
![$x \geq 0$ $x \geq 0$](https://dxdy-02.korotkov.co.uk/f/9/2/1/92106cc04e070ebc1780e6da06cd51b682.png)
и
![$|x| = -x$ $|x| = -x$](https://dxdy-04.korotkov.co.uk/f/b/6/a/b6ac4ddfd699ff1e9247055f1980f44d82.png)
при
![$x \leq 0$ $x \leq 0$](https://dxdy-01.korotkov.co.uk/f/4/f/f/4ffda6d041407624a670ed82e95de8c882.png)
(эти случаи пересекаются, конечно, но там определение согласовано — согласно любой формуле будет 0). Разберём случаи:
1.
![$a, b \geq 0$ $a, b \geq 0$](https://dxdy-02.korotkov.co.uk/f/d/e/c/deca4066565406d0510b759e24c4e57382.png)
, тогда
![$ab \geq 0$ $ab \geq 0$](https://dxdy-01.korotkov.co.uk/f/0/3/d/03d45fbd67255f18c221d73810e800ee82.png)
и можно раскрыть все три модуля:
![$|a| = a$ $|a| = a$](https://dxdy-04.korotkov.co.uk/f/b/9/0/b90ca2b980192f246d33f0aa2ed43e8f82.png)
,
![$|b| = b$ $|b| = b$](https://dxdy-03.korotkov.co.uk/f/2/c/8/2c82e9f34f1429a0470161d4f6aa79d582.png)
,
![$|a b| = a b$ $|a b| = a b$](https://dxdy-02.korotkov.co.uk/f/9/e/3/9e3c3d0b6400acd3a232fb47c6e8107282.png)
. Равенство, очевидно, выполнено.
2.
![$a \geq 0$ $a \geq 0$](https://dxdy-02.korotkov.co.uk/f/9/c/b/9cbcad334deaf4563eddb16152f7c3b982.png)
и
![$b \leq 0$ $b \leq 0$](https://dxdy-01.korotkov.co.uk/f/8/2/9/82958245698122430817d06385030a4582.png)
, тогда
![$ab \leq 0$ $ab \leq 0$](https://dxdy-01.korotkov.co.uk/f/4/f/3/4f397372568e2b8ade656de649cf224082.png)
,
![$|a| = a$ $|a| = a$](https://dxdy-04.korotkov.co.uk/f/b/9/0/b90ca2b980192f246d33f0aa2ed43e8f82.png)
,
![$|b| = -b$ $|b| = -b$](https://dxdy-04.korotkov.co.uk/f/7/4/7/747c0eb4dda9ceb4536ef8a61061993e82.png)
,
![$|a b| = -a b$ $|a b| = -a b$](https://dxdy-04.korotkov.co.uk/f/7/5/4/75499d3c4f4d6be0c55f94311a19a82b82.png)
. Равенство опять выполнено.
3.
![$a \leq 0$ $a \leq 0$](https://dxdy-02.korotkov.co.uk/f/1/b/b/1bb062b7b5ac5e5c106a168484fc754682.png)
и
![$b \geq 0$ $b \geq 0$](https://dxdy-01.korotkov.co.uk/f/c/a/5/ca5f34e9ae6636ebd2f6cde715e126fd82.png)
, тогда
![$ab \leq 0$ $ab \leq 0$](https://dxdy-01.korotkov.co.uk/f/4/f/3/4f397372568e2b8ade656de649cf224082.png)
,
![$|a| = -a$ $|a| = -a$](https://dxdy-03.korotkov.co.uk/f/a/d/9/ad9e48b0a74b48bb2851b99749f8e5b682.png)
,
![$|b| = b$ $|b| = b$](https://dxdy-03.korotkov.co.uk/f/2/c/8/2c82e9f34f1429a0470161d4f6aa79d582.png)
,
![$|a b| = -a b$ $|a b| = -a b$](https://dxdy-04.korotkov.co.uk/f/7/5/4/75499d3c4f4d6be0c55f94311a19a82b82.png)
. Равенство опять выполнено.
4.
![$a \leq 0$ $a \leq 0$](https://dxdy-02.korotkov.co.uk/f/1/b/b/1bb062b7b5ac5e5c106a168484fc754682.png)
и
![$b \leq 0$ $b \leq 0$](https://dxdy-01.korotkov.co.uk/f/8/2/9/82958245698122430817d06385030a4582.png)
, тогда
![$ab \geq 0$ $ab \geq 0$](https://dxdy-01.korotkov.co.uk/f/0/3/d/03d45fbd67255f18c221d73810e800ee82.png)
,
![$|a| = -a$ $|a| = -a$](https://dxdy-03.korotkov.co.uk/f/a/d/9/ad9e48b0a74b48bb2851b99749f8e5b682.png)
,
![$|b| = -b$ $|b| = -b$](https://dxdy-04.korotkov.co.uk/f/7/4/7/747c0eb4dda9ceb4536ef8a61061993e82.png)
,
![$|a b| = a b$ $|a b| = a b$](https://dxdy-02.korotkov.co.uk/f/9/e/3/9e3c3d0b6400acd3a232fb47c6e8107282.png)
. Равенство опять выполнено.
И ещё надо проверить, что для любых двух чисел
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
и
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
выполнен хотя бы один из этих случаев. Действительно, число
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
удовлетворяет
![$a \geq 0$ $a \geq 0$](https://dxdy-02.korotkov.co.uk/f/9/c/b/9cbcad334deaf4563eddb16152f7c3b982.png)
или
![$a \leq 0$ $a \leq 0$](https://dxdy-02.korotkov.co.uk/f/1/b/b/1bb062b7b5ac5e5c106a168484fc754682.png)
, ну а
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
удовлетворяет
![$b \geq 0$ $b \geq 0$](https://dxdy-01.korotkov.co.uk/f/c/a/5/ca5f34e9ae6636ebd2f6cde715e126fd82.png)
или
![$b \leq 0$ $b \leq 0$](https://dxdy-01.korotkov.co.uk/f/8/2/9/82958245698122430817d06385030a4582.png)
.