【数学】よく考えると危うい三角関数

高校でも大学の理工系の1年次でも三角関数sin,cosは図形的に定義され、誤魔化されることが殆ど。 数学科以外ならあまり気にならないかもしれないが、図形的な誤魔化しをなくして厳密に定義しようとすると、ややこしい状況であることを知る。 また、三角関数…

【数学】有理数と$n$ 進法の小数

《キーワード:有理数、循環小数、位数》 $r\in\mathbb{R}$ に対し、 『$r$が有理数であるためには$r$が有限小数もしくは循環小数であることが必要十分』 が成り立つ。一般に、 $n$ を正整数とするとき、 『$r$が有理数であるためには$r$は$n$進法で有限小数…

【数学・論理学】演繹定理

公理系と仮定 $P$ から命題 $Q$ の証明ができる(これを$P\vdash Q$ で表す)とき、「 $Q$ は $P$ の演繹である」「 $Q$ は $P$ から演繹可能である」という。 これについてエルブランによる次の演繹定理が成り立つ: $P\vdash Q$ ならば、 $\vdash P\rightarro…

【数学・論理学】$\lnot(P\lor Q)\vdash\lnot P\land\lnot Q$ の形式証明

ただの備忘録

【数学】$\Phi_n(x)$ の $\varphi(n)-1$ 次の係数

reisr.hatenablog.com の続きで、$G$の生成元の和を求めます。 皆の投稿 - 原始根の和が0,-1,1のいずれかになることの証明 - 数学博物館 すうじあむ のように包除原理を使って直接求めるのが上手い気がしますが、円分多項式の係数と結びつけたのでその方向で…

【数学】有限体の乗法群と円分多項式の係数

$F_q$を位数$q$の有限体とします。$F_q$の標数を$p$とすれば、ある自然数$f$に対して、 $$q=p^f$$ を満たします。 $G$を$F_q$の乗法群(乗法逆元を持つような元全体からなる群)とすると、$G$の位数は$q-1$になります。 この辺のことは代数学の教科書見れば載…

【その他】(アマチュアの)研究に役立ちそうなもの

テキストに載ってない(≒広くは知られていないもしくは知られていない)ような細かいことを知りたいときに使えそうなサイト候補 Google scholar scholar.google.co.jphttps://scholar.google.co.jp/ 論文とか検索できるGoogleの検索エンジン。数学科の大学院だ…

【技術】\[tex:とか使わずにtexコマンドで数式かけるように

フッターにhtmlという名の呪文を挿入して, texコマンドで数式書けるようにしてみた 参考にしたのは stronger.hatenablog.com 1つ留意すべきなのはそれだけではダメで, 一部を差し替えなければいけないこと www.mathjax.org お分かりだろうか? ちなみに、イ…

ピタゴラス数

ふと、 mizumiya-umi.hatenablog.comを読んで数時間考えてたら、予想が証明できてしまったので、載せます。 $a_1,a_2,b_1,b_2,c_1,c_2\in\mathbb{Z}\setminus{0}$ を $$a_1^2+b_1^2=c_1^2, a_2^2+b_2^2=c_2^2$$ を満たすものとする.ただし, $2\mid b_1,b_2$ …

【書評】数学の本

持っている本やおすすめの本について。大半は専門書というより読み物。ただし、ここにある本を完全に理解しているわけでもないので誤った説明もあるかもしれない。 フェルマーの最終定理を扱っている物語で最初に読んだのは高校生の頃。最後の方でフェルマー…

多項式のある漸化式

漸化式 はなかなか面白いかもしれません。 とすると、 を満たす多項式 が得られ、また とすると、 を根に持つ多項式 が得られます。 前者は 後者は を初項としたときに漸化式から得られる多項式とも考えられるので、を他の自然数(もしくは整数)に変えると他…

ネットで見つけた予想の部分的な証明

皆の投稿 - 原始根の和と円分多項式 - 数学博物館 すうじあむ にあった予想(@mizumiya_umiさんによる)を$p$にかなりの制限を付けて証明した。 $p$を素数とし, $p-1$ は$2q\;(q:$奇素数$)$ の形とする. $\bmod{p}$ の原始根全体を $$A=\{a_1, \cdots, a_{\var…

根の対称式

2年前にtwitterで次のように呟いた z^5-11z-5=0の解α1~α5に対し、1/(2-α1)+1/(2-α2)+…+1/(2-α5)を求めるのいい計算練習になるよ。大学受験生の— 冷 (@0_A_M_) 2016年4月20日 ※数式の部分を一応見やすく再掲: の解 に対し, これについて昨日考えたが、 当時…

【数学】線形代数

線形代数のイントロダクションというか行列の導入に関して、思い付きで書いてみた 0_A_M_.pdf - Google ドライブ

【数学】実数係数方程式のペアになっている解

実数係数次方程式などに虚数解があるとその複素共役も解になるというのは高校数学の問題で1度は目にしたと思う. まずこれが何故そうなるのかを見ていく. 例えば, 方程式 を考え, これが虚数解 を持ったとすると, 次を満たす. この等式の両辺で複素共役を取る…

【アニメ】「ようこそ実力至上主義の教室へ」の考察や推測

無人島特別試験で龍園がAクラスと結んだ契約の契約書について 12話で出てきたように契約書は印刷されたものということが分かる。 この契約内容はいつ決めたのか、大きく分けて2つになる。 1. 無人島に上陸し、試験の説明を受けたあと この場合、印刷は必然的…

texで図式を書く

\xymatrixを使うと,図式が綺麗に書ける. ・セッティング 簡単LaTeXインストールWindows編(2016年4月版)でインストールした人には参考になると思う \c:\w32tex\donload にある xypic.tar を \c:\w32tex\share\texmf-dist で解凍して展開 ・使い方 まず,\beg…

【技術】texコマンドメモ(随時更新)

・\documentstyle{article}でタイトルを付けるときに上の無駄な余白を縮めたいとき →\title{\vspace{-5cm}タイトル} ・取り消し線を使いたいとき →プリアンブルに\usepackage{ulem}と書き,\sout{取り消し線を被せたい文(数式なら$$を最初と終わりに)} ・合同…

【高校物理を見つめ直す】 相対速度

高校数学参考書

○数学Ⅰ+A ・シグマ基本問題集数学Ⅰ+A シグマ基本問題集数学?+A 新装版 (理解しやすいシリーズ)作者: 文英堂編集部出版社/メーカー: 文英堂発売日: 2008/03/01メディア: 単行本 クリック: 1回この商品を含むブログを見る 新課程版はこっち↓ シグマ基本問題…

モルについて

モル(mol)を使った問題を苦手とする人は一般的に多いので覚えている範囲で解説しようと思う。 ①モルとは何か まず、原子や分子というのはとても小さくその1つ1つはとても見えるものではない。 そのため、肉眼で見えるような大きさの物質はとてつもなく大き…

計算メモ1

・45,75とかの二乗 十の位×それに1足した数を百の位にして、下2桁を25 例えば 45×45=2025 75×75=5625 ・5倍 2で割ってから小数点を右にずらす 例えば 168×5を計算するとき 2で割ると84、小数点を右にずらして840 387×5を計算するとき 2で割ると193.5、小数点を…

logn/n

色んな場面で出てくるであろう極限 の求め方について。 だから について考える。 まず、これが1以上というのは明らか( )だから とおくと、 両辺をn乗して 右辺を二項展開して評価すると よって、 これを整理して ゆえに、 したがって、 となるから 以上から

高校時代使ってた英単語帳

まずは学校で使ってたやつ↓ データベース4500 完成英単語・熟語作者: 荻野治雄出版社/メーカー: 桐原書店発売日: 2008/12メディア: 単行本購入: 4人 クリック: 73回この商品を含むブログ (3件) を見る 毎週火曜日に単語テストあったな。 次に高1の終わり辺り…

垂心について

三角形の五心(内心・外心・重心・垂心・傍心)の一つである垂心について 三角形の各頂点から下ろした垂線は一点で交わるという性質がある この一点のことを垂心という さて、3本の垂線は本当に一点で交わるのだろうか? 実際に作図してみると確かに一点で交…

分散について

分散の感覚的な説明なので厳密性を欠いていても悪しからず 分散ってのはデータのばらつき具合を表す。 平均が同じでも70,80,70,80と100,100,50,50じゃデータのばらつき具合が違う— 冷×数学 (@0_S_R) 2015, 4月 23 データがよりばらついてるってことは平均か…

このBlogの運営方針的なやつ

Askより自由だからBlogで数学について書いたりしよう— 冷×数学 (@0_S_R) 2015, 5月 24 数式書けるし— 冷×数学 (@0_S_R) 2015, 5月 24 Askで質問受け付けてBlogで詳しくやるってのもアリだな— 冷×数学 (@0_S_R) 2015, 5月 24

ブログ開始

冷Blog開始っすよ。。。