まって、すごい事気づいたかも

**１３２人目の素数さん** · 2019/12/14(土) 06:39:10.57

微分の微のなかにパイπが含まれている

**１３２人目の素数さん** · 2019/12/14(土) 08:36:13.38

未読として閉じる

**１３２人目の素数さん** · 2019/12/15(日) 06:29:31.43

悲しきスレ

**１３２人目の素数さん** · 2019/12/19(木) 04:02:58.94

小学生かな？

**１３２人目の素数さん** · 2019/12/20(金) 02:08:23.41

0830
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です！
https://twitter.com/huwa_cororon/status/1199593474128896000
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2019/12/22(日) 19:43:04.78

大発見ですな

**１３２人目の素数さん** · 2019/12/22(日) 20:55:42.27

ドヤ顔()でスレ立てたイッチの姿が見える

**１３２人目の素数さん** · 2019/12/23(月) 05:28:46.96

私の名言
俺にとってどうでもいい人が言ったどうでもいいことはどうでもいい

たむ · 2019/12/24(火) 22:07:31.58

たたむたむとむ

**１３２人目の素数さん** · 2019/12/24(火) 22:23:32.93

【問】連続する２つの自然数の立方の和が平方数になる場合をすべて求めよ。

【まって、気がついたすごいこと】

0^3 + 1^3 = 1^2
1^3 + 2^3 = 3^2

みっ……みつからない………これ以上は…………量子計算機に実装されたＡＩが自ら証明支援系のサブシステムを開発する時まで封印しておくべきかと【気がつきました】

S[n]=n^3+(n+1)^3
とする。
S[1]=1^3+2^3=3^2
は自明。

自然数nについて n＞1 のときに
S[n] が平方数であるような n を探すことが課題。

一般にn＞1 のときに S[n] は、1から(n+1)までの立方数の総和と1から(n-1)までの立方数の総和との差に等しい。

公式により1から正の整数kまでの立方数の総和は
(k(k+1)/2)^2
なので
S[n]については以下が成り立つ。

S[n]=((n+1)(n+2)/2)^2 - ((n-1)n)/2)^2

S[n]についてその正の平方根をT[n]とする。

S[n]=(T[n])^2

また、U[n]、V[n]を以下のように定義する。

U[n]=(n-1)n/2
V[n]=(n+1)(n+2)/2

∴ (V[n])^2=(T[n])^2+(U[n])^2

であるから、T[n]が正の整数ならば、(T[n],U[n],V[n])は、ピタゴラスの三つ組数である。

故にT[n]*U[n]*V[n]は 60 の倍数である。

∴ T[n]は整数ではない

【糸色望】

**１３２人目の素数さん** · 2019/12/24(火) 23:52:54.46

問。
６枚の小切手がある。
うち３枚は額面が１万円である。
これらの小切手から何枚かを選べば１万円から６３万円までの１万円単位での支払い全てに対応できるという。
（お釣りをもらうわけではない。）
６枚の小切手の各々の額面を答えよ。

答１。
全ての小切手を相手に渡し「釣りはチップだ、受け取りたまえ」と言う。
答２。
チップを受け取ってもらえないときには、以下のような額面でオーケーとなる。

続きはウェブで。

**１３２人目の素数さん** · 2019/12/25(水) 18:11:10.36

いや漢字の話かよ

**１３２人目の素数さん** · 2019/12/26(木) 23:25:57.86

x,y,zは整数とする。

x>0,y>0,z>0,
x+y+z>6,
3^x+4^y=5^z

を満たす解は無い。

って命題の証明を先程読んだところです。

**１３２人目の素数さん** · 2020/01/16(木) 06:00:33.27

すげえ

**１３２人目の素数さん** · 2020/01/17(金) 12:02:19.74

晒しage

**１３２人目の素数さん** · 2020/01/28(火) 18:14:48.76

>>1は美少女小学生

**１３２人目の素数さん** · 2020/09/22(火) 10:20:20.22

ペアノの公理を知って、例えばリンゴとみかんの足し算を考えると、もしかしたら足し算って型と言うか、グループ？を
変換して加える演算なんじゃないかと思った。

Haskellで書くとこう。

data Nat = Zero | Succ Nat (自然数は、ゼロか自然数の後ろの数である)

これをリンゴかみかんの数のグループをAppleとOrangeからAONat、リンゴの数のグループをANat、みかんの数のグループをONatとする。

+演算子の定義は省くけど、適切に定義すれば(+):: a -> b -> aと言う型の演算子として定義出来る。

AOZero + ASucc AZero + OSucc OZero (0+ 1 + 1)
= AOSucc (AOSucc AOZero) (リンゴかみかんの数のグループの2)

となる。
人間は無意識に同じ型にしてるけど、概念的にはリンゴの1とみかんの1は型(グループ？)が違うのでは無いか？

リンゴの数 + みかんの数 = リンゴとみかんの数
1 + 1 = 2

ではなく隠れた0を足して、

(リンゴとみかんの数 + リンゴの数) + みかんの数 = リンゴとみかんの数

(0 + 1) + 1 = 2

なんじゃないかと。

**１３２人目の素数さん** · 2021/06/13(日) 21:42:44.75

>>1
ノブンにXも入ってる。