半素数は無数に存在する（素数が無数に存在することの証明から） 最小の半素数は 4 である（最小の素数が 2 であることから） 最小の平方数でない半素数は 6 である（2番目の素数が 3 であることから） 素数の2乗となる平方数は半素数である（半素数の定義より） 半素数 n の約数は 1, p, q, pq である 約数の個数は p = q なら3個、p ≠ q なら4個である 約数の総和は p = q なら 1 + p + p2、p ≠ q なら 1 + p + q + pq である 6 以外の半素数は全て不足数である 4 は不足数である（1 + 2 < 4） 6 は完全数である（1 + 2 + 3 = 6） 6 より大きい半素数は全て不足数である（3 ≤ p ≤ q[注釈 3]より、1 + p + q ≤ 1 + 2q < 3q ≤ pq） 例えば、15は、15 = 3 × 5 であり
数学に関してはそれなりに詳しい私。 今回は、高校数学を単元ごとにジョークを交えながら評価してみました。 私の独断と偏見のみで構成されてるのでご了承ください。 【数学Ⅰ】 ◆数と式 高校数学最初の単元。マリオで言えば1-1。 いきなり「たすき掛け」なる新しい因数分解のやり方が新高校生をお出迎えする。 連立不等式、絶対値で中学との格の違いを見せつけてくるが、序盤の敵と言ったところか。 これから高校数学をやっていくにあたっての基礎的な内容とも言えるので、つまずいているようでは先が思いやられる。 難易度：★★☆☆☆☆☆☆☆☆ 重要さ：★★★★★★★★☆☆ ◆2次関数 平行移動する放物線。 多くの高校生を数学嫌いにさせることで有名な門番的単元。 実は解法が結構ワンパターンなのだが、そのことを見抜けず、ちょっと言葉を変えられただけで混乱する人が続出。 最大・最小の問題は「軸からの距離」をキーワードにす
まえがき この記事の目的 意図する対象読者 今回の整理の仕方（記事の見方） 注意 競プロに関係する数学（本題） 言葉（文系でも多分聞いたことはある）編 言葉（文系だと聞いたことないかも）編 言葉（離散数学）編 「式変形」編 「図形っぽいやつ」編 筆者のバックグラウンド 経歴、仕事など まえがき この記事では、競技プログラミングに関係する数学用語・概念と、それがどんな単元（分野）に属するものかを整理（一覧化）します。 競技プログラミングの問題に出てくる用語・概念をはじめ、競技プログラミングの解説記事などに出てくる用語・概念も、思いつく限り挙げています。 「この記事の数学的な部分、どのぐらい信用できるの？」とか、「数学苦手と言ってもどのくらい苦手なの？」といった疑問への参考としては、筆者のバックグラウンドを記事の最後で紹介したので、気になる方は先にそちらを読んでください。 この記事の目的 文系
私の大好きな数学者の名言で、「音楽は感性の数学であり、数学は理性の音楽である」という言葉があります。 数を原理とするピタゴラス教団がピタゴラス音律を作り出し、そこから純正律という整数比率によるハーモニーを重視した音律が作られたことからも、音楽と数学の関係性は深いと言えるでしょう。 しかし、 実際に数学を多少わかって、音楽を多少嗜んでいる方であれば、音楽で使われる様々な単位への違和感を感じたことがあるのではないでしょうか。 とにかく既存の音楽理論や音楽文化が、「12音種」「7幹音」「5線譜」「1から数える」すべてが噛み合っていない感じがすごい。この噛み合ってない上で究極の覚えゲーを重ねがけして理論作り上げてんのヤバい。 — じーくどらむす/岩本翔 (@geekdrums) July 12, 2020 音楽を取り巻く数への違和感まずこの「12音階」（ド～シまで、＃、♭も含めた1オクターブ以内の
どうも、浮動小数点数オタクのmod_poppoです。 昨日開催された ABC169 の C 問題が浮動小数点数の罠な問題だったらしいので、どこが罠なのか、そしてどうすれば罠を回避できるのかを解説してみます。 また、典型的な誤答に対しては、それを落とすためのテストケースも用意しました。 問題文（引用） まず最初に問題文を引用しておきます。 AtCoder Beginner Contest 169 | C - Multiplication 3 問題文 $A\times B$ の小数点以下を切り捨て、結果を整数として出力してください。 制約 $0\le A\le 10^{15}$ $0\le B<10$ $A$ は整数 $B$ は小数第 2 位まで与えられる 入力 入力は以下の形式で標準入力から与えられる。
There are many examples of mathematical breakthroughs achieved in prison. Maybe the most famous is from the French mathematician Andre Weil, who came up with his hugely influential conjectures while in a military prison in Rouen, France. Another mathematical giant, Srinivasan Ramanujan, started off with no formal training in mathematics and produced most of his revolutionary results in complete is
2020.01.05 宇宙際タイヒミューラー理論（IUTeich）の論文を巡る現状報告： 「数学界に出現している悲惨なブラックホールの物語」 カテゴリ：研究関連の現状報告 記事の標題にあるテーマについて度々聞かれますので、この際、内容をきちんと整理して皆さんにお伝えしたいと思います。この内容は報告とも言えますが、広い意味での、一種の「内部告発」とも言えます。 まず強調しなければならないことは、理論に関わっている研究者の、約7年半に及ぶ大変な努力によって、理論の論理構造は細部まで徹底的に分析・議論され、何十回もの単独講演や何件もの大きな研究集会で詳細に解説され、また何名もの研究者により（いわゆる「サーベイ」という形で）解説原稿が出版され、特に理論の正しさは何十回、何百回と確認されており、この検証活動によって多数の軽微な記述上の不備等は発見され直ちに修正されているものの、理論の本質的な正しさに
ものを知れば知るほど、いつも歩いている道なんかも解像度が上がって見えてくるわけです。 花の名前や雲の種類、建築の様式などはその代表格でしょう。 同じように、知れば知るほど数学の見え方の解像度が上がる（にも関わらず、高校までの数学ではまったくと言っていいほど出てこない）ものの代表格が「線形代数」と「群論」だと思っています。 線形代数については過去にこのブログで扱ったことがあるのでそちらを参照いただくとして、今回は知れば知るほど身の回りにあふれていることがわかって驚かされる「群」という概念のご紹介です。 一体、群とは何なのでしょうか？ とある３つの表 CASE-1 足して4で割る 0,1,2,3という4つの数がありますね。世の中には。 この4つの数に対して、「2数を足して、その答えを4で割ったあまりをとる」という演算を考えます。 例えば「2」と「3」に対してこの演算をすると「1」となります。
フィボナッチ数列 1,1から始めて、「前２つの項を足したものが次の項」という構造をしている数列が「フィボナッチ数列」です。具体的に書き下すとこういうものです。 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, ... 確かに「前２つの項を足したものが次の項」になっていますね。言うまでもないですが、ここに現れている一つ一つの数が「フィボナッチ数」です。 番目のフィボナッチ数を「」と表すことにすると、フィボナッチ数列は以下の式で定義されます。 （前二つの和が次の数） （1,1から始める） これだけで十分です。これだけ指定してさえあれば、以降の数値は一意に定まります。 そしてこれは「0,1」から始めて足していっても結局同じ数列が現れるので、「0番目のフィボナッチ数」つまりとして0をおくこともあります。 さて、このフィボナッチ数の間にはさまざ
鈴木貫太郎 @Kantaro196611 視聴者の塾の先生から「某中学校の定期テストの過去問を見て困った」どう答えればいいのでしょうかという質問。常に「どうしてそうなるかを考えることが大事」と言っているオイラも、流石にこの「なぜ？」には困った。模範解答を募集します。 pic.twitter.com/MK8OVIeUHF 2019-06-09 01:05:34
アンケート とある数学の試験問題に、具体的に与えられた函数 f(x) について「すべてに実数xについて f(x)≧0 となることを証明せよ」と書いてあった。ある人は「すべての実数xについて f(x)>0 となること」を正しく証明… https://t.co/1qVSHlRoDt
2乗して-1になる数「」と、実数を使って「」と表される数を複素数といいます。 複素数は、和をとったり積をとったり逆数をとったりといろいろできるわけですが、それらを図示してみるときれいな構造が見えることがあります。 この記事は、細かい解説はそこそこにして、複素数を眺めてうわ〜きれいだね〜素敵だね〜っていう記事です。 複素平面 任意の複素数は、平面上の一点として表すことができます。 今でこそ「複素数といえば平面」というイメージがあるかもしれませんが、「複素数を平面上の一点として表す」というのは驚くほど画期的なアイデアです。 それまで、複素数は「方程式を解く途中にだけ出てきて、いざ解かれたあかつきには消えてしまう」という「便宜的な数」「虚構の数」と思われていました。 ガウスによって「複素平面」のアイデアが導入されてようやく複素数が図形的な表れを伴った。複素数にはそんな歴史があるようです。 複素数
円周率を100桁近く記憶している人にはガチ悲報。円周率（π：パイ）は4であることが証明されてしまいました。何かがおかしいことはわかるけど、どうおかしいのか明確な反論ができないヘリクツ証明にたくさんのコメントが集まっています。 半径が2で、中心角が直角の扇形を考えます。弧の長さは「2×（半径）×π（円周率）÷4」、半径は2なので、弧の長さはπ（円周率）になります。 次に扇形を囲む、辺の長さが2の正方形を考えます。弧の上に点を取り、正方形の辺から弧に向かい直角に降ろした線を考えます。線の総和は、正方形の2辺と同じなので4になります。 弧の上に取られる点を増やしていきます。 点の数をどれだけ増やしても、線分の長さは常に4になります。 では、点の数を無限大にします。そうすると、弧の長さと線分の長さは等しくなります。ゆえに円周率は4。 この詐欺のような証明にコメント欄は大紛糾。「一般的な極限と数学的
今回紹介するのはabc予想の証明に関する最近の動向を伝えている記事です。 これを選んだ理由は素人衆が知ったかぶりに勝手なことを書いているのをネット上で散見するからです。ここで言う素人衆は日本のメディアはもちろんのこと、馬鹿サイエンスライターも当然含みます。昨年末に某新聞が誤報に近いことを報道したことも記憶に新しいでしょう。そんな情報に振り回されないために今回の記事です。 今回の記事は正確かつ公平だと私は思いました。私の友人共の何人かは、この方面の専門家だから門外漢の私はいろいろなことを教えてもらいました。その上での感想です。 その方面の専門家でなくても数学の研究者なら望月論文は無理でもレポートは読めるはずなので、もっと詳しく知りたい人はレポートを読んで下さい。 前置きはこれくらいにして、紹介する記事は"Titans of Mathematics Clash Over Epic Proof
理数系ネタ、パソコン、フランス語の話が中心。 量子テレポーテーションや超弦理論の理解を目指して勉強を続けています！ --------------------------------- 9月25日に追記： 月曜の深夜にこの記事を投稿したが、その後、アティヤ博士の発表に対して専門家の間では懐疑的、否定的な意見が支配的になってきた。証明は失敗している可能性が高い。しかし結論を急がず専門家による査読の結果を待つべきだ。今後の成り行きを見守っていきたい。 --------------------------------- ひとつ前の記事を書いている最中に、とてつもないニュースが飛び込んできた。あの「リーマン予想」が証明されたというのだ。ドキドキして気もそぞろである。これは今から160年前（日本は幕末）にドイツの数学者「ベルンハルト・リーマン」により提唱された予想で、「ミレニアム懸賞問題」という難問の
慶應義塾大学大学院理工学研究科 KiPAS 数論幾何グループの平川義之輔（博士課程 3 年）と松村英樹（博士課程 2 年）は、『辺の長さが全て整数となる直角三角形と二等辺三角形の組の中には、周の長さも面積も共に等しい組が（相似を除いて）たった 1 組しかない』という、これまで知られていなかった定理の証明に成功しました。 線の長さや図形の面積は、私たちの身の回りにあるものを測量する際に欠かせない基本的な「幾何学」的対象です。例えば、辺の長さが 3、4、5 の直角三角形は教科書でもおなじみの図形ですが、辺の長さが全て「整数」となる直角三角形はどのくらいあるか？という問題は、古代ギリシャ時代に研究がなされた重要な問題でした。この流れを汲んで 20 世紀に大きく発展した現代数学の一分野が「数論幾何学」です。 本研究では、数論幾何学における「p 進 Abel 積分論」と「有理点の降下法」を応用するこ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く