数学の「定理」と「公式」ってなんか違うんか？

**風吹けば名無し** · 2022/08/15(月) 19:15:22.69

この場合はこっちにせなあかんとかある？

**風吹けば名無し** · 2022/08/15(月) 19:15:35.70

かわらん

**風吹けば名無し** · 2022/08/15(月) 19:16:30.11

証明ができてるかできてないか

**風吹けば名無し** · 2022/08/15(月) 19:16:33.35

自然とそうなってるものが定理やろ
公式は複雑な式を簡素に仕上げたもの

**風吹けば名無し** · 2022/08/15(月) 19:16:47.12

>>3
それは予想やろがい

**風吹けば名無し** · 2022/08/15(月) 19:16:59.64

定理は大前提で公式は定理を使って求めた物？

**風吹けば名無し** · 2022/08/15(月) 19:17:53.29

>>4
いや定理って全然自明じゃないのもいっぱいあるやろ

**風吹けば名無し** · 2022/08/15(月) 19:19:39.36

公式は方法でその根拠が定理みたいな

**風吹けば名無し** · 2022/08/15(月) 19:20:47.37

ウィキ見てきたら公式は数式で表される定理って書いてあったで

**風吹けば名無し** · 2022/08/15(月) 19:21:25.63

公式：左辺を右辺の文字式で説明する等式。左辺を求めるための計算式。恒等式によって表される定理。定理：数学的な事実、主張のこと

https://math-fun.net/20201226/8019/#:~:text=%E5%85%AC%E5%BC%8F%EF%BC%9A%E5%B7%A6%E8%BE%BA%E3%82%92%E5%8F%B3%E8%BE%BA%E3%81%AE,%E3%81%AA%E4%BA%8B%E5%AE%9F%E3%80%81%E4%B8%BB%E5%BC%B5%E3%81%AE%E3%81%93%E3%81%A8%E3%80%82

**風吹けば名無し** · 2022/08/15(月) 19:22:05.83

式が必須か否か

**風吹けば名無し** · 2022/08/15(月) 19:22:12.15

>>9
なるほど

**風吹けば名無し** · 2022/08/15(月) 19:24:57.17

アルキメデスの定理

**風吹けば名無し** · 2022/08/15(月) 19:25:04.20

ピタゴラスの定理は式で表されないんか？