description/proof of that when sum of
Topics
About: field
The table of contents of this article
Starting Context
- The reader knows a definition of real numbers field.
Target Context
-
The reader will have a description and a proof of the proposition that when the sum of any
squared non-negative numbers is equal to or smaller than any squared non-negative number, the sum of the numbers is equal to or smaller than times the number.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
...
//
Statements:
//
2: Proof
Whole Strategy: Step 1: see that for each
Step 1:
From
As
Step 2:
Let us do
3: Note
As an example,