# OCME · Knowledge & practice explorer

302 MKO / 1,441 families / 360 batches / 36,000 questions.

36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training.

100 results; page 4/4.

## Question 13176: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0051`; number: 13176
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0051/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0051.json)

## Question 13177: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0052`; number: 13177
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0052/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0052.json)

## Question 13178: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0053`; number: 13178
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0053/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0053.json)

## Question 13179: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0054`; number: 13179
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0054/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0054.json)

## Question 13180: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0055`; number: 13180
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0055/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0055.json)

## Question 13181: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0056`; number: 13181
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0056/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0056.json)

## Question 13182: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0057`; number: 13182
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0057/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0057.json)

## Question 13183: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0058`; number: 13183
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0058/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0058.json)

## Question 13184: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0059`; number: 13184
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0059/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0059.json)

## Question 13185: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0060`; number: 13185
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0060/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0060.json)

## Question 13186: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0061`; number: 13186
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0061/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0061.json)

## Question 13187: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0062`; number: 13187
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0062/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0062.json)

## Question 13188: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0063`; number: 13188
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0063/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0063.json)

## Question 13189: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0064`; number: 13189
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0064/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0064.json)

## Question 13190: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0065`; number: 13190
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0065/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0065.json)

## Question 13191: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0066`; number: 13191
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0066/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0066.json)

## Question 13192: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0067`; number: 13192
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0067/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0067.json)

## Question 13193: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0068`; number: 13193
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0068/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0068.json)

## Question 13194: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0069`; number: 13194
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0069/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0069.json)

## Question 13195: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0070`; number: 13195
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0070/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0070.json)

## Question 13196: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0071`; number: 13196
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0071/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0071.json)

## Question 13197: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0072`; number: 13197
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0072/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0072.json)

## Question 13198: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0073`; number: 13198
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0073/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0073.json)

## Question 13199: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0074`; number: 13199
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0074/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0074.json)

## Question 13200: The Norm Triangle Inequality Supplies the Metric Triangle Bound

- ID: `q-20261014-advance-20261027-r02-norm-induced-metric-0075`; number: 13200
- Processing: second_context_reviewed
- MKO: [mko-norm-induced-metric](/en/mko/mko-norm-induced-metric/)
- Family: [qf-mod27-normmetric-triangle-certificate](/en/explore/?family=qf-mod27-normmetric-triangle-certificate)
- Batch: [batch-20261014-advance-20261027-r02-norm-induced-metric-foundations](/en/explore/?batch=batch-20261014-advance-20261027-r02-norm-induced-metric-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0075/) / [Markdown](/en/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261027-r02-norm-induced-metric-0075.json)

