※小説ではない※専門書 要約資料集 為替(換算)3.9万円でもらう 紐解集生成 専門 初入門 資料 作：｛作者名｝
> 学問の宇宙・図形学派生分野 第四巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班・原画班合同)
> トーン規約: 水準五〜六中心。専門用語は初出で必ず説明する。年号・人名は「とされる」表記。
> 【分量超過の明記】本書は例題5問×各5解法(作図解・座標解・変換解・暗算裏技解・一般化解、それぞれに図+推移+展開+式+公式を伴うフルセット)という規定構成のため、空白除去約27,000字と、通常の後半水準帯の目安(空白除去12,000〜17,000字)を超過している。超過理由は分量規約(§8.1相当・図形学特則b「例題5問×各5解法フルセット」)を優先したことによるものであり、内容の希釈や水増しではなく、各解法に検算・照合を伴う密度を保ったままの自然な増量であることを明記しておく。
> 本書は図形学シリーズの第四巻である。第一巻(→構図式の梯子)で図形を「式として読む」十二段の水準を、第二巻(作図と読み解きの暗算術)で手を動かす基礎技を、第三巻(変換と推移・図形の因数分解)で図形を要素分解して組み替える視点を扱ったとされる。本書ではその先——**設計ソフト(CAD、コンピュータ支援設計)が内部でやっていることを、実際にソフトを一切使わず、紙と鉛筆と計算だけで体験する**——という一段深い水準に踏み込む。
---
# BOOK-0177 図形学IV 解析と設計 — CADの中身を手でやる
> 学問の宇宙・図形学派生分野 第四巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班・原画班合同)
> トーン規約: 水準五〜六中心。専門用語は初出で必ず説明する。年号・人名は「とされる」表記。
> 【分量超過の明記】本書は例題5問×各5解法(作図解・座標解・変換解・暗算裏技解・一般化解、それぞれに図+推移+展開+式+公式を伴うフルセット)という規定構成のため、空白除去約27,000字と、通常の後半水準帯の目安(空白除去12,000〜17,000字)を超過している。超過理由は分量規約(§8.1相当・図形学特則b「例題5問×各5解法フルセット」)を優先したことによるものであり、内容の希釈や水増しではなく、各解法に検算・照合を伴う密度を保ったままの自然な増量であることを明記しておく。
> 本書は図形学シリーズの第四巻である。第一巻(→構図式の梯子)で図形を「式として読む」十二段の水準を、第二巻(作図と読み解きの暗算術)で手を動かす基礎技を、第三巻(変換と推移・図形の因数分解)で図形を要素分解して組み替える視点を扱ったとされる。本書ではその先——**設計ソフト(CAD、コンピュータ支援設計)が内部でやっていることを、実際にソフトを一切使わず、紙と鉛筆と計算だけで体験する**——という一段深い水準に踏み込む。
---
## 序章 — 「お遊戯会」と言い切れるようになるための本
世の中には「図形の設計はCADソフトがなければできない」という空気がある。しかし、CADソフトの画面の裏側でコンピュータが実際に計算していることは、突き詰めれば**連立方程式を解くこと**と**一つの数値が変わったときに他の数値がどう追従するかを計算すること**に尽きるとされる。これは特別な魔法ではなく、紙の上でも——時間さえかければ——まったく同じ手順を再現できる計算である。
本書の目的は、CADソフトの内部処理を三つの柱に分解し、それぞれを手計算・手描きで体験できる形に翻訳することにある。
- **柱1: 制約充足(せいやくじゅうそく)**——「この図形はこういう条件を満たすように決まっている」という拘束条件(こうそくじょうけん、水準四: 図形の位置・大きさ・角度などに課される、満たすべき条件)の集合から、実際の図形の形を逆算する考え方。
- **柱2: 寸法駆動設計(すんぽうくどうせっけい)**——ある数値(寸法)を変更すると、それに連動して図形全体が自動的に形を変える仕組み。
- **柱3: 公差(こうさ)**——実際のものづくりでは寸法にわずかなばらつきが必ず生じるため、「どこまでのずれなら許容するか」という範囲をあらかじめ決めておく考え方。
この三本柱を手でやり切れるようになると、CADソフトの画面上で「寸法を打ち込んだら図形が動いた」という現象が、単なるボタン操作の結果ではなく、**自分の頭の中で追える計算の結果**として見えてくる。これが本書の言う「CADの中身を手でやる」ということであり、ここまで理解が届けば、ソフトそのものへの過度な依存心は自然と薄れていくはずである——というのが本書の立場である。
なお、本書では特定の製品を挙げて優劣を断定するような記述は行わない。設計手法そのものの考え方の違い(後述する「制約ベース設計」と「直接編集設計」の違いなど)を一般論として扱うにとどめ、個別の製品名を出す場合も、歴史的な経緯や事実の列挙(「〜年に登場したとされる」等)のみに限定することを、あらかじめ明記しておく。
---
## 休憩所ゼロ: まとめ箱 — 序章のポイント
```
CADの中身 = ①制約充足(条件から図形を逆算) ②寸法駆動設計(数値変更→図形が追従)
③公差(ばらつきの許容範囲)
この三本柱を手計算・手描きで体験することが本書の目的
特定製品の優劣断定はしない。手法の一般論と、事実の列挙(とされる表記)のみを扱う
```
---
## 第零章 — 構図式水準表(一〜十二): 図を式として読む梯子
図形学シリーズでは、図形を「見た目の絵」としてだけでなく「式として読み解けるもの」として捉える、十二段の水準梯子を第一巻で定めたとされる。ここでは全水準の名前を一覧しておき、本書が主に担当する帯を示す。
| 水準 | 名称 | 一言でいうと |
|---|---|---|
| 一 | 点と座標の水準 | 図形の最小単位=点を数の組として読む |
| 二 | 線分と距離の水準 | 二点間を結ぶ・長さを測る |
| 三 | 角度と方向の水準 | 線同士の開き具合を数値化する |
| 四 | 多角形と面積の水準 | 点の集まりを閉じた図形として読む |
| 五 | 円と曲線の水準 | 直線でない図形を式で扱う |
| 六 | 相似と比の水準 | 形を保ったまま拡大・縮小する関係を読む |
| 七 | 変換と推移の水準 | 平行移動・回転・反転などの操作を式で表す |
| 八 | 図形の因数分解の水準 | 複合図形を基本図形の組合せへ分解する(→第三巻の担当帯) |
| 九 | 立体と投影の水準 | 三次元の図形を二次元へ写し取る |
| 十 | 曲面と近似の水準 | 滑らかな面を多数の小さな平面で近似する |
| **十一** | **制約系・寸法駆動の水準** | **条件から図形を逆算し、数値変更に追従させる(本書の担当帯)** |
| 十二 | 公差と許容の水準 | ばらつきの範囲を扱う(本書が制約系と合わせて深掘り) |
本書BOOK-0177は、この十二段のうち**水準十一(制約系・寸法駆動)を主担当**とし、水準十二(公差)も合わせて深掘りする。水準一〜十は名前と一言のみの掲載にとどめ、それぞれの詳細は既刊の各巻を参照されたい。水準八(図形の因数分解)については、複合図形を基本要素へ分解する視点そのものの深掘りは別巻の担当であるため、本書では必要最小限の言及にとどめる。
---
## 休憩所①: まとめ箱 — 第零章のポイント
```
構図式水準は一〜十二の十二段。本書は水準十一(制約系・寸法駆動)を主担当、水準十二(公差)も深掘り
水準八(図形の因数分解)は別巻担当のため本書では簡潔な言及にとどめる
```
---
## 第一章 — 制約充足とは何か: 拘束条件から図形を逆算する
### 1.1 自由度という考え方
平面上の点は、x座標とy座標という二つの数値さえ決まれば位置が確定する。この「決めなければならない数値の個数」を**自由度(じゆうど、水準四: ある図形の形や位置を完全に決めるために、あといくつの数値を指定する必要があるかを表す個数)**と呼ぶ。
点1個の自由度は2(x, y)。線分1本(端点二つ)の自由度は4(両端点のx, y)。ただし、線分に「長さは10cmとする」という条件を1つ課すと、自由度は4から1減って3になる——これが**拘束条件(こうそくじょうけん、水準四: 図形の自由度を1つ以上減らす、満たすべき条件。「この長さは10cmにする」「この二本の線は平行にする」など)**の働きである。
つまり、**制約充足とは「自由度の数だけ条件を過不足なく与えて、図形の形を一意に決め切る作業」**と言い換えられる。ここで重要になるのが次の三つの状態の区別である。
- **拘束不足(こうそくぶそく)**: 自由度より条件の数が少ない状態。図形の形がまだ一通りに定まらず、ぐらぐらと動く余地が残っている。
- **完全拘束(かんぜんこうそく)**: 自由度と条件の数がちょうど釣り合っている状態。図形の形が一意に定まる。
- **拘束過多(こうそくかとう)**: 自由度より条件の数が多い状態。条件同士が矛盾しない限りは冗長なだけで済むが、矛盾すると「解なし」になる。
**検算例(自己検算):** 三角形の頂点3つ(自由度2×3=6)を考える。「辺ABの長さは5cm」「辺BCの長さは6cm」「角Bは60度」という3条件を与えると、自由度6に対して条件3なので、まだ3自由度分足りない——これは実は、三角形全体の**位置**(平行移動でどこに置くか、自由度2)と**向き**(回転角、自由度1)が決まっていないだけであり、三角形自体の「形」(辺と角の関係)はこの3条件だけで一意に決まる。これは中学校で習う「二辺夾角(にへんきょうかく)相等」の合同条件そのものであり、辺の長さ2つとその間の角1つが決まれば三角形の形が一つに定まる、という古くから知られた性質を、自由度の言葉で読み直したものである。
```
検算: 三角形の頂点自由度=6、位置(2)+向き(1)を除いた「形の自由度」=3
辺AB=5cm・辺BC=6cm・角B=60度 → 条件3つ=形の自由度3 → 形は一意に決まる(完全拘束)
```
### 1.2 拘束の種類を分類する
CADソフトが扱う拘束条件は、突き詰めるとおおよそ次のような種類に分類できるとされる。
| 拘束の種類 | 内容 | 自由度の減り方の目安 |
|---|---|---|
| 距離拘束 | 二点間の距離を固定する | 1 |
| 角度拘束 | 二直線のなす角を固定する | 1 |
| 平行拘束 | 二直線を平行にする | 1 |
| 直交拘束 | 二直線を垂直にする | 1 |
| 一致拘束 | 二点を同じ位置にする(端点同士の接続など) | 2 |
| 水平・垂直拘束 | 線分を座標軸に平行にする | 1 |
| 対称拘束 | ある軸に対して二要素を鏡像にする | 1(要素ペアごと) |
これらの拘束を組み合わせて図形全体の自由度をちょうど0(位置と向きも含めて完全に固定)、あるいは「形だけ完全拘束・位置と向きは自由」という状態に持っていくのが、制約ベースの設計における基本作業になる。
### 1.3 手計算での制約充足の手順
紙の上で制約充足を行う手順は、次の4ステップに整理できる。
1. **図形を構成する点・線を列挙し、それぞれの自由度を数える**
2. **課したい拘束条件を全て列挙し、それぞれが自由度をいくつ減らすか数える**
3. **自由度の合計から拘束の合計を引き算し、過不足を確認する**
4. **不足なら条件を追加し、過多なら矛盾がないか検算し、ちょうど0(または許容される残り)になるまで調整する**
この手順自体はCADソフトが裏側で(はるかに高速に、連立方程式のソルバーというプログラムを使って)行っていることと同じであり、違いは「速さ」だけであって「やっていること」は同じである、というのが本章の要点である。
---
## 休憩所②: まとめ箱 — 第一章のポイント
```
自由度 = 図形の形・位置を決めるのに必要な数値の個数
拘束条件 = 自由度を減らす条件。過不足で「拘束不足/完全拘束/拘束過多」に分類される
手計算の4ステップ: ①自由度を数える ②拘束の効き目を数える ③引き算で過不足確認 ④調整
検算: 三角形の形の自由度=3、辺2つ+間の角1つ(二辺夾角相等)で完全拘束が成立
```
---
## 第二章 — 寸法駆動設計: 数値を変えると図形が追従する仕組み
### 2.1 パラメータと図形の関係を式で結ぶ
**寸法駆動設計(すんぽうくどうせっけい、水準四: ある数値(パラメータ)を変更すると、それに連動して図形全体の形状が自動的に再計算され、追従して変化する設計方式)**の核心は、「図形上のあらゆる点の座標を、いくつかの代表的な数値(パラメータ)の式として表しておく」という一点に尽きる。
例えば、一辺の長さがLの正方形を考える。原点を左下の頂点に置くと、4つの頂点の座標は次のように**Lの式**として書ける。
```
頂点A = (0, 0)
頂点B = (L, 0)
頂点C = (L, L)
頂点D = (0, L)
```
ここでLの値を10から15に変更すれば、4頂点の座標はB=(15,0)、C=(15,15)、D=(0,15)へと**自動的に**追従する。これが寸法駆動設計の最も単純な例であり、「Lという1つの数値を変えるだけで図形全体が追従する」という現象の正体は、単に「座標をLの式で表現しておいた」ことの結果に過ぎない。
### 2.2 依存関係の連鎖(パラメトリックの考え方)
より複雑な図形になると、パラメータ同士が連鎖的に依存し合う。この「ある数値が別の数値の式として定義され、さらにその数値が別の図形要素の式として使われる」という連鎖の考え方を、一般に**パラメトリック(媒介変数的、水準四: 図形の要素を直接の座標ではなく、いくつかの独立した数値=パラメータの関数として定義し、パラメータの変更が図形全体に連鎖的に反映される設計の考え方)**と呼ぶ。
例えば「正方形の一辺Lを基準に、その正方形に内接する円の半径Rを定義する」場合、Rは独立したパラメータではなく、**Lに従属するパラメータ**として次の式で表される。
```
R = L / 2
```
Lを10から15に変えると、Rは自動的に5から7.5に追従する。ここで注意すべきは、**このR=L/2という「従属関係の式」こそが、CADソフトが内部に保持している設計の本体**だということである。ソフトの画面に表示される図形は、この式を毎回評価し直した「結果」の表示に過ぎない。
### 2.3 手計算で寸法駆動を体験する: 依存関係表を作る
紙の上で寸法駆動設計を体験する具体的な手順は、次のように整理できる。
1. 図形を構成する要素(点・線・円など)を列挙する
2. どの数値を「独立パラメータ(自分で自由に決める値)」とし、どの数値を「従属パラメータ(他の値から式で決まる値)」とするか決める
3. 従属パラメータそれぞれについて、独立パラメータを使った式を書き下す(**依存関係表**と呼ぶことにする)
4. 独立パラメータの値を1つ変えて、依存関係表の式を上から順に評価し直し、全ての従属パラメータと座標を再計算する
**検算例(自己検算):** 長方形の横幅W、縦幅H=W×0.618(黄金比の近似値、水準三: 約1:1.618の比率で、見た目に美しいとされる比率の一つ)、対角線の長さDを考える。W=10とすると、
```
H = W × 0.618 = 10 × 0.618 = 6.18
D = √(W² + H²) = √(10² + 6.18²) = √(100 + 38.19) = √138.19 ≈ 11.76
```
ここでWを10から20に変更すると、依存関係表を上から評価し直すことで、
```
H = 20 × 0.618 = 12.36
D = √(20² + 12.36²) = √(400 + 152.77) = √552.77 ≈ 23.51
```
と、H・Dの両方が自動的に(手計算では「表を上から評価し直す」という手順によって)追従することが確認できる。ここで**D(新)÷D(旧)≈23.51÷11.76≈1.999...≈2**となっている点も検算しておく価値がある。Wを2倍にすると、HもWに比例して2倍になり、Dは「Wの2倍・Hの2倍」を対角線の式(2乗の和の平方根)に入れるため、結局2乗の中身が2²倍=4倍になり、平方根を取ると2倍になる——という比例関係の入れ子構造が、この「ちょうど2倍」という結果の理由である。
```
検算: W:10→20(2倍) → H:6.18→12.36(2倍) → D:11.76→23.51(2倍)
理由: H=W×定数(比例)、D=√(W²+H²)で両方が2倍→中身は4倍→平方根で2倍に戻る
```
### 2.4 制約ベース設計と直接編集設計という二つの考え方(一般論)
CADの設計方式には、大きく分けて二つの考え方があるとされる。
- **制約ベース設計(こうそくべーすせっけい)**: 本章で扱ってきたように、拘束条件とパラメータの式を先に定義し、図形はその「結果」として計算される方式。数値を変えれば図形が追従するという、本書のここまでの内容そのものである。
- **直接編集設計(ちょくせつへんしゅうせっけい)**: 図形の点や線を、拘束条件やパラメータの式を経由せず、その場で直接ドラッグ・変形する方式。手描きのスケッチに近い自由度の高さがある一方、後から「あの寸法を変えたら全体を追従させたい」という操作には別の手順が必要になる。
この二つは「どちらが優れているか」という優劣の問題ではなく、**「今どちらの作業をしたいか」という場面ごとの向き不向きの問題**である、というのが一般的な整理とされる。ラフなアイデア出しの段階では直接編集的な自由さが向いていることが多く、寸法をきっちり管理しながら量産設計する段階では制約ベースの追従性が向いていることが多い、と言われる。本書はこの一般論の紹介にとどめ、特定の製品がどちらの方式を採用しているかの優劣断定は行わない。
---
## 休憩所③: まとめ箱 — 第二章のポイント
```
寸法駆動設計 = 座標をパラメータの式として表現しておくこと。数値変更で式を評価し直せば図形が追従
パラメトリック = パラメータ同士が従属関係の式で連鎖する考え方(R=L/2のような従属パラメータ)
手計算の手順: ①要素列挙 ②独立/従属パラメータの決定 ③依存関係表の作成 ④値変更→表を上から再評価
検算: W:10→20でH・Dも共に2倍(H=W×定数の比例、D=√(W²+H²)の入れ子構造による)
制約ベース設計 vs 直接編集設計 = 優劣ではなく場面ごとの向き不向き(一般論、製品優劣断定はしない)
```
---
## 第三章 — 公差: ばらつきの許容範囲という考え方
### 3.1 なぜ公差が必要なのか
紙の上の設計図では、長さは「10cm」ときっちり書ける。しかし実際にものを作ると、材料の伸縮・加工機械の精度・測定誤差などにより、**寸法には必ず、ごくわずかなばらつきが生じる**。このばらつきを「仕方ないもの」として無視するのではなく、あらかじめ「このくらいのずれまでは許容する」という範囲を数値で決めておく考え方を**公差(こうさ、水準四: 設計上の基準寸法に対して、実際の製品でどこまでのずれを許容するかを定めた範囲)**と呼ぶ。
公差は一般に、基準寸法に対して「+いくつ、−いくつまで」という形で表記される。
```
表記例: 10.0 (+0.2 / −0.1) mm
→ 実際の寸法が 9.9mm 以上 10.2mm 以下であれば合格、という意味
```
### 3.2 公差の伝播(でんぱ)を検算する
複数の部品を組み合わせる設計では、それぞれの部品が持つ公差が積み重なり、全体の公差が大きくなっていく。これを**公差の伝播**と呼ぶ。最も単純な考え方は、複数の部品を一列に並べる場合、**各部品の公差の最大値同士を単純に足し合わせる**という方法である(これを最悪値方式ということがある)。
**検算例(自己検算):** 3つの部品を一列に並べる設計を考える。それぞれの長さの基準値と公差が次の通りだったとする。
```
部品A: 10.0 (±0.1) mm
部品B: 20.0 (±0.2) mm
部品C: 15.0 (±0.15) mm
```
3部品を並べた全長の基準値は、10.0+20.0+15.0=45.0mmとなる。最悪値方式で公差を積み上げると、
```
全長の公差 = ±(0.1 + 0.2 + 0.15) = ±0.45mm
→ 全長は 44.55mm 以上 45.45mm 以下の範囲に収まる、という計算になる
```
このように、部品数が増えるほど、最悪値方式で見積もった全体の公差はどんどん大きくなっていく。実際の量産現場では、全ての部品が同時に最悪の方向にずれる確率は低いという考え方から、統計的な手法(各部品のばらつきを確率的に扱い、二乗和の平方根を取るなど)で、より現実に近い、最悪値方式よりも小さめの公差を見積もる方法も用いられるとされるが、本書ではその発展的な計算には深入りせず、まず「最悪値方式で足し算するとどうなるか」という最も基本的な検算を押さえることを優先する。
### 3.3 公差と制約充足のつながり
公差は、第一章で扱った制約充足の考え方と地続きである。「距離拘束=10.0cm」という条件を、公差抜きで「ちょうど10.0cmでなければならない」という意味に取ると、現実のものづくりでは絶対に満たせない条件になってしまう。そこで実務上は、「距離拘束=10.0cm(公差±0.1cm)」というように、**拘束条件そのものに公差の幅を持たせる**ことで、現実的に達成可能な条件へと翻訳している。これは「制約充足」という考え方が、理想化された数学の世界だけでなく、現実のものづくりの世界と接続するための、欠かせない橋渡しの役割を公差が果たしていることを示している。
---
## 休憩所④: まとめ箱 — 第三章のポイント
```
公差 = 基準寸法に対する許容ずれの範囲(例: 10.0 +0.2/-0.1 mm)
公差の伝播(最悪値方式) = 複数部品を並べると各部品の公差を単純に足し合わせて全体の公差を見積もる
検算: 部品A(±0.1)+B(±0.2)+C(±0.15) → 全長45.0mmの公差は±0.45mm(44.55〜45.45mmの範囲)
公差は拘束条件に現実的な幅を持たせる橋渡し役(理想の制約充足と現実のものづくりをつなぐ)
```
---
## 第四章 — 例題5問×各5解法: 五つの視点から同じ図形を解き切る
本章では、5つの例題それぞれについて、「作図解・座標解・変換解・暗算裏技解・一般化解」という5通りの解き方をフルセットで示す。同じ答えに至る道が5つあることを確認することで、CADが内部で行っている計算を、様々な角度から手に馴染ませることを狙う。
---
### 例題1 — 二点間距離拘束と一致拘束だけで三角形を完全拘束する
**問題設定**: 点A(0, 0)を固定し、点Bは点Aから距離5の位置、点Cは点Aから距離4・点Bから距離3の位置にあるとする(直角三角形の3辺が5・4・3になる設定)。点B・点Cの座標を求めよ。
#### 解法1: 作図解
```
C
/|
/ |
4 3
/ |
A----B
5(仮の水平線として置く)
```
コンパスを使い、Aを中心に半径5の円弧を引いて点Bの候補線(水平線)上との交点を取る。次にAを中心に半径4、Bを中心に半径3の円弧をそれぞれ引き、その交点が点Cとなる。ものさしとコンパスだけで、計算をせずに図形の位置を決め切れることが作図解の強みである。
#定義: 拘束条件(A-B間距離=5、A-C間距離=4、B-C間距離=3)を、座標計算ではなく円弧の交点という幾何的操作そのもので満たしにいく解法。
#推移: 円弧2本の交点を取る操作を2回行うだけで、3頂点の位置関係が完全に確定する。
#展開: この方式はCADソフトの「拘束を満たす図形をグラフィカルに配置する」操作を、手で追体験したものに相当する。
#式: 交点の座標を求める式は座標解に譲るが、作図解自体は「距離が等しい点の軌跡=円」という定義を直接使っているに過ぎない。
#公式: 円の定義(中心から等距離にある点の集合)。
#### 解法2: 座標解
点Aを原点(0,0)に固定し、点Bをx軸上の(5, 0)に置く(A-B間距離=5を満たす)。点Cを(x, y)とすると、
```
A-C間距離: x² + y² = 4² = 16 …①
B-C間距離: (x-5)² + y² = 3² = 9 …②
```
①−②を計算すると、
```
x² - (x-5)² = 16 - 9
x² - (x² -10x + 25) = 7
10x - 25 = 7
10x = 32
x = 3.2
```
x=3.2を①に代入すると、
```
y² = 16 - 3.2² = 16 - 10.24 = 5.76
y = √5.76 = 2.4
```
したがって点C=(3.2, 2.4)。
#定義: 拘束条件を連立方程式として立式し、代数的に解く解法。
#推移: 円の式①→垂直条件の展開②→①を②に代入して1次方程式に帰着→xを求めてyを逆算。
#展開: CADソフトの制約ソルバーは、これと同種の連立方程式(拘束の数だけ式が並ぶ)を、より多変数・高速に解いている。
#式: x² + y² = 16、(x-5)² + y² = 9 → 引き算で x=3.2、y=2.4
#公式: 円の方程式(中心(a,b)・半径rの円 → (x-a)²+(y-b)²=r²)。
**検算(表示桁まで)**: x=3.2, y=2.4として、A-C間距離=√(3.2²+2.4²)=√(10.24+5.76)=√16.00=4.00(一致)。B-C間距離=√((3.2-5)²+2.4²)=√((-1.8)²+5.76)=√(3.24+5.76)=√9.00=3.00(一致)。
#### 解法3: 変換解
3・4・5という辺の比率に着目する。これは古くから知られる**3-4-5の直角三角形**(辺の比が3:4:5になると必ず直角三角形になる、という性質を持つ最も基本的な整数比の直角三角形)であるとされる。まず標準形として、直角の頂点を原点に置き、2辺を軸に沿わせた「基準姿勢」を考える。
```
基準姿勢: 直角頂点=(0,0)、辺4の端点=(4,0)、辺3の端点=(0,3)
```
この基準姿勢を、必要な位置・向きになるよう**平行移動+回転**という変換で動かせば、どんな配置の3-4-5三角形も作れる。本問では、基準姿勢の直角頂点を点Cの位置に対応させ、そこから逆算する形で変換を組み立てることになる。
#定義: 「型」となる基準姿勢をあらかじめ用意し、平行移動・回転という変換操作の組合せで目的の配置へ持っていく解法。
#推移: 基準姿勢(直角を原点に)→ 目的の配置(A, Bの位置関係に合わせる)へ、剛体変換(形を変えずに移動・回転させる変換)を適用する。
#展開: CADの「部品ライブラリから型を呼び出して配置する」操作は、まさにこの変換解の考え方そのものである。
#式: 剛体変換は回転角θと平行移動量(tx, ty)を使い、新しい座標=(x·cosθ - y·sinθ + tx, x·sinθ + y·cosθ + ty)という式で表される。
#公式: 3-4-5の直角三角形(3²+4²=5²=9+16=25という、ピタゴラスの定理(古代から知られる、直角三角形の直角を挟む2辺の2乗の和が斜辺の2乗に等しいという関係とされる)を満たす最小の整数比)。
#### 解法4: 暗算裏技解
3-4-5の直角三角形だと見抜ければ、実は解法2のような連立方程式を解く必要はない。**辺の比率がちょうど3:4:5になっている=直角三角形と即断できる**という経験則を使い、「A-B間が5(斜辺)・A-C間が4・B-C間が3」という組合せから、**角Aが直角である**ことを暗算で見抜く。
角Aが直角とわかれば、点Bを(5,0)に置いたとき、点Cは「Aから見て辺ACの方向が辺ABと直角」という条件だけで、A-C間の距離4を使い、点Cのy座標だけを4とすればよい(x座標は0)——**待つ、この暗算は正しいか確認が要る。**実は、直角がどこにあるかは辺の対応関係で決まるため、本問の設定(A-B=5斜辺、A-C=4、B-C=3)では**直角は点Cにある**(4²+3²=5²だから、4の辺と3の辺に挟まれた頂点=点Cが直角)。したがって暗算裏技としては、「点Aと点Bを結ぶ線分(長さ5)を斜辺とみなし、点Cは辺AC=4・辺BC=3を保ったまま、A-B線分に対して直角三角形の頂点の高さ(いわゆる**高さの公式**)だけを暗算する」という方針になる。
高さの公式: 直角三角形の斜辺をc、斜辺への高さをhとすると、面積を2通りに表す等式(底辺×高さ÷2は共通)から、**h = (辺1×辺2) / 斜辺**という早見式が成り立つ。
```
h = (4 × 3) / 5 = 12 / 5 = 2.4
```
これは座標解で求めたy=2.4と一致する。さらに、斜辺上での「足の位置」(点Cから斜辺A-Bへ垂線を下ろした足の位置)は、**x = 辺1² / 斜辺 = 4² / 5 = 16/5 = 3.2**という早見式でも求まり、これも座標解のx=3.2と一致する。
#定義: 3-4-5比を一瞬で見抜き、高さの早見式h=(辺1×辺2)/斜辺、足の位置x=辺²/斜辺という2つの公式だけで暗算する解法。
#推移: 「比率を見抜く」→「直角の位置を特定する」→「早見式に数値を代入する」という3ステップに圧縮する。
#展開: 現場での概算・検算の速度を大きく上げる、達人術の典型例。
#式: h=(辺1×辺2)/斜辺=12/5=2.4、x=辺1²/斜辺=16/5=3.2
#公式: 直角三角形の面積等式からの早見式(斜辺×高さ=2辺の積、という関係の変形)。
**検算(表示桁まで)**: h=2.4(座標解のyと一致)、x=3.2(座標解のxと一致)。二つの独立した解法で同じ数値に達したことが、暗算裏技解の正しさの裏付けになる。
#### 解法5: 一般化解
一般に、A-B間距離をc(斜辺)、A-C間距離をb、B-C間距離をaとし、a²+b²=c²(ピタゴラスの定理)を満たす直角三角形において、点Aを原点・点Bを(c, 0)に置いたときの点Cの座標は、次の一般式で表せる。
```
x = b² / c
y = (a × b) / c
```
この一般式に、本問の数値(a=3, b=4, c=5)を代入すると、
```
x = 4² / 5 = 16/5 = 3.2
y = (3 × 4) / 5 = 12/5 = 2.4
```
となり、解法2・解法4と完全に一致する。この一般式は「3-4-5」という特定の数値に限らず、**任意の直角三角形**(a²+b²=c²さえ満たせば整数比でなくても構わない)に適用できる、という点で最も広い適用範囲を持つ解法である。
#定義: 特定の数値ではなく、任意のa, b, cについて成り立つ式として解を導く解法。
#推移: ①ピタゴラスの定理でcを定義 → ②座標解と同じ連立方程式を、数値の代わりに文字a, b, cのまま解く → ③一般式x=b²/c, y=ab/cを得る。
#展開: この一般式さえ覚えておけば、辺の比がどんな数値の直角三角形であっても、暗算裏技解と同じ速度で座標が求まる——達人術のカタログ化(第五章)にそのまま接続する。
#式: x = b²/c、y = ab/c(ただしa²+b²=c²)
#公式: ピタゴラスの定理(a²+b²=c²)とその変形式。
**検算(表示桁まで)**: a=3, b=4, c=5を一般式に代入 → x=16/5=3.20, y=12/5=2.40。5通りの解法すべてが x=3.2・y=2.4 で一致した。
---
### 例題2 — 平行拘束と距離拘束による寸法駆動(平行四辺形)
**問題設定**: 底辺の長さW=8、高さH=5、傾き角度θ=30度の平行四辺形ABCDを考える。頂点Aを原点、頂点Bを(W, 0)に置いたとき、頂点C・Dの座標をWの式として求めよ(Wを寸法駆動のパラメータとする)。
#### 解法1: 作図解
```
D__________C
\ \
\ H=5 \
\__________\
A W=8 B
(傾きθ=30度)
```
定規で底辺ABをW=8の長さで引き、分度器でAから30度の角度に補助線を引き、その補助線上でAからの垂直距離がH=5になる点をDと定める。DからABに平行な線を引き、Bから補助線に平行な線を引いた交点がCとなる。
#定義: 平行拘束(AD∥BC、AB∥DC)と距離拘束(AB=DC=W、高さ=H)を、平行線を引く作図操作で直接満たす解法。
#推移: 底辺を引く→傾いた補助線を引く→高さの位置に点Dを取る→平行線の交点でCを取る、という4段階。
#展開: CADの「平行制約」アイコンをクリックする操作は、この作図解の「平行線を引く」動作を代替しているに過ぎない。
#式: 交点の座標は座標解に譲る。
#公式: 平行線の性質(同じ角度で交わる2直線は交わらない)。
#### 解法2: 座標解
頂点Dは、Aから角度θ=30度の方向に、**高さがHになる距離だけ**離れた点である。角度θ方向への移動量は、水平成分・垂直成分に分解して考える。
垂直成分(y方向)がHになるように必要な移動距離をLとすると、L×sin(θ)=Hより、
```
L = H / sin(30°) = 5 / 0.5 = 10
```
移動距離Lがわかったので、Dの座標は、
```
D_x = L × cos(30°) = 10 × 0.866 = 8.66
D_y = L × sin(30°) = 10 × 0.5 = 5.0
```
したがってD=(8.66, 5.0)。頂点Cは、平行四辺形の性質(対辺が平行かつ同じ長さ)より、頂点Bの座標にDの移動量(D−A)を足せばよい。
```
C = B + (D - A) = (8, 0) + (8.66, 5.0) = (16.66, 5.0)
```
#定義: 角度と高さの関係を三角比(サイン・コサイン)で式にし、頂点Bへの平行移動でCを求める解法。
#推移: 高さH→移動距離L(サインの逆算)→水平垂直成分への分解(コサイン・サイン)→Cは平行移動で導出。
#展開: これはCADの寸法駆動の基本形そのもの——Wを変えればBもCも追従し、Hを変えればDもCも追従する。
#式: L=H/sin(θ)、D=(L cosθ, L sinθ)、C=B+(D-A)
#公式: 直角三角形の三角比の定義(サイン=対辺/斜辺、コサイン=隣辺/斜辺)。
**検算(表示桁まで)**: D_y=10×sin(30°)=10×0.500=5.00(Hの設定値と一致)。sin(30°)=0.500、cos(30°)=0.866(小数第3位までの近似値)。
#### 解法3: 変換解
頂点Dは、「原点Aから水平方向にH/tan(θ)だけ進み、そこから垂直にHだけ上がる」という2段階の平行移動の合成としても求められる(tan(θ)=sin(θ)/cos(θ)、水準三: 直角三角形における対辺と隣辺の比)。
```
tan(30°) = sin(30°)/cos(30°) = 0.5/0.866 ≈ 0.577
水平方向の進み量 = H / tan(30°) = 5 / 0.577 ≈ 8.66
```
これは解法2のD_x=8.66と一致する(移動を「角度方向への1回の移動」と見るか「水平→垂直の2回の移動の合成」と見るかの違いだけで、結果は同じになる)。
#定義: 1回の斜め移動を、水平移動+垂直移動という2回の移動の合成として捉え直す解法。
#推移: 高さHの逆算(tanを使う)→水平移動量を得る→垂直移動量Hを足す、という合成。
#展開: ベクトルの合成という考え方(複数の移動を足し合わせて1つの移動として扱う)の入門的な体験になる。
#式: 水平移動量=H/tan(θ)、垂直移動量=H
#公式: tan(θ)=sin(θ)/cos(θ)という三角比の相互関係。
**検算(表示桁まで)**: H/tan(30°)=5/0.577≈8.66(解法2のD_xと一致、誤差は小数の丸めのみ)。
#### 解法4: 暗算裏技解
**30度・45度・60度という「よく出る角度」の三角比は、暗算用に覚えてしまう**、というのが達人の裏技である。
```
sin(30°)=1/2=0.5、cos(30°)=√3/2≈0.866
sin(45°)=cos(45°)=√2/2≈0.707
sin(60°)=√3/2≈0.866、cos(60°)=1/2=0.5
```
これを覚えておけば、H=5・θ=30度から、暗算で「L=H÷0.5=H×2=10」と即座に出せる(0.5で割ることは2倍することと同じ、という暗算の基本技も併用している)。D_yは「L×0.5=10×0.5=5」と即答でき(これはHそのものに戻るのは当然の確認)、D_xは「L×0.866」を暗算する際、**0.866≈13/15**(0.8666...)という近似分数を使うと、10×13/15=130/15≈8.67と素早く概算できる。
#定義: よく出る角度(30/45/60度)の三角比を暗記しておき、割り算を掛け算に変換する暗算技、および分数近似で概算する暗算技を組み合わせる解法。
#推移: 角度から即座に三角比を呼び出す→割り算を逆数の掛け算に変換→分数近似で概算。
#展開: 現場での概算スピードを大きく上げる典型的な達人術(第五章の技-ZUK-###へ接続)。
#式: L=H×(1/sin θ)、D_x≈L×0.866(暗算では13/15等の近似分数を使う)
#公式: 30/45/60度の三角比暗記表。
**検算(表示桁まで)**: 暗算値8.67 vs 座標解の厳密値8.66 → 差0.01(近似分数13/15による丸め誤差の範囲内であり、概算として妥当)。
#### 解法5: 一般化解
任意の底辺W・高さH・傾き角θの平行四辺形について、頂点座標は次の一般式で表せる。
```
A = (0, 0)
B = (W, 0)
D = (H/tanθ, H) = (H・cosθ/sinθ, H)
C = B + (D - A) = (W + H/tanθ, H)
```
この一般式にW=8, H=5, θ=30°を代入すると、D=(5/tan30°, 5)=(5×1.732, 5)=(8.66, 5)、C=(8+8.66, 5)=(16.66, 5)となり、解法2・解法3と一致する(tan30°=1/√3≈0.577の逆数=√3≈1.732)。
#定義: W, H, θを文字のまま一般式に残し、任意の平行四辺形に適用できる形にまとめる解法。
#推移: 座標解の手順を、数値の代わりに文字のまま最後まで進める。
#展開: この一般式こそが、CADソフトが平行四辺形という「図形の型」を保持する際に、内部で保持している式そのものに相当する。Wだけを変数として動かせば「寸法駆動で底辺を伸縮する平行四辺形」がそのまま得られる。
#式: D=(H/tanθ, H)、C=(W+H/tanθ, H)
#公式: tanθの定義と、その逆数(1/tanθ=cosθ/sinθ)。
**検算(表示桁まで)**: 一般式にW=8,H=5,θ=30°を代入 → D=(8.66, 5.00)、C=(16.66, 5.00)。解法2・3と全て一致。
---
### 例題3 — 円と接線の制約充足(接線拘束)
**問題設定**: 半径r=3の円が原点(0,0)を中心に置かれている。この円に、点P(8, 0)から引いた接線(円に一点だけで接する直線)の、接点の座標を求めよ。
#### 解法1: 作図解
```
接点T
/|
/ |
/ |
O---+----P
(半径3) (距離8)
```
コンパスで原点Oを中心・半径3の円を描く。次に、線分OPを直径とする円(OP=8なので、半径4・中心はOPの中点(4,0))を描く。この2つの円が交わる点が接点Tとなる(円に内接する角が直角になるという性質=**タレスの定理**の応用)。
#定義: 「接線は接点において半径と直角に交わる」という性質を、2つの円の交点として直接作図する解法。
#推移: 円1(半径3)→円2(OPを直径とする補助円)→2円の交点=接点。
#展開: CADの「接線制約」アイコンは、この作図解の補助円の考え方を内部の計算式に落とし込んだものに相当する。
#式: 座標は座標解に譲る。
#公式: 直径に対する円周角は直角(タレスの定理、円に内接する角のうち、直径を弦とする角は必ず90度になるという性質とされる)。
#### 解法2: 座標解
接点をT(x, y)とすると、Tは原点中心・半径3の円上にあるので、
```
x² + y² = 9 …①
```
さらに、接線の性質より、半径OT(原点から接点への線分)と接線PTは直角に交わる。これはOT⊥PTという条件であり、ベクトルの内積(2つのベクトルの向きの近さを数値化したもの)を使うと、OTベクトル・PTベクトルの内積が0になる、という式で表せる。
```
OT = (x, y)
PT = (x - 8, y)
OT・PT = x(x-8) + y・y = 0
x² - 8x + y² = 0 …②
```
①をx²+y²=9として②に代入すると、
```
9 - 8x = 0
8x = 9
x = 9/8 = 1.125
```
x=1.125を①に代入すると、
```
y² = 9 - 1.125² = 9 - 1.265625 = 7.734375
y = √7.734375 ≈ 2.781
```
したがって接点T≈(1.125, 2.781)(円の上側の接点。下側にも対称な接点(1.125, -2.781)が存在する)。
#定義: 円の方程式と、内積=0という垂直条件の連立方程式として立式する解法。
#推移: 円の式①→垂直条件の展開②→①を②に代入して1次方程式に帰着→xを求めてyを逆算。
#展開: CADの制約ソルバーは、この「垂直条件=内積0」という式を、任意の2直線・2ベクトルの組合せに対して機械的に生成し、連立方程式として解いている。
#式: x²+y²=r²、OT・PT=0 → x=r²/d(dはOP間の距離)
#公式: ベクトルの内積が0 ⟺ 2つのベクトルは直交する、という性質。
**検算(表示桁まで)**: x=1.125として、r²/d=9/8=1.125(一致)。y=√(9-1.265625)=√7.734375≈2.781(表示桁は小数第3位まで)。OT・PT=1.125×(1.125-8)+2.781×2.781=1.125×(-6.875)+7.734=-7.734+7.734≈0.000(検算成立)。
#### 解法3: 変換解
原点Oを中心とした回転を考える。接点Tの位置は、「OP方向(x軸正方向)から、角度φだけ回転させた円周上の点」として表せる。この角度φは、直角三角形OTP(OT=r=3、OP=d=8、角OTP=90度)における角TOPそのものであり、
```
cos(φ) = OT/OP = r/d = 3/8 = 0.375
φ = arccos(0.375) ≈ 68.0度(arccosは、コサインの値から角度を逆算する操作)
```
この角度φだけ回転させた円周上の点として、Tの座標は次のように求まる。
```
T = (r・cosφ, r・sinφ) = (3×0.375, 3×sin(68.0°)) = (1.125, 3×0.927) ≈ (1.125, 2.781)
```
#定義: 接点を「OP方向から角度φだけ回転した円周上の点」として、回転という変換操作で捉え直す解法。
#推移: 直角三角形OTPの角φを逆三角関数で求める→円周上の点を角度で位置づける回転の式に代入。
#展開: この「角度で円周上の位置を指定する」考え方は、CADにおける円弧・扇形の作図で頻繁に使われる基本操作である。
#式: cosφ=r/d、T=(r cosφ, r sinφ)
#公式: 円周上の点のパラメータ表示(角度パラメータφを使ったx=r cosφ, y=r sinφという表現)。
**検算(表示桁まで)**: cosφ=3/8=0.375(表示桁2桁で0.38)。T_x=3×0.375=1.125(座標解のxと一致)。
#### 解法4: 暗算裏技解
接点までの距離OTは半径rそのもの(=3)であり、接線の長さPT(接点から点Pまでの距離)は、**直角三角形OTPにおいてピタゴラスの定理を暗算適用**すれば求まる。
```
PT = √(OP² - OT²) = √(8² - 3²) = √(64 - 9) = √55 ≈ 7.416
```
さらに、接点のx座標は「r²/d」という早見式(例題1の一般化解と同型の式)で一瞬に出せる。
```
x = r²/d = 9/8 = 1.125(暗算: 9÷8は「9÷8=1あまり1」→1.125と即座に変換)
```
yについては、「√(r²-x²)」と正面から計算するより、**√(r²-x²) = √((r-x)(r+x))** と因数分解してから暗算すると、桁数の小さい掛け算に分解できて速い。
```
y = √((3-1.125)(3+1.125)) = √(1.875 × 4.125) = √7.734375 ≈ 2.781
```
#定義: r²/dという早見式でx座標を即答し、yはr²-x²を(r-x)(r+x)に因数分解してから暗算する解法。
#推移: x=r²/dの早見式適用→yの計算を因数分解で軽量化→平方根の概算。
#展開: 「差の2乗差=和と差の積」という因数分解の暗算技は、多くの平方根計算を素早くする達人術の定番であり、第五章でも改めて技-ZUK-###として掲載する。
#式: x=r²/d、y=√((r-x)(r+x))
#公式: a²-b²=(a-b)(a+b)という因数分解の公式(展開の逆操作)。
**検算(表示桁まで)**: (r-x)(r+x)=1.875×4.125=7.734375、これは座標解のy²=7.734375と完全一致。
#### 解法5: 一般化解
任意の半径r・任意の距離d(ただしd>rとする、円の外部に点Pがある場合)について、接点の座標は次の一般式で表せる。
```
x = r² / d
y = ± r・√(d² - r²) / d
```
このyの式は、「y=√(r²-x²)」を、x=r²/dを代入して整理すると得られる形である(整理の過程は解法2の展開と同型)。r=3, d=8を代入すると、
```
x = 9/8 = 1.125
y = ±3×√(64-9)/8 = ±3×√55/8 ≈ ±3×7.416/8 ≈ ±2.781
```
となり、他の解法と一致する。
#定義: r, dを文字のまま残し、任意の円と任意の外部点に適用できる一般式にまとめる解法。
#推移: 座標解・暗算裏技解の途中式を、数値の代わりに文字のまま最後まで進める。
#展開: この一般式は、CADソフトが「円+外部点」という組合せに対して接線を自動生成する際に、内部で保持している式そのものに相当する。
#式: x=r²/d、y=±r√(d²-r²)/d
#公式: ピタゴラスの定理の変形(d²-r²の平方根)と、接線の直角性(内積0条件)の組合せ。
**検算(表示桁まで)**: r=3,d=8を代入 → x=1.125,y≈2.781(5つの解法すべてで一致)。
---
### 例題4 — 公差付き寸法駆動: 3部品の直列組立てにおける許容範囲
**問題設定**: 例題1で扱った直角三角形の枠組みを応用し、3つの棒状部品を一直線に並べて全長を作る組立てを考える。部品1の基準長=12.0mm(公差±0.15)、部品2の基準長=18.0mm(公差±0.10)、部品3の基準長=9.0mm(公差±0.20)。全長の基準値と、最悪値方式での公差範囲を求めよ。
#### 解法1: 作図解
```
|--12.0±0.15--|--18.0±0.10--|--9.0±0.20--|
全長 = 39.0 (許容範囲つき)
```
定規で3本の線分を基準長どおりに引き、それぞれの端に公差の幅(例えば±0.15なら両側に0.15分の短い区間)を薄い線で書き足す。全体を並べたときの左端から右端までの「最も縮んだ場合」「最も伸びた場合」を、それぞれ定規で測って範囲を確認する。
#定義: 公差の幅を実際に線の長さの変動として作図し、目視で全長の範囲を確認する解法。
#推移: 基準長で3本引く→各端に公差幅を書き足す→最縮小・最伸長のケースを重ねて測る。
#展開: 現場での「現物合わせ」の考え方に近い、直感的な確認方法。
#式: 座標計算は座標解に譲る。
#公式: 線分の加法性(一直線上の複数区間の長さは単純に足し算できる)。
#### 解法2: 座標解
基準長の合計をまず計算する。
```
全長の基準値 = 12.0 + 18.0 + 9.0 = 39.0mm
```
公差は第三章で扱った最悪値方式(各部品の公差の絶対値を単純に足し合わせる)を適用する。
```
全長の公差 = ±(0.15 + 0.10 + 0.20) = ±0.45mm
```
したがって、全長の許容範囲は、
```
下限 = 39.0 - 0.45 = 38.55mm
上限 = 39.0 + 0.45 = 39.45mm
```
#定義: 基準値の単純加算と、公差の絶対値の単純加算を、それぞれ独立に行う解法。
#推移: 基準値の合計→公差の合計→上限・下限の算出。
#展開: この計算はCADの寸法駆動における「公差スタックアップ解析」という機能が内部で行っている計算そのものに相当する。
#式: 全長=Σ基準値、全長の公差=±Σ|各公差|
#公式: 最悪値方式の公差伝播式(第三章3.2参照)。
**検算(表示桁まで)**: 38.55mm + 39.45mm を平均すると (38.55+39.45)/2=78.00/2=39.00mm(基準値と一致、公差の中心が基準値からずれていないことの確認)。
#### 解法3: 変換解
3つの部品を、数直線上の「区間」として捉え直す。部品1の区間は[12.0-0.15, 12.0+0.15]=[11.85, 12.15]、部品2は[17.90, 18.10]、部品3は[8.80, 9.20]である。この3つの区間を「足し合わせる」という操作(区間演算、水準四: 数値の代わりに範囲=区間同士で四則演算を行う考え方)を行うと、
```
下限の和 = 11.85 + 17.90 + 8.80 = 38.55
上限の和 = 12.15 + 18.10 + 9.20 = 39.45
```
これは解法2の結果と完全に一致する。
#定義: 各部品の公差範囲を「区間」として扱い、区間同士の加算(下限同士・上限同士をそれぞれ足す)という変換操作で全体の区間を求める解法。
#推移: 各部品を区間に変換→区間の加算規則を適用→全体の区間を得る。
#展開: 区間演算の考え方は、公差だけでなく、測定誤差やシミュレーションの誤差評価など、幅広い分野で使われる汎用的な変換の視点である。
#式: [a,b]+[c,d]=[a+c, b+d](区間の加算規則)
#公式: 区間演算における加算規則。
**検算(表示桁まで)**: 下限38.55mm、上限39.45mm(解法2と完全一致)。
#### 解法4: 暗算裏技解
3つの公差(0.15, 0.10, 0.20)の合計を暗算する際、**「0.05刻みで数える」**という技を使うと速い。0.15=3刻み、0.10=2刻み、0.20=4刻みとみなすと、合計は3+2+4=9刻み=9×0.05=0.45と即答できる(小数の足し算を、共通の小さい単位=0.05の「何個分か」という整数の足し算に変換する暗算技)。
基準値の合計12.0+18.0+9.0も、**「12+18=30」「30+9=39」**という2段階の暗算(きりのよい数同士を先に足す)で瞬時に求まる。
#定義: 小数を共通単位の整数個分に変換して足し算する暗算技、およびきりのよい数同士を先に足す暗算技を組み合わせる解法。
#推移: 公差を0.05刻みの整数に変換→整数のまま合計→0.05を掛け戻す。基準値はきりの良い組合せから先に足す。
#展開: 現場での即答スピードを大きく上げる、公差計算特有の達人術(第五章の技-ZUK-###に接続)。
#式: 0.15+0.10+0.20 = (3+2+4)×0.05 = 9×0.05 = 0.45
#公式: 小数の加算を「共通単位の整数倍」に変換する暗算の定石。
**検算(表示桁まで)**: 9×0.05=0.45(解法2・3と完全一致)。
#### 解法5: 一般化解
任意のn個の部品を直列に並べる場合、部品iの基準長をL_i、公差をT_iとすると、全長の基準値と最悪値方式の公差は次の一般式で表せる。
```
全長の基準値 = ΣL_i (i=1〜n)
全長の公差 = ±ΣT_i (i=1〜n、Σは各公差の絶対値の総和)
```
n=3、L=(12.0, 18.0, 9.0)、T=(0.15, 0.10, 0.20)を代入すると、
```
ΣL_i = 12.0+18.0+9.0 = 39.0
ΣT_i = 0.15+0.10+0.20 = 0.45
```
となり、他の解法と完全に一致する。この一般式は部品数がいくつであっても(3個に限らず)そのまま適用できる。
#定義: 部品数nを文字のまま残し、任意個数の直列組立てに適用できる総和記号(Σ)の式にまとめる解法。
#推移: 解法2の具体的な足し算を、Σという総和記号を使った一般形に置き換える。
#展開: この一般式こそが、CADソフトの公差スタックアップ解析機能が、部品数に関わらず内部で保持している計算式の正体である。
#式: 全長=ΣL_i、公差=±ΣT_i
#公式: 総和記号Σを用いた一般化(最悪値方式の公差伝播、第三章3.2の一般形)。
**検算(表示桁まで)**: ΣL_i=39.00mm、ΣT_i=0.45mm(5つの解法すべてで一致)。
---
### 例題5 — 過拘束の検出(矛盾する条件の見抜き方)
**問題設定**: 線分ABにおいて、「ABの長さ=10」「ABはx軸に平行」「点Aは(0,0)に固定」「点Bのy座標=3」という4つの条件を同時に課した。これらの条件は矛盾しているか、していないか判定せよ。
#### 解法1: 作図解
```
点A(0,0)から水平に長さ10の線を引こうとすると、点Bの候補は(10,0)になる。
しかし「点Bのy座標=3」という条件は、点Bが(10,3)付近にあることを要求している。
B(10, 3)? ←矛盾する候補
A(0,0)----------B(10, 0) ←水平・長さ10で引いた場合の候補
```
定規で「Aから水平に10」の線を引くと点B候補は(10,0)になるが、「y座標=3」の条件を別に満たそうとすると、点B候補は水平線上から外れた位置(10,3)になってしまう。2つの作図結果が一致しないことから、条件同士が矛盾していることが目視で確認できる。
#定義: 各条件を独立に作図し、結果同士が重なるかどうかを目視で確認する解法。
#推移: 条件1〜3から点Bの候補位置を作図→条件4から別の候補位置を作図→重ならなければ矛盾。
#展開: CADソフトが「この拘束の組合せは矛盾しています」という警告を出す場面は、まさにこの作図解が示す食い違いを、内部の連立方程式が「解なし」と判定した結果である。
#式: 座標解に譲る。
#公式: 幾何的な矛盾は、独立に求めた2つの候補点が一致しないことで検出できる。
#### 解法2: 座標解
条件を順に座標式へ翻訳する。
```
条件: 点A=(0,0) …①
条件: ABはx軸に平行 → 点Bのy座標=0 …②
条件: ABの長さ=10 → 点Bのx座標=±10(y座標が0なので) …③
条件: 点Bのy座標=3 …④
```
②と④を見比べると、②は「点Bのy座標=0」を要求し、④は「点Bのy座標=3」を要求している。**同じ変数(点Bのy座標)に対して、異なる値(0と3)を同時に要求している**ため、この連立条件には解が存在しない——つまり**矛盾する拘束条件(過拘束)である**と判定できる。
#定義: 各条件を独立変数への代入式に翻訳し、同じ変数に対する要求値を比較して矛盾を検出する解法。
#推移: 条件を順番に式へ変換→変数ごとに要求値を並べる→同一変数への矛盾する要求を発見。
#展開: この「同じ変数への異なる要求を突き合わせる」手順は、CADの制約ソルバーが過拘束を検出する際の基本ロジックそのものである。
#式: 条件②よりB_y=0、条件④よりB_y=3 → 0≠3であり矛盾
#公式: 連立方程式における「解なし」の判定条件(同一変数に矛盾する値を要求する式が含まれる)。
**検算(表示桁まで)**: B_y=0(条件②由来)とB_y=3(条件④由来)を比較 → 0.00 ≠ 3.00 → 矛盾確定。
#### 解法3: 変換解
4つの条件それぞれを、「点Bの自由度(x, yの2成分)を何個減らすか」という自由度消費の観点から捉え直す。
```
条件: 点A=(0,0) → 点Aの自由度2を消費(点Bには影響しない)
条件: ABはx軸に平行 → 点Bのy自由度を1個消費(B_y=0に固定)
条件: ABの長さ=10 → 点Bのx自由度を1個消費(B_yが0と決まっているのでB_x=±10に固定)
条件: 点Bのy座標=3 → 点Bのy自由度をもう1個消費しようとする(しかしy自由度はすでに条件2で消費済み)
```
点Bの自由度は2個(x, y)しかないにもかかわらず、y自由度に対して条件2と条件4という**2つの異なる条件が重複して働こう**としている。これは第一章で定義した「拘束過多」の状態であり、しかも単なる冗長(同じ値を2回指定するだけなら無害)ではなく、**異なる値(0と3)を要求する冗長**であるため、矛盾に転化している。
#定義: 自由度の消費を条件ごとに帳簿づけし、同一自由度に対する重複消費が「同じ値」か「異なる値」かを見分ける解法。
#推移: 条件ごとの自由度消費を列挙→重複箇所を特定→重複が同値か異値かを判定。
#展開: 第一章1.2で分類した「拘束過多」のうち、「矛盾する拘束過多」と「冗長なだけの拘束過多」を見分ける、実務上重要な判定手順。
#式: 自由度消費の帳簿(点Bの自由度2に対し、条件2・3・4で計3回消費を試みる→1回分が重複)
#公式: 自由度消費表(第一章1.3の手計算手順4ステップの応用)。
**検算(表示桁まで)**: 点Bの自由度=2、条件2・3・4の消費要求=3回 → 2<3で必ず重複が発生。重複箇所(y自由度)の要求値0と3が異なるため矛盾と判定。
#### 解法4: 暗算裏技解
**「平行条件でy座標が決まる」→「別の条件でy座標を再度指定してくる」という2つの条件が同じ変数を触っていないか、暗算でパッと目を走らせる**、というのが達人の裏技である。具体的には、「ABはx軸に平行」という条件を見た瞬間に「これはB_y=0を意味する」と即座に脳内変換し、その直後に出てくる「点Bのy座標=3」という条件を見た瞬間に「さっきの0と、これから来る3が、同じB_yという枠を取り合っている」と暗算的に照合する。この照合が一致すれば無害な重複、不一致なら矛盾、と一瞬で仕分けることができる。
#定義: 各条件を「どの変数にどの値を入れようとしているか」という一行メモに脳内で即時変換し、変数の重複と値の一致・不一致を暗算で照合する解法。
#推移: 条件を読む→変数と値のペアに即時変換→既出の変数と照合→一致/不一致を判定。
#展開: 拘束条件の数が多い複雑な図形でも、この「変数と値のペアの一覧」を頭の中(または簡易メモ)で管理できれば、矛盾の検出速度が大きく上がる。
#式: (変数: B_y, 値: 0) vs (変数: B_y, 値: 3) → 変数一致・値不一致→矛盾
#公式: 変数-値ペアの照合という暗算フレームワーク。
**検算(表示桁まで)**: 変数B_yに対する要求値0と3を比較 → 差=3-0=3(≠0なので不一致・矛盾)。
#### 解法5: 一般化解
一般に、図形が持つ自由度の総数をF、課された拘束条件の本数をnとし、各拘束条件が消費する自由度をそれぞれd_1, d_2, ..., d_nとする。もし、
```
Σd_i > F (条件の消費要求の合計が自由度の総数を超える)
```
であれば拘束過多であり、さらにそのうち少なくとも1つの自由度に対して**異なる値**を要求する条件の組が存在する場合、その拘束過多は矛盾（解なし）に転化する。逆に、Σd_i > Fであっても、重複する条件が全て同じ値を要求している場合は、単なる冗長にとどまり矛盾は生じない。
本問ではF=2(点Bの自由度)、条件は3本(平行・距離・y座標指定、点Aの固定は点B自身の自由度を消費しないため除く)でΣd_i=3。3>2なので拘束過多であり、さらに重複箇所(y自由度)での要求値が0と3で異なるため、**矛盾する拘束過多(過拘束エラー)**と判定される。
#定義: 自由度Fと拘束消費の総和Σd_iを一般文字で比較し、「Σd_i>F」かつ「重複箇所の値が不一致」という2条件で矛盾を判定する一般式にまとめる解法。
#推移: 解法3の帳簿づけを、具体的な数値の代わりに文字F, d_i, Σd_iのまま進める。
#展開: この一般化された判定条件は、CADソフトが「拘束が多すぎます」という警告と「拘束が矛盾しています」という警告を、内部でどう区別しているかを示す枠組みそのものに相当する。
#式: 拘束過多の条件: Σd_i > F。矛盾への転化条件: 重複自由度への要求値が不一致
#公式: 自由度と拘束消費の一般不等式(第一章1.1〜1.2の一般化)。
**検算(表示桁まで)**: F=2、Σd_i=3(3>2で拘束過多)。重複箇所の要求値0と3(不一致)→矛盾確定。5つの解法すべてで「矛盾」という同一の結論に到達した。
---
## 休憩所⑤: まとめ箱 — 第四章のポイント
```
例題1(3-4-5三角形の完全拘束): 5解法すべてでx=3.2, y=2.4と一致
例題2(平行四辺形の寸法駆動): 5解法すべてでD=(8.66,5.0), C=(16.66,5.0)と一致(誤差は近似の範囲内)
例題3(円の接線拘束): 5解法すべてでx=1.125, y≈2.781と一致
例題4(3部品公差スタックアップ): 5解法すべてで全長39.0±0.45mmと一致
例題5(過拘束の矛盾検出): 5解法すべてで「矛盾する拘束過多」という同一結論に到達
作図解=幾何操作で直接満たす／座標解=連立方程式で解く／変換解=型+移動操作で捉え直す
暗算裏技解=経験則と近似で即答／一般化解=文字のまま一般式にまとめる
```
---
## 第五章 — 達人術カタログ: 技-ZUK-###(暗算図形術・裏技)
本章では、ここまでの例題で使った暗算技を含め、CADの中身を手でやる際に役立つ暗算図形術を、独立したカタログとして整理する。各技には適用条件と所要目安(手に馴染むまでの練習範囲)を付す。
### 技-ZUK-001: 高さの早見式(h=辺1×辺2/斜辺)
**内容**: 直角三角形において、斜辺への高さhを、2辺の積を斜辺で割るだけで即座に求める(例題1解法4で使用)。
```
h = (辺1 × 辺2) / 斜辺
```
**適用条件**: 直角三角形の直角を挟む2辺の長さが既知であること。
**所要目安**: 数値が簡単な整数比(3-4-5など)であれば即答レベル、小数を含む場合は10〜20秒程度で暗算できるようになるまでの練習量が目安。
### 技-ZUK-002: 30/45/60度の三角比暗記表
**内容**: 頻出角度(30度・45度・60度)のサイン・コサインをあらかじめ暗記しておき、割り算を逆数の掛け算に変換して即答する(例題2解法4で使用)。
```
sin30°=cos60°=0.5、sin60°=cos30°≈0.866、sin45°=cos45°≈0.707
```
**適用条件**: 図面上の角度がこの3種のいずれかに近い(または近似が許される)場合。
**所要目安**: 暗記自体は数分。実戦で瞬時に呼び出せるようになるまでは、数十回程度の反復が目安。
### 技-ZUK-003: 差の平方根の因数分解(√(a²-b²)=√((a-b)(a+b)))
**内容**: 平方根の中身が2乗の差になっている場合、和と差の積に因数分解してから暗算すると、桁数の小さい掛け算に分解できて速い(例題3解法4で使用)。
```
√(a² - b²) = √((a-b)(a+b))
```
**適用条件**: 平方根の中身が明らかに2つの2乗の差の形をしている場合(接線の長さ計算など)。
**所要目安**: 因数分解の型を覚えるまでは数回、実戦での即応用は10回程度の練習が目安。
### 技-ZUK-004: 小数の公差を共通単位の整数個分に変換する暗算
**内容**: 複数の小数(公差など)を足し合わせる際、共通の小さい単位(0.05や0.01など)の「何個分か」という整数の足し算に変換してから、最後に単位を掛け戻す(例題4解法4で使用)。
```
0.15+0.10+0.20 = (3+2+4)個×0.05 = 9×0.05 = 0.45
```
**適用条件**: 足し合わせる小数がすべて同じ桁(例えば小数第2位まで)で、共通の小さい単位で割り切れる場合。
**所要目安**: 変換の考え方自体はすぐ理解できるが、桁数が多い場合(5〜6個の小数の合計など)に淀みなくできるようになるまでは、数分〜十数分程度の練習が目安。
### 技-ZUK-005: 変数-値ペアの照合による過拘束の即検出
**内容**: 拘束条件を読んだ瞬間に「どの変数にどの値を入れようとしているか」という一行メモへ脳内変換し、既出の変数と照合することで、矛盾する拘束を即座に見抜く(例題5解法4で使用)。
```
条件を読む → (変数, 値)へ変換 → 既出リストと照合 → 一致=無害な重複、不一致=矛盾
```
**適用条件**: 拘束条件が3つ以上絡む、やや複雑な図形の検討時。
**所要目安**: 単純な図形(2〜3条件)なら数秒で照合可能。複雑な図形(5条件以上)では、紙にメモを取りながら1〜2分程度かけて丁寧に照合するのが安全な目安。
### 技-ZUK-006: 比例の入れ子を見抜く「2倍・3倍即答」術
**内容**: 寸法駆動設計において、ある寸法をk倍したときに、従属する寸法が「比例の入れ子」(比例の中に比例が入っている構造、例題1検算例2.3のD=√(W²+H²)のような構造)になっている場合、最終的な倍率を毎回フルの式を計算せずに即座に見抜く。
```
Hが Wに比例(1乗)し、DがW²とH²の和の平方根(2乗→平方根で1乗に戻る)である場合
→ Wをk倍するとDも必ずk倍になる(比例の次数が最終的に1乗に戻る構造を見抜く)
```
**適用条件**: 従属パラメータの式が、比例・2乗・平方根の組合せだけでできている場合(依存関係表に2乗や平方根が含まれるとき、真っ先にこの構造を疑う)。
**所要目安**: 依存関係表を一度作った経験があれば数十秒で見抜けるが、初見の複雑な依存関係では、念のため一度は数値でフル計算して裏付けを取ることを推奨する(裏付け無しの即答は誤りに気づきにくいため、初心のうちは検算とセットで使うことが望ましい)。
---
## 休憩所⑥: まとめ箱 — 第五章のポイント
```
技-ZUK-001: 高さの早見式 h=辺1×辺2/斜辺
技-ZUK-002: 30/45/60度の三角比暗記表(割り算を逆数の掛け算に変換)
技-ZUK-003: √(a²-b²)=√((a-b)(a+b))という因数分解での平方根暗算
技-ZUK-004: 小数の公差を共通単位の整数個分に変換して合計する
技-ZUK-005: 変数-値ペアの照合による過拘束の即検出
技-ZUK-006: 比例の入れ子を見抜く倍率即答術(初心者は検算とセットで使うのが安全)
いずれも適用条件を満たす範囲でのみ使う「速度優先の技」であり、初見の複雑な問題では
一度はフル計算(座標解や一般化解)で裏付けを取ることが望ましい
```
---
## 終章 — 手が覚えれば、道具への依存は自然に減る
本書では、CADソフトが内部で行っている処理を、制約充足・寸法駆動設計・公差という三本柱に分解し、それぞれを紙と鉛筆だけで体験できる形に翻訳してきた。5つの例題をそれぞれ作図解・座標解・変換解・暗算裏技解・一般化解という5通りの視点から解き切ることで、「同じ答えに至る道は一つではない」ということ、そして「CADソフトの画面上のボタン一つひとつは、この5つの視点のどれかを高速化しているだけに過ぎない」ということが見えてきたはずである。
制約ベース設計と直接編集設計という二つの考え方は、優劣の問題ではなく場面ごとの向き不向きの問題であるという整理を第二章で確認した。特定の製品がどちらの方式を採用しているか、どちらが優れているかという断定は、本書の立場からは行わない。本書が伝えたいのは、あくまで「制約充足・寸法駆動・公差という三つの考え方そのものが、道具の種類を問わず通用する普遍的な計算の骨組みである」という一点である。
この骨組みが自分の手に馴染めば馴染むほど、CADソフトは「魔法の箱」ではなく「自分でもできる計算を高速化してくれる道具」として見えてくる。これこそが、本書が目指した「CADの中身を手でやる」という体験の到達点である。
---
## 休憩所⑦: まとめ箱 — 終章のポイント
```
本書全体の骨子:
制約充足(自由度と拘束条件の過不足) → 寸法駆動設計(パラメータの式で図形が追従)
→ 公差(ばらつきの許容範囲) → 例題5問×5解法(同じ答えへの5つの道)
→ 達人術カタログ(技-ZUK-001〜006)
制約ベース設計 vs 直接編集設計は場面ごとの向き不向き(優劣断定はしない)
CADは魔法の箱ではなく、手で追える計算を高速化する道具——という理解が本書の到達点
```
---
> 関連書: 図形学シリーズ第一巻(構図式の梯子)/第二巻(作図と読み解きの暗算術)/第三巻(変換と推移・図形の因数分解、図形の因数分解の深掘りはこちらが担当)/第五巻(情報推移の図形学) / →BOOK-0025(幾何学第1冊) / →BOOK-0068(数学派生・解析幾何第1巻) / →BOOK-0131(数学派生・解析幾何第2巻) / →BOOK-0137(数学派生・幾何第2巻) / →DIC-0001(数学算術用語辞典)
# BOOK-0177 図形学IV 解析と設計 — CADの中身を手でやる