Поиграем в математику
2025-09-11 22:15![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
vakТеорема: крокодил больше длинный чем широкий.
Введём две дополнительные леммы.
Лемма 1: крокодил больше длинный чем зелёный.
Лемма 2: крокодил больше зелёный чем широкий.
Докажем первую лемму. Крокодил длинный и сверху и снизу, а зелёный только сверху. Следовательно, он больше длинный чем зелёный. Лемма доказана.
Докажем вторую лемму. Крокодил зелёный и вдоль и поперёк, а широкий только поперёк. Следовательно, он больше зелёный чем широкий. Лемма доказана.
Основное доказательство. Согласно лемме 1, крокодил больше длинный чем зелёный, а согласно лемме 2, он больше зелёный чем широкий. Следовательно, крокодил больше длинный чем широкий. Теорема доказана.
Введём две дополнительные леммы.
Лемма 1: крокодил больше длинный чем зелёный.
Лемма 2: крокодил больше зелёный чем широкий.
Докажем первую лемму. Крокодил длинный и сверху и снизу, а зелёный только сверху. Следовательно, он больше длинный чем зелёный. Лемма доказана.
Докажем вторую лемму. Крокодил зелёный и вдоль и поперёк, а широкий только поперёк. Следовательно, он больше зелёный чем широкий. Лемма доказана.
Основное доказательство. Согласно лемме 1, крокодил больше длинный чем зелёный, а согласно лемме 2, он больше зелёный чем широкий. Следовательно, крокодил больше длинный чем широкий. Теорема доказана.
no subject
Date: 2025-09-12 06:18 (UTC)no subject
Date: 2025-09-12 06:22 (UTC)no subject
Date: 2025-09-12 06:36 (UTC)no subject
Date: 2025-09-12 07:23 (UTC)no subject
Date: 2025-09-12 08:31 (UTC)no subject
Date: 2025-09-12 08:38 (UTC)no subject
Date: 2025-09-12 09:58 (UTC)no subject
Date: 2025-09-12 10:03 (UTC)no subject
Date: 2025-09-12 14:48 (UTC)no subject
Date: 2025-09-12 15:37 (UTC)no subject
Date: 2025-09-12 16:28 (UTC)no subject
Date: 2025-09-12 21:07 (UTC)z> : a -> succ a > z
s> : a -> b -> a > b -> succ a > succ b
t : a > b -> b > c -> a > c
t (z> a) ()
t (s> a b _) (z> .b) = z> a
t (s> a b a>b) (s> .b c b>c) = s> a c (t a>b b>c)
no subject
Date: 2025-09-12 23:04 (UTC)no subject
Date: 2025-09-13 02:08 (UTC)Крокодил не очень--то зеленый, ни вдоль, ни поперек: https://fizzik.dreamwidth.org/393246.html
no subject
Date: 2025-09-13 05:04 (UTC)no subject
Date: 2025-09-13 05:41 (UTC)no subject
Date: 2025-09-13 10:36 (UTC)no subject
Date: 2025-09-13 17:47 (UTC)no subject
Date: 2025-09-13 17:52 (UTC)