We Provin'
Random Math Time
LA facts
CTY fun facts
200

This method of proof starts with the premises, and then shows using inference rules that the truth of the premises guarantees the truth of the conclusion.

What is a deductive proof (proof using natural deductions, direct proof, etc) ?

200

Find this limit:

lim_{x->0} sin x/x

What is 1?

200

This private, Jesuit, research university is located on the west side of Los Angeles near Playa Vista.

What is Loyola Marymount University?

200

This CTY student's fun fact is:


Enjoys playing sports and hanging out with his friends

Who is Toji?

400

This method of proof starts by assuming the opposite of the intended conclusion, and then showing that that assumption cannot possibly happen.

What is a proof by contradiction?

400

The mathematical name for this shape in topology.

What is a torus?

400

This western European country, whose name starts with "B", has a smaller population than the Los Angeles metropolitan area.

What is Belgium?

400

This CTY student's fun fact is:

they are writing a fun fact!

Who is Andy?

600

This method of proof starts with a base case, hypothesis, and a key step to get from the nth case to the (n+1)th case.

What is induction (or a proof by induction)?

600


What is $200?

600

This second busiest airport in the LA region serves as a gateway to many of the region's popular tourist attractions, including Disneyland Resort.

What is John Wayne Airport (SNA) ?

600

This CTY student's fun fact is:

can solve a Rubik’s cube  

Who is Scott?

800

When trying to prove a statement like P ⟹ Q, this method of proof starts by assuming ~Q, and then showing that this necessarily leads to ~P.

What is a proof by contrapositive?

800

The number of degrees for an interior angle of a regular heptadecagon (rounded to the nearest integer)

What is

((17-2)*180)/17 = 158.8 approx 159

800

The current mayor of Los Angeles.

Who is Karen Bass?

800

This CTY student's fun fact is:

they are nocturnal

Who is Bao Nhi?

1000

These three Latin words (often abbreviated as QED) are written at the end of a proof to signify that the conclusion has been successfully reached.

What is quod erat demonstrandum?

1000

Find the following sum:

sum_{n=0}^\infty (4(-1)^n)/(2n+1)

What is 

pi

1000

The decade in which the city of Los Angeles was founded

What are the 1780s? (September 4, 1781, under Spanish governor Felipe de Neve)

1000

This CTY student's fun fact is:

at 4:58am when he was three he snored for the first time in his life (probably)


Who is Taisei?

M
e
n
u