D
Та я понял
Size: a a a
2020 September 24
X
доказательство методом констатации
в смысле? я получил выражение теоремы синусов
D
это банальная альтернативная форма числа (cos(4pi/9) == sin(pi/18) )
Окай
V🇺
в смысле? я получил выражение теоремы синусов
это я так
X
V🇺
а если входные данные поварьировать, там ведь наверняка иррациональные результаты будут?
D
Что-то я сомневаюсь
D
Откуда там иррациональным взяться-то
GG
Кванте?
Да, но так чуть другие углы, не знаю сработает ли оно здесь, по идее да
V🇺
Откуда там иррациональным взяться-то
а откуда взяться нелинейной зависимости?
2020 September 25
X
Хоть одна система компьютерной алгебры может упростить так, чтобы это стало очевидным?
X
Руками не смог.
V🇺
тут ведь наверняка есть элементарное геометрическое доказательство, да?
X
угу. На рисунке выше.
V🇺
а, блин, ты все еще ее ковыряешь?
X
да я уже всё решил
X
но заинтересовался вопросом соответствия промежуточных выражений
EZ
Ну там возведи в квадрат, выпиши экспоненты, поебись