「正方形の面積＝対角線長さ×対角線長さ／２」は 公式か？

↓

↓

↓

↓

↓

↓

↓

↓

↓

↓

解いてみよう。

赤の三角形は 直角二等辺三角形
ピタゴラスの定理から a^2×2＝8^2
2a^2＝64 → a^2＝32
求める扇形の面積は 半径 a の円の面積の1/4

πａ^2/4＝32π/4＝8π（㎠）･･･ Ans.

↓

↓

↓

↓

↓

↓

↓

↓

↓

↓

↓

（答え）において 「赤の正方形の面積 8×8÷2＝32㎠ 」だから a^2＝32 としています。
すなわち 「正方形の面積＝対角線長さ×対角線長さ÷２」を公式のように使っています。
私が 小学生の頃は 知りませんでした。
現在は 公式として 小学校で習っている？