LaTeX

Colab で学ぶ LaTeX

はじめに はてなでも、Qiita でもマークダウンできれいな数式が書けます。 $$ E=mc^{2} $$ とか。 この数式を書く記法を LaTex と言って、本来は数学書を書くための組版処理システムなのですが、数式を書く部分が LaTeX のサブセットの MathJax として ブロ…

Colab で学ぶ Sympy

はじめに 数学を学ぶためになんらかの数式処理システムは必須だろうと思う。 この Colab のノートブックは Sympy という数式処理システムの学習資料です。 https://colab.research.google.com/github/kalz2q/mycolabnotebooks/blob/master/math_sympy_short.…

イプシロンデルタ論法

latex で論理式、論理記号文を書いていて、テキストによって括弧 (丸括弧 parenthesis、角括弧 bracket、波括弧 braces) の使い方に揺れがあったりして、あとカンマの使い方、どういう場合に省略するのか。 と考えていてイプシロンデルタ論法の数式で比べよ…

論理記号一覧

記号 latex 備考 $\in$ \in 属する、元である、含まれる $\owns$ \owns 含む $\Longrightarrow$ \Longrightarrow ならば $\implies$ \implies ならば $\not \in$ \not \in 属すの否定 $\not \owns$ \not \owns 含むの否定 $\phi$ \phi 空集合 $\emptyset$ \e…

コラブ Colab で学ぶ高校数学

はじめに Doing Math with Python: Use Programming to Explore Algebra, Statistics, Calculus, and More! Amit Saha を Colab でなぞりながら読む。 というのをやっていて、とりあえず最後まで行ったのでご紹介。 元の本の章立ては次のようになっています…

マークダウンでドルマーク `$` を表示する方法

マークダウンでドルマーク $ は LaTeX (MathJax) で数式を表現するので使われてしまうので、バッククォートで囲んで逃げるか、HTML で表現するしかありません。 HTMLでの表現を調べたので備忘です。 $ => $5 ドル が確実か。 $ => $10 ド…

プログラミング言語別コメント記法

コメントアウトするときのやり方が言語ごとに違うのでネットで探して一覧にしてみました。 ちゃんと表示できるかな。 C++ => // or /* */ swift => // or /* */ JavaScript => // or /* */ CSS => /* */ HTML => Bash => # R => # Haskell => -- or {- -} E…

MathJax

はてなブログで数式を書く実験です。 \(a \ne 0\)のとき、\(ax^2 + bx + c = 0\)は次の2つの解をもつ。 $$x = {-b \pm \sqrt{b^2-4ac} \over 2a}$$ を、書けているみたいですね。 もっと実験。 $$ \mathcal{Z}[x_{n}]=\sum_{n=-\infty}^{\infty} x_{n}z^{-n}…

絶対値と不等式

のとき のとき のとき <img src="http://www.forkosh.com/mathtex.cgi? a \geqq 0" align=absmiddle> のとき <img src="http://www.forkosh.com/mathtex.cgi? |a|=a,\quad a \leq 0" align=absmiddle> のとき <img src="http://www.forkosh.com/mathtex.cgi? |a|=-a" align=absmiddle>

テーブルの書き方

http://www.andy-roberts.net/writing/latex というところの LaTeX の解説で、Tableの書き方、というところを読むと tabular というコマンドで、わたしの環境で実験したらうまく使えません。 array と同じ、とも書いてあったので、トライアンドエラーで書い…

3乗根

平方根は square root から sqrt と書くのは知っていましたが、立方根や n 乗根というのはどう書くのだろうか。 <img src="http://www.forkosh.com/mathtex.cgi? \sqrt \frac{x^2}{y + \pi}"> <img src="http://www.forkosh.com/mathtex.cgi? \sqrt[3]{\frac{x^2}{y + \pi}}"> <img src="http://www.forkosh.com/mathtex.cgi? \sqrt[n]{\frac{x^2}{y + \pi}}">

二重矢印

数学でよく使う太い矢印、⇓、⇒、⇔、⇑、⇐ を LaTeX でどう書くのか。 <img src="http://www.forkosh.com/mathtex.cgi? \Downarrow, \quad \Rightarrow, \quad \Leftrightarrow, \quad \Uparrow,\quad \Leftarrow">全部小文字で書くと、つぎのようになります。

素数の間隔

双子素数(11と13のように間隔が2の素数)が無限にある、という話はよく出てきますが、大きな数の素数とその次の素数の間隔もいくらでも大きくなる、という話を読みました。 例えば5の階乗 について、 の4数が素数でないことはつぎのように論証できます。 こ…

合同式

2つの整数 が を法として合同である、とは、 を で割った余りと を で割った余りが等しいことをいう、このとき、 <CENTER> <img src="http://www.forkosh.com/mathtex.cgi? a \equiv b \ (\text{mod} \ 9)"> </CENTER>と書く。また、このような式を合同式とよぶ。 ちなみに否定 not も使えます。 <CENTER> <img src="http://www.forkosh.com/mathtex.cgi? 9 \not \equiv 2 \ (\text{mod} \ 9)"> </CENTER>

パイの覚え方

まずLaTeXでπを書くとどうなるかの実験。 <img src="http://www.forkosh.com/mathtex.cgi? \Huge \pi">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <img src="http://www.forkosh.com/mathtex.cgi? \large \pi">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <img src="http://www.forkosh.com/mathtex.cgi? \small \pi}"> パイの覚え方、で検索するといろいろありました。 不思議な数πの伝記 という本には…

スペースとかインデント、センタリング

Web上でLaTeXで数式を書く時、スペースとかインデントとかセンタリングとかしても、html側で削除されたり、なかなかうまく行きません。 たぶん、そもそも、HTMLの方で対処すべきなのでしょう。 LaTeXで書かれた数式はHTML側にしてみればただの画像(img)なの…

数式に色をつける

数式に色をつけたいことがあるかどうかは別にして、チュートリアルに載っていたのでやってみます。 環境にもよるけど、usepackageで呼び出すパッケージの何が使えてなにが使えないかがよくわかりません。

長い数式の揃え方

数式を縦に揃えるには、matrix や array を使いますが eqnarray が便利です。 マニュアルには align とか、equation とか載っていたりするけど、私の環境では使えないみたいです。

数列クイズ

シンメトリーの地図帳という本を読んでいたら、つぎのような数列が載っていました。 <img src="http://www.forkosh.com/mathtex.cgi? 13,\:1113,\:3113,\:132113,\:1113122113,\:\cdots\cdots">答えは、それぞれの数はひとつ前の数を説明している、というもので、たとえば1113は、その1つ前の13が1つの1と1つの3です、という意味で、次の3113はその1つ前の1113が3つ…

ベクトルの上矢印

アルファベットの上に矢印を書くには、LaTeXでは vec を使う、と書いてありました。 <img src="http://www.forkosh.com/mathtex.cgi? \vec{a} ">これはこれでいいのですが、点から点へのベクトル、 というのを書きたいときにどうするか。 vec を使うと次のようになります。 <img src="http://www.forkosh.com/mathtex.cgi? \vec{AB} ">これではあまり美しくありません。 しらべた…

複数行を長い波括弧でくくる

チュートリアルに次のような例が載っていました。 <img src="http://www.forkosh.com/mathtex.cgi? y=\left\{ {x/2\mbox{ if $x$ even} \atop (x+1)/2\text{ if odd}} \right. ">atopを複数回使って、3行とか4行を括ることができますか? <img src="http://www.forkosh.com/mathtex.cgi? y=\left{\mbox{this} \atop \mbox{and} \atop \mbox{that} \right.">できませんでした。 2回目の\a…

集合の縦棒

mathTeXのチュートリアルを読んでいたら、middle| というのが出てきました。 <img src="http://www.forkosh.com/mathtex.cgi? \left\{ x \in \mathbb{R} \middle| x \geq \frac12 \right\}">これをただの"|"で書いたらどうなるのだろう。 <img src="http://www.forkosh.com/mathtex.cgi? \left\{ x \in \mathbb{R} | x \geq \frac12 \right\}">なるほど、サイズが変わるのですね。"\left{" とかと…

数式を縦に並べる

「小学生でもわかる計算だけで 0.9999…… が 1 な事を説明」 http://yoshiori.github.io/blog/2013/10/11/0-dot-999999-equals-1/ というページで、恒等式を変形していって命題を証明する方法がとられています。MathJaxで書いたとのことですが、私もLaTeXで実…

インラインで数式を書くときのアラインメント

文章の途中に数式を入れる時は align=middle とするとよい、というようにあちこちに書かれているのですが、このはてなに関してだけかもしれませんが、むしろ alignをつけない方がうまく書けるような気がしていままでつけてきませんでした。 たとえばこんな感…

pictureの実験(linethickness)

pictureの実験(arrow)

pictureの実験(circle)

pictureの実験(line)

数直線

数直線を描いてみたいと思いました。 ネットに次のような例がありました。

可換図

英語のウィキペディアのCommutative Diagramの項に、次のような図があります。 <img src="http://www.forkosh.com/mathtex.cgi? \usepackage[all]{xy} \xymatrix@R+2em@C+2em{ A \ar[r]^-f \ar[d]_-g & B \ar[d]^-h \\ C \ar[r]_-k & D } ">そのページには親切にソースコードが載っているので、いまここに描けています。ただ、もとのソースコードは下記のようなもので、それを上のように書き換えています。具体的には …