ようこそ ポロロッカへ!

問題文

次の命題の真偽を答えなさい。

1. $0\leq a, b < 10$ を満たす実数 $a,b$ を $10$進小数 で表したものをそれぞれ $a_0.a_1a_2a_3\cdots, \;b_0.b_1b_2b_3\cdots$ とするとき，ある $k=0,1,\cdots$ に対して $a_k\neq b_k$ ならば $a\neq b$ である。

2. $\vec{a}_1, \vec{a}_2$ を平行（＊）でない平面ベクトルとする。実数 $k_1, k_2, k_1', k_2'$ に対して
   \begin{equation}
   k_1\vec{a}_1+k_2\vec{a}_2=k_1'\vec{a}_1+k_2'\vec{a}_2
   \end{equation}が成り立つならば $k_1=k_1'$ かつ $k_2=k_2'$ である。

3. 実数全体を定義域とする微分可能な実数値関数 $f(x)$ が
   \begin{equation}
   f'(x)=x
   \end{equation}を満たすとする。このとき，$f(x)$ はある実数 $a$ を用いて
   \begin{equation}
   f(x)=\int_a^x t dt
   \end{equation}と表せる。

4. 数列 $\{a_n\}, \{b_n\}$ は $n\to\infty$ である実数に収束するとする 。任意の $n$ に対して $b_n\neq 0$ ならば，数列 $\displaystyle{\left\{\frac{a_n}{b_n}\right\}}$ も収束する。

注意

• ＊この問題では，平面ベクトル $\vec{a}_1, \vec{a}_2$ が平行であるとは $\vec{a}_1=k\vec{a}_2$ となる実数 $k\neq 0$ が存在することをいいます。
• （2020/6/11 15:40 更新）命題 1 の条件を変更しました。正解には影響ありません。

解答形式

$k=1,2,3, 4$ に対して，命題 $k$ が真なら T を，偽なら F を第 $k$ 行に出力してください。

${}$　今回は素朴な面積関係の問題を用意しました。素朴なだけに多様な手法が通用します。力技解法もあれば、補助線による暗算解法も仕込んであります。思い思いの手法で挑戦してみてください！

※2021年9月11日より難易度評価を見直して、総じて★+1しました。この問題の現難易度評価★2.5は、旧評価の★1.5にあたります。

解答形式

${}$　解答は小数第3位を四捨五入して、小数第2位までを単位なしで入力してください。
（例） $12\ \mathrm{cm}^2$ → $\color{blue}{12.00}$　　$10\sqrt{2}\ \mathrm{cm}^2$ → $\color{blue}{14.14}$
　入力を一意に定めるための処置です。$\pi=3.14$とは限りませんのでご注意ください。関数電卓やグーグルの電卓機能、Wolfram|Alphaなどのご利用をお勧めします。

問題文

どの辺の長さも整数である$\triangle ABC$の面積を$S$とする。$S^2$の小数部分を求めよ。

解答形式

とりうるすべての小数部分を小さい順に都度改行、列挙してください。
例：
「0,1/2,1/3,1/6,1/√5」の場合、

0
0.5
0.'3'
0.1'6'
1/\sqrt{5}