The royal fruit company produces two types of fruit drinks. the first type is 20% pure fruit juice, and the second type is a 45% pure fruit juice. the company is attempting to produce a fruit drink that contains 35% pure fruit juice. how many pints of each of the two existing types of drinks must be used to make 30 pints of a mixture that is 35% pure fruit juice ?

We know that 20% of the first type of juice is pure fruit juice and 45% of second type of juice is pure fruit juice.

Now we have to make 30 pints of a mixture that is 35% pure.

Let x be the number of pints of first type of juice and y be the number of pints of second type of juice.

So, (Equation 1)

Since, 20% of x + 45% of y = 35.3% of 30

(Equation 2)

Solving equations 1 and 2,

we get y=18 and x=12.

So, 12 pints of first type of juice and 18 pints of second type of juice are used.

i think it's eleven too, don't woosh me here, but according to the "experts" it's 2.

the proof starts from the peano postulates, which define the natural

numbers n. n is the smallest set satisfying these postulates:

  p1.   1 is in n.

  p2.   if x is in n, then its "successor" x' is in n.

  p3.   there is no x such that x' = 1.

  p4.   if x isn't 1, then there is a y in n such that y' = x.

  p5.   if s is a subset of n, 1 is in s, and the implication

      (x in s => x' in s) holds, then s = n.

then you have to define addition recursively:

  def: let a and b be in n. if b = 1, then define a + b = a'

      (using p1 and p2). if b isn't 1, then let c' = b, with c in n

      (using p4), and define a + b = (a + c)'.

then you have to define 2:

  def:   2 = 1'

2 is in n by p1, p2, and the definition of 2.

theorem:   1 + 1 = 2

proof: use the first part of the definition of + with a = b = 1.

      then 1 + 1 = 1' = 2   q.e.d.

note: there is an alternate formulation of the peano postulates which

replaces 1 with 0 in p1, p3, p4, and p5. then you have to change the

definition of addition to this:

  def: let a and b be in n. if b = 0, then define a + b = a.

      if b isn't 0, then let c' = b, with c in n, and define

      a + b = (a + c)'.

you also have to define 1 = 0', and 2 = 1'. then the proof of the

theorem above is a little different:

proof: use the second part of the definition of + first:

      1 + 1 = (1 + 0)'

      now use the first part of the definition of + on the sum in

      parentheses:   1 + 1 = (1)' = 1' = 2   q.e.d.