| ∠BP'C | = | ∠P'CF (alternate angles) |
| and ∠BP'C | = | ∠P'F (law of reflection, ∠i = ∠r) |
| Hence ∠P'CF | = | ∠CP'F |
| ∴ ΔFP'C is isosceles. | ||
| Hence, P'F | = | FC |
| then P'F | = | PF |
| ∴ PF | = | FC |
| = | 1/2 PC | |
| or f | = | 1/2 R |
| ∠BP'N | = | ∠FCP' (corresponding angles) |
| ∠BP'N | = | ∠NP'R (law of reflection, ∠i = ∠r) |
| and ∠NP'R | = | ∠CP'F (vertically opposite angles) |
| Hence ∠FCP' | = | ∠CP'F |
| ∴ ΔFP'C is isosceles. | ||
| Hence, P'F | = | FC |
| Then P'F | = | PF |
| ∴ PF | = | FC |
| = | 1/2 PC | |
| or f | = | 1/2 R |