2025-04-13

1074: When Sum of n Squared Non-Negative Numbers Is Equal to or Smaller Than Squared Non-Negative Number, Sum of Numbers Is Equal to or Smaller Than n Times Number

<The previous article in this series | The table of contents of this series | The next article in this series>

description/proof of that when sum of n squared non-negative numbers is equal to or smaller than squared non-negative number, sum of numbers is equal to or smaller than n times number

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 n 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 n 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:
r1: R with 0r1
...
rn: R with 0rn
r: R with 0r
//

Statements:
j{1,...,n}rj2r2

j{1,...,n}rjnr
//


2: Proof


Whole Strategy: Step 1: see that for each j{1,...,n}, rjr; Step 2: do j{1,...,n}rjr+...+r.

Step 1:

From j{1,...,n}rj2r2, for each j{1,...,n}, rj2r2.

As 0rj,r, rjr.

Step 2:

Let us do j{1,...,n}rjr+...+r=nr.


3: Note


As an example, r1=1/2,r2=1/2,r=1/2: r12+r22=(1/2)2+(1/2)2=1/4+1/4=1/21/2=r; r1+r2=1/2+1/2=11=2 1/2=nr.


References


<The previous article in this series | The table of contents of this series | The next article in this series>