◆ わからない問題はここに書いてね 257 ◆
■ このスレッドは過去ログ倉庫に格納されています
0695132人目の素数さん
2009/05/29(金) 16:19:30⇒
∀y∈K, ∀x∈K, y*(x+0)=y*x
y*(x+0)=y*x ⇒ y*x+y*0=y*x ⇒ y*0+y*x=y*x
⇒ (y*0+y*x)+(-(y*x))=y*x+(-(y*x))
⇒ y*0+(y*x+(-(y*x)))=y*x+(-(y*x))
⇒ y*0+0=0
⇒ y*0=0
よって
∀y∈K, y*0=0
■ このスレッドは過去ログ倉庫に格納されています